|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FormulaTableEntry | |
fmrisc.AST | |
fmrisc.Proving | |
fmrisc.Semantics |
Uses of FormulaTableEntry in fmrisc.AST |
Methods in fmrisc.AST that return FormulaTableEntry | |
FormulaTableEntry |
FormulaDeclIdentifier.getEntry()
returns value table entry |
Uses of FormulaTableEntry in fmrisc.Proving |
Methods in fmrisc.Proving that return FormulaTableEntry | |
FormulaTableEntry |
Proof.getEntry()
get symbol table entry of formula proved |
Constructors in fmrisc.Proving with parameters of type FormulaTableEntry | |
Proof(FormulaTableEntry entry)
construct new proof for formula denoted by symbol table entry |
Uses of FormulaTableEntry in fmrisc.Semantics |
Methods in fmrisc.Semantics that return FormulaTableEntry | |
FormulaTableEntry |
FormulaTable.getEntry(Identifier name)
returns entry associated to name (null, if none) |
FormulaTableEntry |
Environment.getFormulaTableEntry(Identifier name)
returns entry associated to name (null, if none) |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |