|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |