Uses of Class
fmrisc.ProofNavigator.Syntax.ValueDeclaration

Packages that use ValueDeclaration

Package	Description
fmrisc.ProgramExplorer.Proving
fmrisc.ProofNavigator
fmrisc.ProofNavigator.Proving.CVCL
fmrisc.ProofNavigator.Semantics
fmrisc.ProofNavigator.Syntax

Uses of ValueDeclaration in fmrisc.ProgramExplorer.Proving

Methods in fmrisc.ProgramExplorer.Proving that return ValueDeclaration

Modifier and Type	Method and Description
ValueDeclaration[]	ProofNavigator.translateValueDefs(ValueDefinition[] defs) Translate value definitions.

Uses of ValueDeclaration in fmrisc.ProofNavigator

Methods in fmrisc.ProofNavigator that return ValueDeclaration

Modifier and Type	Method and Description
ValueDeclaration	PNParser.vdeclaration()
ValueDeclaration	PN2Parser.vdeclaration()

Uses of ValueDeclaration in fmrisc.ProofNavigator.Proving.CVCL

Methods in fmrisc.ProofNavigator.Proving.CVCL that return ValueDeclaration

Modifier and Type	Method and Description
ValueDeclaration	CVCLParser.vdeclaration()

Uses of ValueDeclaration in fmrisc.ProofNavigator.Semantics

Methods in fmrisc.ProofNavigator.Semantics with parameters of type ValueDeclaration

Modifier and Type	Method and Description
ValueSymbol	Environment.putValueDeclaration(ValueDeclaration vdecl) put value declaration into environment

Uses of ValueDeclaration in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return ValueDeclaration

Modifier and Type	Method and Description
ValueDeclaration	ArrayTerm.getConstant() Get declaration of constant replacing expression
ValueDeclaration[]	LetExpression.getDeclarations() get declarations
ValueDeclaration	ValueDeclaration.instantiate() create instantiated copy of declaration
static ValueDeclaration[]	ASTUtil.toValueDeclarationArray(java.util.Vector<ValueDeclaration> 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.ProofNavigator.Syntax with parameters of type ValueDeclaration

Modifier and Type	Method and Description
static LetExpression	Construct.letExpression(ValueDeclaration[] declarations, Expression base) construct let expressions of declarations and base expressions
void	ArrayTerm.setConstant(ValueDeclaration d) Set declaration of constant replacing expression

Method parameters in fmrisc.ProofNavigator.Syntax with type arguments of type ValueDeclaration

Modifier and Type	Method and Description
static ValueDeclaration[]	ASTUtil.toValueDeclarationArray(java.util.Vector<ValueDeclaration> v) converts vector v of ValueDeclaration objects to ValueDeclaration array

Constructors in fmrisc.ProofNavigator.Syntax with parameters of type ValueDeclaration

Constructor and Description
LetExpression(ValueDeclaration[] declarations, Expression base) construct let expressions of declarations and base expressions