public class MatchModalOperatorSVInstruction extends MatchSchemaVariableInstruction<ModalOperatorSV>
op
Constructor and Description |
---|
MatchModalOperatorSVInstruction(ModalOperatorSV 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
public MatchModalOperatorSVInstruction(ModalOperatorSV op)
public MatchConditions match(Term subst, MatchConditions mc, Services services)
Instruction
Term
instantiationCandidate
w.r.t. the given constraints by MatchConditions
match
in class Instruction<ModalOperatorSV>
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)