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