Uses of Class
fmrisc.Syntax.ValueDeclaration

Packages that use ValueDeclaration
fmrisc.ProofNavigator   
fmrisc.Proving.CVCL   
fmrisc.Semantics   
fmrisc.Syntax   
 

Uses of ValueDeclaration in fmrisc.ProofNavigator
 

Methods in fmrisc.ProofNavigator that return ValueDeclaration
 ValueDeclaration PNParser.vdeclaration()
           
 

Uses of ValueDeclaration in fmrisc.Proving.CVCL
 

Methods in fmrisc.Proving.CVCL that return ValueDeclaration
 ValueDeclaration CVCLParser.vdeclaration()
           
 

Uses of ValueDeclaration in fmrisc.Semantics
 

Methods in fmrisc.Semantics with parameters of type ValueDeclaration
 ValueSymbol Environment.putValueDeclaration(ValueDeclaration vdecl)
          put value declaration into environment
 

Uses of ValueDeclaration in fmrisc.Syntax
 

Methods in fmrisc.Syntax that return ValueDeclaration
 ValueDeclaration[] LetExpression.getDeclarations()
          get declarations
 ValueDeclaration ValueDeclaration.instantiate()
          create instantiated copy of declaration
static ValueDeclaration[] ASTUtil.toValueDeclarationArray(java.util.Vector v)
          converts vector v of ValueDeclaration objects to ValueDeclaration array
static ValueDeclaration Construct.valueDeclaration(ValueDeclIdentifier name, Type type, Expression value)
          construct value declaration with denoted name, type and value.
 

Methods in fmrisc.Syntax with parameters of type ValueDeclaration
static LetExpression Construct.letExpression(ValueDeclaration[] declarations, Expression base)
          construct let expressions of declarations and base expressions
 

Constructors in fmrisc.Syntax with parameters of type ValueDeclaration
LetExpression(ValueDeclaration[] declarations, Expression base)
          construct let expressions of declarations and base expressions