public final class DropEffectlessStoresCondition extends java.lang.Object implements VariableCondition
Modifier and Type | Field and Description |
---|---|
private TermSV |
f |
private TermSV |
h |
private TermSV |
o |
private TermSV |
result |
private TermSV |
x |
Constructor and Description |
---|
DropEffectlessStoresCondition(TermSV h,
TermSV o,
TermSV f,
TermSV x,
TermSV result) |
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 |
dropEffectlessStores(Term t,
Services services) |
private static Term |
dropEffectlessStoresHelper(Term heapTerm,
TermServices services,
ImmutableSet<Pair<Term,Term>> overwrittenLocs,
Function store) |
java.lang.String |
toString() |
private final TermSV h
private final TermSV o
private final TermSV f
private final TermSV x
private final TermSV result
private static Term dropEffectlessStoresHelper(Term heapTerm, TermServices services, ImmutableSet<Pair<Term,Term>> overwrittenLocs, Function store)
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