|
||||||||||
| 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. |
| IDContextProviderWrapper | Wraps IDContextProvider so that it can be used
where IDContextProvider2 is expected. |
| 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 | |||||||||