public class TermAtomEquation extends PrintableX implements java.lang.Comparable<TermAtomEquation>
Modifier and Type | Field and Description |
---|---|
TermAtom |
left |
static java.lang.String |
PRINT_EQ_SEPARATOR |
TermAtom |
right |
Constructor and Description |
---|
TermAtomEquation(TermAtom left,
TermAtom right) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(TermAtomEquation o) |
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
void |
print(java.io.Writer out) |
toString
public TermAtom left
public static java.lang.String PRINT_EQ_SEPARATOR
public TermAtom right
public int compareTo(TermAtomEquation o)
compareTo
in interface java.lang.Comparable<TermAtomEquation>
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object