Uses of Class
fmrisc.ProofNavigator.Syntax.FormulaDeclIdentifier

Packages that use FormulaDeclIdentifier

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

Uses of FormulaDeclIdentifier in fmrisc.ProofNavigator.Semantics

Methods in fmrisc.ProofNavigator.Semantics that return FormulaDeclIdentifier

Modifier and Type	Method and Description
FormulaDeclIdentifier	FormulaSymbol.getFormulaDeclIdentifier() Return identifier of symbol.

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

Modifier and Type	Method and Description
FormulaSymbol	FormulaTable.put(FormulaDeclIdentifier key, Expression formula, boolean axiom, Environment env) put formula in formula table
FormulaSymbol	Environment.putFormula(FormulaDeclIdentifier name, Expression formula, boolean axiom) put formula in environment

Constructors in fmrisc.ProofNavigator.Semantics with parameters of type FormulaDeclIdentifier

Constructor and Description
FormulaSymbol(FormulaDeclIdentifier ident) Construct formula symbol from ident (type is set to null).

Uses of FormulaDeclIdentifier in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return FormulaDeclIdentifier

Modifier and Type	Method and Description
static FormulaDeclIdentifier	Construct.formulaDeclIdentifier(java.lang.String name) construct formula declaration identifier with denoted name.
FormulaDeclIdentifier	FormulaDeclaration.getFormulaDeclIdentifier() returns declaration name

Methods in fmrisc.ProofNavigator.Syntax with parameters of type FormulaDeclIdentifier

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

Constructors in fmrisc.ProofNavigator.Syntax with parameters of type FormulaDeclIdentifier

Constructor and Description
AxiomDeclaration(FormulaDeclIdentifier name, Expression formula) Construct axiom declaration with denoted name and formula.
FormulaDeclaration(FormulaDeclIdentifier name, Expression formula) construct formula declaration with denoted name and formula