public abstract class ElementMatcher<T extends Operator>
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
private static class |
ElementMatcher.AbstractSVMatcher<S extends AbstractSV> |
private static class |
ElementMatcher.ElementaryUpdateMatcher |
private static class |
ElementMatcher.FormulaSVMatcher |
private static class |
ElementMatcher.IdentityOperatorMatcher |
private static class |
ElementMatcher.LogicVariableMatcher |
private static class |
ElementMatcher.ModalOperatorSVMatcher |
private static class |
ElementMatcher.ProgramSVMatcher |
private static class |
ElementMatcher.SkolemTermSVMatcher |
private static class |
ElementMatcher.SortDependingFunctionMatcher |
private static class |
ElementMatcher.TermLabelSVMatcher |
private static class |
ElementMatcher.TermSVMatcher |
private static class |
ElementMatcher.UpdateSVMatcher |
private static class |
ElementMatcher.VariableSVMatcher |
Modifier and Type | Field and Description |
---|---|
private static ElementMatcher.ElementaryUpdateMatcher |
elUpMatcher |
private static ElementMatcher.FormulaSVMatcher |
formulaSVMatcher |
private static ElementMatcher.IdentityOperatorMatcher |
IDENTITY_MATCHER |
private static ElementMatcher.LogicVariableMatcher |
logicVarMatcher |
private static ElementMatcher.ModalOperatorSVMatcher |
modalSVMatcher |
private static ElementMatcher.ProgramSVMatcher |
programSVMatcher |
private static ElementMatcher.SkolemTermSVMatcher |
skolemSVMatcher |
private static ElementMatcher.SortDependingFunctionMatcher |
sortDependingFctMatcher |
private static ElementMatcher.TermLabelSVMatcher |
termLabelSVMatcher |
private static ElementMatcher.TermSVMatcher |
termSVMatcher |
private static ElementMatcher.UpdateSVMatcher |
updateSVMatcher |
private static ElementMatcher.VariableSVMatcher |
variableSVMatcher |
Constructor and Description |
---|
ElementMatcher() |
Modifier and Type | Method and Description |
---|---|
(package private) static <T extends Operator> |
getElementMatcherFor(T o) |
abstract MatchConditions |
match(T op,
SVSubstitute subst,
MatchConditions mc,
Services services) |
private static final ElementMatcher.IdentityOperatorMatcher IDENTITY_MATCHER
private static final ElementMatcher.ElementaryUpdateMatcher elUpMatcher
private static final ElementMatcher.SortDependingFunctionMatcher sortDependingFctMatcher
private static final ElementMatcher.LogicVariableMatcher logicVarMatcher
private static final ElementMatcher.TermSVMatcher termSVMatcher
private static final ElementMatcher.FormulaSVMatcher formulaSVMatcher
private static final ElementMatcher.ProgramSVMatcher programSVMatcher
private static final ElementMatcher.ModalOperatorSVMatcher modalSVMatcher
private static final ElementMatcher.UpdateSVMatcher updateSVMatcher
private static final ElementMatcher.SkolemTermSVMatcher skolemSVMatcher
private static final ElementMatcher.TermLabelSVMatcher termLabelSVMatcher
private static final ElementMatcher.VariableSVMatcher variableSVMatcher
static <T extends Operator> ElementMatcher<? super T> getElementMatcherFor(T o)
public abstract MatchConditions match(T op, SVSubstitute subst, MatchConditions mc, Services services)