MatchConditions |
MatchUpdateSVInstruction.match(TermNavigator termPosition,
MatchConditions mc,
Services services) |
MatchConditions |
MatchProgramSVInstruction.match(TermNavigator termPosition,
MatchConditions mc,
Services services) |
MatchConditions |
MatchFormulaSVInstruction.match(TermNavigator termPosition,
MatchConditions mc,
Services services) |
MatchConditions |
MatchElementaryUpdateInstruction.match(TermNavigator termPosition,
MatchConditions matchConditions,
Services services) |
MatchConditions |
MatchModalOperatorSVInstruction.match(TermNavigator termPosition,
MatchConditions mc,
Services services) |
MatchConditions |
MatchProgramInstruction.match(TermNavigator termPosition,
MatchConditions matchConditions,
Services services) |
MatchConditions |
MatchTermLabelInstruction.match(TermNavigator termPosition,
MatchConditions matchConditions,
Services services) |
MatchConditions |
MatchOpIdentityInstruction.match(TermNavigator termPosition,
MatchConditions matchConditions,
Services services) |
MatchConditions |
MatchTermSVInstruction.match(TermNavigator termPosition,
MatchConditions mc,
Services services) |
MatchConditions |
MatchVariableSVInstruction.match(TermNavigator termPosition,
MatchConditions mc,
Services services) |
MatchConditions |
UnbindVariablesInstruction.match(TermNavigator termPosition,
MatchConditions matchConditions,
Services services) |
MatchConditions |
MatchSortDependingFunctionInstruction.match(TermNavigator termPosition,
MatchConditions mc,
Services services) |
MatchConditions |
MatchInstruction.match(TermNavigator termPosition,
MatchConditions matchConditions,
Services services) |
MatchConditions |
BindVariablesInstruction.match(TermNavigator termPosition,
MatchConditions matchConditions,
Services services) |