public class MatchUpdateSVInstruction extends MatchSchemaVariableInstruction<UpdateSV>
op
Modifier | Constructor and Description |
---|---|
protected |
MatchUpdateSVInstruction(UpdateSV op) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(Term subst,
MatchConditions mc,
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 mc,
Services services) |
addInstantiation, match
matchAndBindVariables, matchElementaryUpdate, matchFormulaSV, matchModalOperatorSV, matchOp, matchProgram, matchProgramSV, matchSortDependingFunction, matchTermLabelSV, matchTermSV, matchUpdateSV, matchVariableSV, unbindVariables
protected MatchUpdateSVInstruction(UpdateSV op)
public MatchConditions match(Term subst, MatchConditions mc, Services services)
Term
instantiationCandidate
w.r.t. the given constraints by MatchConditions
match
in class Instruction<UpdateSV>
subst
- the Term
to be matchedmc
- 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 mc, Services services)