Class | Description |
---|---|
ElementMatcher<T extends Operator> | |
ElementMatcher.AbstractSVMatcher<S extends AbstractSV> | |
ElementMatcher.ElementaryUpdateMatcher | |
ElementMatcher.FormulaSVMatcher | |
ElementMatcher.IdentityOperatorMatcher | |
ElementMatcher.LogicVariableMatcher | |
ElementMatcher.ModalOperatorSVMatcher | |
ElementMatcher.ProgramSVMatcher | |
ElementMatcher.SkolemTermSVMatcher | |
ElementMatcher.SortDependingFunctionMatcher | |
ElementMatcher.TermLabelSVMatcher | |
ElementMatcher.TermSVMatcher | |
ElementMatcher.UpdateSVMatcher | |
ElementMatcher.VariableSVMatcher | |
LegacyTacletMatcher |
This class encapsulates the matching logic for taclet's.
|