private static interface BindVariablesInstruction.VariableBinderSubinstruction
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(LogicVariable instantiationCandidate,
MatchConditions matchCond,
Services services) |
MatchConditions match(LogicVariable instantiationCandidate, MatchConditions matchCond, Services services)