public final class EqualUniqueCondition extends java.lang.Object implements VariableCondition
Modifier and Type | Field and Description |
---|---|
private FormulaSV |
res |
private TermSV |
t |
private TermSV |
t2 |
Constructor and Description |
---|
EqualUniqueCondition(TermSV t,
TermSV t2,
FormulaSV res) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
check(SchemaVariable var,
SVSubstitute instCandidate,
MatchConditions mc,
Services services)
checks if the condition for a correct instantiation is fulfilled
|
private static Term |
equalUnique(Term t1,
Term t2,
TermServices services) |
java.lang.String |
toString() |
private static Term equalUnique(Term t1, Term t2, TermServices services)
public MatchConditions check(SchemaVariable var, SVSubstitute instCandidate, MatchConditions mc, Services services)
VariableCondition
check
in interface VariableCondition
var
- the SchemaVariable to be instantiatedinstCandidate
- the SVSubstitute (e.g. Term, ProgramElement) to be mapped to varmc
- the MatchCondition with the current matching state and in particular
the SVInstantiations that are already known to be neededservices
- the program information objectnull
otherwisepublic java.lang.String toString()
toString
in class java.lang.Object