|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FormulaDeclIdentifier | |
fmrisc.AST | |
fmrisc.Semantics |
Uses of FormulaDeclIdentifier in fmrisc.AST |
Methods in fmrisc.AST that return FormulaDeclIdentifier | |
FormulaDeclIdentifier |
FormulaDeclaration.getFormulaDeclIdentifier()
returns declaration name |
static FormulaDeclIdentifier |
Construct.formulaDeclIdentifier(java.lang.String name)
construct formula declaration identifier with denoted name. |
Methods in fmrisc.AST with parameters of type FormulaDeclIdentifier | |
static FormulaDeclaration |
Construct.formulaDeclaration(FormulaDeclIdentifier name,
Expression formula)
construct formula declaration with denoted name and formula. |
Constructors in fmrisc.AST with parameters of type FormulaDeclIdentifier | |
FormulaDeclaration(FormulaDeclIdentifier name,
Expression formula)
construct formula declaration with denoted name and formula |
Uses of FormulaDeclIdentifier in fmrisc.Semantics |
Methods in fmrisc.Semantics that return FormulaDeclIdentifier | |
FormulaDeclIdentifier |
FormulaTableEntry.getFormulaDeclIdentifier()
return identifier of entry |
Methods in fmrisc.Semantics with parameters of type FormulaDeclIdentifier | |
boolean |
FormulaTable.put(FormulaDeclIdentifier key,
Expression formula,
Environment env)
put formula in formula table |
boolean |
Environment.putFormula(FormulaDeclIdentifier name,
Expression formula)
put formula in environment |
Constructors in fmrisc.Semantics with parameters of type FormulaDeclIdentifier | |
FormulaTableEntry(FormulaDeclIdentifier ident)
construct formula table entry from ident (type is set to null) |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |