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