Uses of Class
fmrisc.ProgramExplorer.Semantics.ValueSymbol

Packages that use ValueSymbol

Package	Description
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax.Logic

Uses of ValueSymbol in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements with parameters of type ValueSymbol

Modifier and Type	Method and Description
Formula	Terminates.derive(Statement C, ValueSymbol[] J, Formula F) Apply the judgement se, Is, Vs |- C |v J F to prove that command C terminates when executed in a state in which F[J] holds where J is a vector of free variables in F that denotes the measure of the recursive methods in Is that may be called in C (J may be null which indicates that the current method is not recursive).

Uses of ValueSymbol in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics that return ValueSymbol

Modifier and Type	Method and Description
static ValueSymbol	ValueSymbol.construct(Identifier name, Type type, Declaration decl) Construct value symbol.
ValueSymbol	LogicEnvironment.getValueSymbol(Identifier name) Returns value symbol associated to name.
ValueSymbol	LogicEnvironment.getValueSymbol(Reference ref) Get value denoted by reference in current environment
ValueSymbol	LogicEnvironment.putValue(Identifier name, Type type, Declaration decl) Attempts to put value into value table

Methods in fmrisc.ProgramExplorer.Semantics that return types with arguments of type ValueSymbol

Modifier and Type	Method and Description
SymbolTable<ValueSymbol>	TheorySymbol.getValues() Get set of values of this theory.
java.util.Collection<ValueSymbol>	LogicEnvironment.getValueSymbols() Get all value symbols.

Uses of ValueSymbol in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return ValueSymbol

Modifier and Type	Method and Description
ValueSymbol	ValueDeclarationClass.getSymbol() Get symbol introduced by declaration.
ValueSymbol	ValueDefinitionClass.getSymbol() Get symbol introduced by declaration.