public final class FormulaTable extends SymbolTable
Constructor and Description |
---|
FormulaTable() |
Modifier and Type | Method and Description |
---|---|
FormulaTable |
cloneFormulaTable()
creates a clone of the symbol table, the clone is a shallow copy
(the symbols in the table are not cloned)
|
Expression |
getFormula(Identifier key)
returns formula associated to key
|
FormulaSymbol |
getSymbol(Identifier name)
returns symbol associated to name (null, if none)
|
FormulaSymbol |
put(FormulaDeclIdentifier key,
Expression formula,
boolean axiom,
Environment env)
put formula in formula table
|
cloneTable, getSymbols
public FormulaTable cloneFormulaTable()
public FormulaSymbol put(FormulaDeclIdentifier key, Expression formula, boolean axiom, Environment env)
key
- the name of the formulaformula
- the formula associated to the nameaxiom
- true iff formula is axiomenv
- the environment in which the formula was declaredpublic FormulaSymbol getSymbol(Identifier name)
name
- the namepublic Expression getFormula(Identifier key)
key
- the name of the formula