See: Description
| Interface | Description |
|---|---|
| IPatternMethod | |
| ISymbol2IntMap |
Interface for mapping ISymbol objects to int values.
|
| Class | Description |
|---|---|
| AbstractHashedPatternRules | |
| AbstractPatternMatcherMethod | |
| FlatOrderlessStepVisitor |
This visitor is used in an
MultisetPartitionsIterator to match
flat and orderless expressions in pattern matching. |
| FlatStepVisitor |
This visitor is used in an
NumberPartitionsIterator to match flat expressions in pattern matching. |
| HashedOrderlessMatcher |
Match two arguments of an
Orderless AST into a new resulting
expression. |
| HashedPatternFunction |
Data structure for
HashedOrderlessMatcher to set up a rule with a BinaryFunctorImpl evaluation
implementation |
| HashedPatternRules |
Data structure for
HashedOrderlessMatcher. |
| IPatternMatcher |
Interface for the pattern matcher
|
| Matcher |
The Matcher defines a pattern matching rule set.
|
| OrderlessStepVisitor |
This visitor is used in an
MultisetPartitionsIterator to match orderless expressions in pattern matching. |
| PatternComparator |
Compares two pattern objects.
|
| PatternMap |
A map from a pattern to a possibly found value during pattern-matching.
|
| PatternMatcher | |
| PatternMatcherAndEvaluator | |
| PatternMatcherAndInvoker | |
| PatternMatcherEquals |
Matches a given expression by simply comparing the left-hand-side expression
of this pattern matcher with the
equals() method. |
| RulesData |
The pattern matching rules associated with a symbol.
|
| Tester |
The Tester defines a pattern matching rule set.
|
Pattern-matching and term rewriting implementations.