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