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. |