Uses of Class
fmrisc.ProofNavigator.Semantics.FormulaTable

Packages that use FormulaTable

Package	Description
fmrisc.ProofNavigator.Semantics

Uses of FormulaTable in fmrisc.ProofNavigator.Semantics

Methods in fmrisc.ProofNavigator.Semantics that return FormulaTable

Modifier and Type	Method and Description
FormulaTable	FormulaTable.cloneFormulaTable() creates a clone of the symbol table, the clone is a shallow copy (the symbols in the table are not cloned)