public class MatchProblem extends Object
Constructor and Description |
---|
MatchProblem() |
Modifier and Type | Method and Description |
---|---|
void |
add(MatchEquation eq) |
void |
apply(Substitution theta) |
void |
apply(Variable fromVar,
TermNode toTerm) |
MatchProblem |
copy() |
boolean |
equals(Object obj) |
MatchEquation |
getFirst() |
boolean |
isEmpty() |
MatchEquation |
remove() |
String |
toString() |
public void add(MatchEquation eq)
public void apply(Substitution theta)
public MatchProblem copy()
public MatchEquation getFirst()
public boolean isEmpty()
public MatchEquation remove()