Miscellaneous utility classes.
| Modifier and Type | Class and Description |
|---|---|
| public abstract class | ExpressionFinder
Base class for "finding" something from an expression. |
| public class | ExpressionPrinter
creates a string representation of the expression. |
| public abstract class | ExpressionWalker
Visits all reachable expressions but do nothing. |
| public class | IDContextProviderWrapper
Wraps |
| public class | NameClassCollisionChecker
Computes if two name classes collide or not. |
| public abstract class | |
| public class | NameClassSimplifier
Minimizes a name class. |
| public class | PossibleNamesCollector
computes the possible names. |
| public class | RefExpRemover
removes all ReferenceExp from AGM. |