Uses of Class
fmrisc.ProofNavigator.Syntax.FormulaDeclaration

Packages that use FormulaDeclaration

Package	Description
fmrisc.ProofNavigator
fmrisc.ProofNavigator.Semantics
fmrisc.ProofNavigator.Syntax

Uses of FormulaDeclaration in fmrisc.ProofNavigator

Methods in fmrisc.ProofNavigator with parameters of type FormulaDeclaration

Modifier and Type	Method and Description
static boolean	Main.displayGoal(Declaration[] decls, FormulaDeclaration goal) Display goal

Uses of FormulaDeclaration in fmrisc.ProofNavigator.Semantics

Methods in fmrisc.ProofNavigator.Semantics with parameters of type FormulaDeclaration

Modifier and Type	Method and Description
FormulaSymbol	Environment.putFormulaDeclaration(FormulaDeclaration fdecl) put formula declaration into environment

Uses of FormulaDeclaration in fmrisc.ProofNavigator.Syntax

Subclasses of FormulaDeclaration in fmrisc.ProofNavigator.Syntax

Modifier and Type	Class and Description
class	AxiomDeclaration Handling of type declarations.

Methods in fmrisc.ProofNavigator.Syntax that return FormulaDeclaration

Modifier and Type	Method and Description
static FormulaDeclaration	Construct.formulaDeclaration(FormulaDeclIdentifier name, Expression formula) construct formula declaration with denoted name and formula.