copy() public method

public copy ( ) : FOLNode
return FOLNode
Variable Class Documentation
Beispiel #1
0
 public override Object visitVariable(Variable variable, Object arg)
 {
     Dictionary<Variable, Term> substitution = (Dictionary<Variable, Term>)arg;
     if (substitution.ContainsKey(variable))
     {
         return substitution[variable].copy();
     }
     return variable.copy();
 }
Beispiel #2
0
 public virtual Object visitVariable(Variable variable, Object arg)
 {
     return variable.copy();
 }