| 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.
|