Uses of Class
fmrisc.AST.FormulaDeclIdentifier

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)