public class UnifEquation extends Object
Modifier and Type | Field and Description |
---|---|
static String |
PRINT_EQ_SEPARATOR |
Constructor and Description |
---|
UnifEquation(TermNode left,
TermNode right) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Substitution theta) |
void |
apply(Variable fromVar,
TermNode toTerm) |
void |
collectHedgeVars(Set<HedgeVar> atoms) |
UnifEquation |
copy() |
boolean |
equals(Object obj) |
long |
getDerivationDepth() |
TermNode |
getLeft() |
UnifEquation |
getNext() |
TermNode |
getRight() |
int |
hashCode() |
void |
incDerivationDepth() |
void |
setDerivationDepth(long derivationDepth) |
void |
setLeft(TermNode left) |
void |
setNext(UnifEquation next) |
void |
setRight(TermNode right) |
void |
swap() |
String |
toString() |
public static String PRINT_EQ_SEPARATOR
public void apply(Substitution theta)
public UnifEquation copy()
public long getDerivationDepth()
public TermNode getLeft()
public UnifEquation getNext()
public TermNode getRight()
public void incDerivationDepth()
public void setDerivationDepth(long derivationDepth)
public void setLeft(TermNode left)
public void setNext(UnifEquation next)
public void setRight(TermNode right)
public void swap()