public abstract class AbstractTerm extends AbstractCloneableSerializable implements Term
AbstractTerm
.Constructor and Description |
---|
AbstractTerm()
Creates a new
AbstractTerm . |
Modifier and Type | Method and Description |
---|---|
Term |
asTerm()
Get the term for the object.
|
boolean |
equals(java.lang.Object other) |
boolean |
equals(Term other)
Determines if this term is equal to another term.
|
int |
hashCode() |
java.lang.String |
toString() |
clone
finalize, getClass, notify, notifyAll, wait, wait, wait
clone
public final Term asTerm()
Termable
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public boolean equals(Term other)
other
- The other term.public java.lang.String toString()
toString
in class java.lang.Object