public class MatchEquation extends Object
Modifier and Type | Field and Description |
---|---|
static String |
PRINT_EQ_SEPARATOR |
Constructor and Description |
---|
MatchEquation(TermNode left,
TermNode right) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Substitution theta) |
void |
apply(Variable fromVar,
TermNode toTerm) |
MatchEquation |
copy() |
boolean |
equals(Object obj) |
TermNode |
getLeft() |
MatchEquation |
getNext() |
TermNode |
getRight() |
int |
hashCode() |
void |
setLeft(TermNode left) |
void |
setNext(MatchEquation next) |
void |
setRight(TermNode right) |
void |
swap() |
String |
toString() |
public static String PRINT_EQ_SEPARATOR
public void apply(Substitution theta)
public MatchEquation copy()
public TermNode getLeft()
public MatchEquation getNext()
public TermNode getRight()
public void setLeft(TermNode left)
public void setNext(MatchEquation next)
public void setRight(TermNode right)
public void swap()