public class MatchElementaryUpdateInstruction extends Instruction<ElementaryUpdate>
Modifier and Type | Field and Description |
---|---|
private MatchOperatorInstruction |
leftHandSide |
op
Modifier | Constructor and Description |
---|---|
protected |
MatchElementaryUpdateInstruction(ElementaryUpdate op) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(Term instantiationCandidate,
MatchConditions matchCond,
Services services)
tries to match the schema variable of this instruction with the specified
Term instantiationCandidate
w.r.t. the given constraints by MatchConditions |
MatchConditions |
match(TermNavigator termPosition,
MatchConditions matchConditions,
Services services) |
matchAndBindVariables, matchElementaryUpdate, matchFormulaSV, matchModalOperatorSV, matchOp, matchProgram, matchProgramSV, matchSortDependingFunction, matchTermLabelSV, matchTermSV, matchUpdateSV, matchVariableSV, unbindVariables
private final MatchOperatorInstruction leftHandSide
protected MatchElementaryUpdateInstruction(ElementaryUpdate op)
public MatchConditions match(Term instantiationCandidate, MatchConditions matchCond, Services services)
Instruction
Term
instantiationCandidate
w.r.t. the given constraints by MatchConditions
match
in class Instruction<ElementaryUpdate>
instantiationCandidate
- the Term
to be matchedmatchCond
- the MatchConditions
with additional constraints (e.g. previous matches of this schemavariable)services
- the Services
null
if no matches have been found or the new MatchConditions
with the pair (sv, instantiationCandidate)
addedpublic MatchConditions match(TermNavigator termPosition, MatchConditions matchConditions, Services services)