Uses of Class
fmrisc.AST.FormulaDeclaration

Packages that use FormulaDeclaration
fmrisc.AST   
fmrisc.Semantics   
 

Uses of FormulaDeclaration in fmrisc.AST
 

Methods in fmrisc.AST that return FormulaDeclaration
static FormulaDeclaration Construct.formulaDeclaration(FormulaDeclIdentifier name, Expression formula)
          construct formula declaration with denoted name and formula.
 

Uses of FormulaDeclaration in fmrisc.Semantics
 

Methods in fmrisc.Semantics with parameters of type FormulaDeclaration
 boolean Environment.putFormulaDeclaration(FormulaDeclaration fdecl)
          put formula declaration into environment