Uses of Class
fmrisc.ProgramExplorer.Semantics.FormulaSymbol

Packages that use FormulaSymbol

Package	Description
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax.Logic

Uses of FormulaSymbol in fmrisc.ProgramExplorer.Semantics

Subclasses of FormulaSymbol in fmrisc.ProgramExplorer.Semantics

Modifier and Type	Class and Description
class	AxiomSymbol A symbol denoting a logical axiom.

Methods in fmrisc.ProgramExplorer.Semantics that return FormulaSymbol

Modifier and Type	Method and Description
static FormulaSymbol	FormulaSymbol.construct(Identifier name, Formula formula, FormulaDefinition decl, TheorySymbol theory) Construct formula symbol.
FormulaSymbol	LogicEnvironment.getFormulaSymbol(Identifier name) Returns formula symbol associated to name.
FormulaSymbol	LogicEnvironment.putFormula(Identifier name, Formula formula, FormulaDefinition decl, TheorySymbol theory) Attempts to put formula into value table

Methods in fmrisc.ProgramExplorer.Semantics that return types with arguments of type FormulaSymbol

Modifier and Type	Method and Description
SymbolTable<FormulaSymbol>	TheorySymbol.getFormulas() Get set of formulas of this class.
java.util.Collection<FormulaSymbol>	LogicEnvironment.getFormulaSymbols() Get all formula symbols.

Uses of FormulaSymbol in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return FormulaSymbol

Modifier and Type	Method and Description
FormulaSymbol	FormulaDefinition.getSymbol() Get symbol introduced by declaration.