at.jku.risc.stout.urau.data.atom
public abstract class TermAtom extends Printable implements Comparable<TermAtom>, Cloneable
Modifier and Type | Method and Description |
---|---|
TermNode |
apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermAtom |
clone() |
int |
compareTo(TermAtom o) |
boolean |
equals(TermAtom obj) |
String |
getName() |
int |
hashCode() |
void |
print(Writer out) |
TermNode |
substitute(Variable from,
TermNode to,
TermNode thisNode) |
public TermAtom(String name)
public int compareTo(TermAtom o)
compareTo
in interface Comparable<TermAtom>
public boolean equals(TermAtom obj)
public String getName()
public void print(Writer out) throws IOException
print
in class Printable
IOException