|
|||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||
See:
Description
| Class Summary | |
| ExpressionFinder | Base class for "finding" something from an expression. |
| ExpressionPrinter | creates a string representation of the expression. |
| ExpressionWalker | Visits all reachable expressions but do nothing. |
| NameClassCollisionChecker | Computes if two name classes collide or not. |
| NameClassComparator | Abstract implementation of a function |
| NameClassSimplifier | Minimizes a name class. |
| PossibleNamesCollector | computes the possible names. |
| RefExpRemover | removes all ReferenceExp from AGM. |
Miscellaneous utility classes.
|
|||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||