Uses of Class
fmrisc.Semantics.FormulaTableEntry

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)