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.