accept() public method

public accept ( FOLVisitor v, Object arg ) : Object
v FOLVisitor
arg Object
return Object
Function Class Documentation
Beispiel #1
0
 public Function subst(Dictionary<Variable, Term> theta, Function aFunction)
 {
     return (Function)aFunction.accept(this, theta);
 }