private static class ElementMatcher.TermSVMatcher extends ElementMatcher.AbstractSVMatcher<TermSV>
Modifier | Constructor and Description |
---|---|
private |
TermSVMatcher() |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(TermSV op,
SVSubstitute subst,
MatchConditions mc,
Services services) |
addInstantiation, addInstantiation
getElementMatcherFor
public MatchConditions match(TermSV op, SVSubstitute subst, MatchConditions mc, Services services)
match
in class ElementMatcher<TermSV>