public List<FOLNode> getArgs() { return new ReadOnlyCollection<Term>(terms).ToList<FOLNode>(); }
public Object visitTermEquality(TermEquality equality, Object arg) { foreach (Term t in equality.getArgs()) { // Finish processing if have found a match if (null != matchingTerm) { break; } t.accept(this, null); } return equality; }