| Interface | Description |
|---|---|
| Symbol |
Interface to symbols.
|
| Class | Description |
|---|---|
| BoundVariables |
Compute the variables bound within an expression.
|
| Checking |
type checking routines
|
| Context |
handling of formula contexts
|
| Environment |
The context that determines the meaning of identifiers.
|
| FormulaSymbol |
Entries in FormulaTable.
|
| FormulaTable |
Symbol table for formulas.
|
| FreeVariables |
Compute the free variables of an expression.
|
| SymbolBase |
Base class of symbols.
|
| SymbolTable |
Base class of symbol tables.
|
| TypeExpression |
Pair of type and exp.
|
| TypeSymbol |
Symbols in TypeTable.
|
| TypeTable |
Type table for type checking.
|
| ValueSymbol |
Symbols in ValueTable.
|
| ValueTable |
Value table for named value lookup.
|