private static class ElementMatcher.LogicVariableMatcher extends ElementMatcher<LogicVariable>
Modifier | Constructor and Description |
---|---|
private |
LogicVariableMatcher() |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(LogicVariable op,
SVSubstitute subst,
MatchConditions mc,
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.
|
getElementMatcherFor
public MatchConditions match(LogicVariable op, SVSubstitute subst, MatchConditions mc, Services services)
match
in class ElementMatcher<LogicVariable>