Uses of Class
fmrisc.Syntax.FormulaDeclaration

Packages that use FormulaDeclaration

fmrisc.Semantics
fmrisc.Syntax

Uses of FormulaDeclaration in fmrisc.Semantics

Methods in fmrisc.Semantics with parameters of type FormulaDeclaration

FormulaSymbol

Environment.putFormulaDeclaration(FormulaDeclaration fdecl) put formula declaration into environment

Uses of FormulaDeclaration in fmrisc.Syntax

Subclasses of FormulaDeclaration in fmrisc.Syntax

class

AxiomDeclaration Handling of type declarations.

Methods in fmrisc.Syntax that return FormulaDeclaration

static FormulaDeclaration

Construct.formulaDeclaration(FormulaDeclIdentifier name, Expression formula) construct formula declaration with denoted name and formula.