public final class DropEffectlessElementariesCondition extends java.lang.Object implements VariableCondition
Modifier and Type | Field and Description |
---|---|
private SchemaVariable |
result |
private UpdateSV |
u |
private SchemaVariable |
x |
Constructor and Description |
---|
DropEffectlessElementariesCondition(UpdateSV u,
SchemaVariable x,
SchemaVariable x2) |
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 |
dropEffectlessElementaries(Term update,
Term target,
Services services) |
private static Term |
dropEffectlessElementariesHelper(Term update,
java.util.Set<LocationVariable> relevantVars,
TermServices services) |
java.lang.String |
toString() |
private final UpdateSV u
private final SchemaVariable x
private final SchemaVariable result
public DropEffectlessElementariesCondition(UpdateSV u, SchemaVariable x, SchemaVariable x2)
private static Term dropEffectlessElementariesHelper(Term update, java.util.Set<LocationVariable> relevantVars, TermServices services)
private static Term dropEffectlessElementaries(Term update, Term target, Services 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