T
- the type of the operator used as templatepublic class MatchOpIdentityInstruction<T extends Operator> extends Instruction<T> implements MatchOperatorInstruction
op
Constructor and Description |
---|
MatchOpIdentityInstruction(T op) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(Operator instantiationCandidate,
MatchConditions matchConditions,
Services services) |
MatchConditions |
match(Term instantiationCandidate,
MatchConditions matchConditions,
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
public MatchOpIdentityInstruction(T op)
public final MatchConditions match(Term instantiationCandidate, MatchConditions matchConditions, Services services)
Term
instantiationCandidate
w.r.t. the given constraints by MatchConditions
match
in class Instruction<T extends Operator>
instantiationCandidate
- the Term
to be matchedmatchConditions
- 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(Operator instantiationCandidate, MatchConditions matchConditions, Services services)
match
in interface MatchOperatorInstruction
public MatchConditions match(TermNavigator termPosition, MatchConditions matchConditions, Services services)
match
in interface MatchInstruction