private static class BindVariablesInstruction.VariableSVBinder extends MatchSchemaVariableInstruction<VariableSV> implements BindVariablesInstruction.VariableBinderSubinstruction
op
Constructor and Description |
---|
VariableSVBinder(VariableSV templateVar) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(LogicVariable instantiationCandidate,
MatchConditions matchCond,
Services services) |
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) |
addInstantiation, match
matchAndBindVariables, matchElementaryUpdate, matchFormulaSV, matchModalOperatorSV, matchOp, matchProgram, matchProgramSV, matchSortDependingFunction, matchTermLabelSV, matchTermSV, matchUpdateSV, matchVariableSV, unbindVariables
public VariableSVBinder(VariableSV templateVar)
public MatchConditions match(LogicVariable instantiationCandidate, MatchConditions matchCond, Services services)
match
in interface BindVariablesInstruction.VariableBinderSubinstruction
public MatchConditions match(TermNavigator termPosition, MatchConditions matchConditions, Services services)
match
in interface MatchInstruction
public MatchConditions match(Term instantiationCandidate, MatchConditions matchCond, Services services)
Instruction
Term
instantiationCandidate
w.r.t. the given constraints by MatchConditions
match
in class Instruction<VariableSV>
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)
added