public abstract class TermAtom extends PrintableX
Constructor and Description |
---|
TermAtom(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
int |
compare(TermAtom o) |
java.lang.String |
getName() |
int |
hashCode() |
void |
print(java.io.Writer out) |
java.lang.String |
toString() |
public int compare(TermAtom o)
public java.lang.String getName()
public int hashCode()
hashCode
in class java.lang.Object
public void print(java.io.Writer out) throws java.io.IOException
java.io.IOException
public java.lang.String toString()
toString
in class PrintableX