Uses of Class
fmrisc.Syntax.FormulaDeclIdentifier

Packages that use FormulaDeclIdentifier

fmrisc.Semantics
fmrisc.Syntax

Uses of FormulaDeclIdentifier in fmrisc.Semantics

Methods in fmrisc.Semantics that return FormulaDeclIdentifier

FormulaDeclIdentifier

FormulaSymbol.getFormulaDeclIdentifier() Return identifier of symbol.

Methods in fmrisc.Semantics with parameters of type FormulaDeclIdentifier

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.Semantics with parameters of type FormulaDeclIdentifier

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

Uses of FormulaDeclIdentifier in fmrisc.Syntax

Methods in fmrisc.Syntax that return FormulaDeclIdentifier

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

Methods in fmrisc.Syntax with parameters of type FormulaDeclIdentifier

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.Syntax with parameters of type FormulaDeclIdentifier

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