public override string ToString() { if (IsAssigned()) { return(_containee.ToString()); } return(Name); }
public override string ToString() { string str = _name + "("; for (int i = 0; i < _arity; i++) { AbstractTerm term = (AbstractTerm)this[i]; str += term.ToString(); if (i == _arity - 1) { str += ")"; } else { str += ","; } } return(str); }