Uses of Class
fmrisc.AST.ValueDeclaration

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

Uses of ValueDeclaration in fmrisc.AST
 

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

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

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

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
 boolean Environment.putValueDeclaration(ValueDeclaration vdecl)
          put value declaration into environment