de.uka.ilkd.key.rule.match.vm.instructions

Interface BindVariablesInstruction.VariableBinderSubinstruction

All Known Implementing Classes:

BindVariablesInstruction.LogicVariableBinder, BindVariablesInstruction.VariableSVBinder

Enclosing class:

BindVariablesInstruction

private static interface BindVariablesInstruction.VariableBinderSubinstruction

Method Summary

Modifier and Type	Method and Description
MatchConditions	match(LogicVariable instantiationCandidate, MatchConditions matchCond, Services services)

Method Detail

match

MatchConditions match(LogicVariable instantiationCandidate,
                      MatchConditions matchCond,
                      Services services)