public abstract class TermAtom extends Printable
static TermAtom
nullAtom
TermNode
apply(Map<Variable,TermNode> sigma, TermNode thisNode)
TermAtom
copy()
String
getName()
void
print(Writer out)
substitute(Variable from, TermNode to, TermNode thisNode)
toString
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
public static final TermAtom nullAtom
public TermNode apply(Map<Variable,TermNode> sigma, TermNode thisNode)
public TermAtom copy()
public String getName()
public void print(Writer out) throws IOException
print
Printable
IOException
public TermNode substitute(Variable from, TermNode to, TermNode thisNode)