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