public accept ( FOLVisitor v, Object arg ) : Object | ||
v | FOLVisitor | |
arg | Object | |
return | Object |
public Object accept(FOLVisitor v, Object arg)
{
return v.visitFunction(this, arg);
}
public Function subst(Dictionary<Variable, Term> theta, Function aFunction) { return (Function)aFunction.accept(this, theta); }