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