public final class ApplyUpdateOnRigidCondition extends java.lang.Object implements VariableCondition
Modifier and Type | Field and Description |
---|---|
private UpdateSV |
u |
private SchemaVariable |
x |
private SchemaVariable |
x2 |
Constructor and Description |
---|
ApplyUpdateOnRigidCondition(UpdateSV u,
SchemaVariable x,
SchemaVariable x2) |
Modifier and Type | Method and Description |
---|---|
private static Term |
applyUpdateOnRigid(Term update,
Term target,
TermServices services) |
MatchConditions |
check(SchemaVariable var,
SVSubstitute instCandidate,
MatchConditions mc,
Services services)
checks if the condition for a correct instantiation is fulfilled
|
java.lang.String |
toString() |
private final UpdateSV u
private final SchemaVariable x
private final SchemaVariable x2
public ApplyUpdateOnRigidCondition(UpdateSV u, SchemaVariable x, SchemaVariable x2)
private static Term applyUpdateOnRigid(Term update, Term target, 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