public class TermAUP extends BaseAUP implements java.lang.Comparable<TermAUP>
Modifier and Type | Field and Description |
---|---|
TermVar |
generalizationVar |
TermVar |
left |
TermVar |
right |
PRINT_EQ_SEPARATOR
Constructor and Description |
---|
TermAUP(TermVar generalizationVar,
TermVar left,
TermVar right)
Create an AUP with the given generalization variable and hedges.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(TermAUP o) |
boolean |
equals(java.lang.Object o) |
Variable |
getGeneralizationVar() |
java.lang.Object |
getLeft() |
java.lang.Object |
getRight() |
int |
hashCode() |
void |
print(java.io.Writer out) |
isCommutative
toString
public TermVar generalizationVar
public TermVar left
public TermVar right
public int compareTo(TermAUP o)
compareTo
in interface java.lang.Comparable<TermAUP>
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public Variable getGeneralizationVar()
getGeneralizationVar
in class BaseAUP
public int hashCode()
hashCode
in class java.lang.Object