private static class BindVariablesInstruction.LogicVariableBinder extends java.lang.Object implements BindVariablesInstruction.VariableBinderSubinstruction
Modifier and Type | Field and Description |
---|---|
private LogicVariable |
templateVar |
Constructor and Description |
---|
LogicVariableBinder(LogicVariable templateVar) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(LogicVariable instantiationCandidate,
MatchConditions matchCond,
Services services)
a match between two logic variables is possible if they have been assigned
they are same or have been assigned to the same abstract name and the sorts
are equal.
|
private final LogicVariable templateVar
public LogicVariableBinder(LogicVariable templateVar)
public MatchConditions match(LogicVariable instantiationCandidate, MatchConditions matchCond, Services services)
match
in interface BindVariablesInstruction.VariableBinderSubinstruction