Package | Description |
---|---|
fmrisc.ProofNavigator.Semantics |
Modifier and Type | Class and Description |
---|---|
class |
FormulaTable
Symbol table for formulas.
|
class |
TypeTable
Type table for type checking.
|
class |
ValueTable
Value table for named value lookup.
|
Modifier and Type | Method and Description |
---|---|
SymbolTable |
SymbolTable.cloneTable(SymbolTable s)
makes s a clone of the symbol table, the clone is a shallow copy
(the symbols in the table are not cloned)
|
Modifier and Type | Method and Description |
---|---|
SymbolTable |
SymbolTable.cloneTable(SymbolTable s)
makes s a clone of the symbol table, the clone is a shallow copy
(the symbols in the table are not cloned)
|