| Prev Package | Next Package | Frames | No Frames |
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
NameClass x NameClass -> booleanOverride the probe method to define the actual function. |
| NameClassSimplifier | Minimizes a name class. |
| PossibleNamesCollector | computes the possible names. |
| RefExpRemover | removes all ReferenceExp from AGM. |