Uses of Class
fmrisc.ProofNavigator.Semantics.ValueSymbol

Packages that use ValueSymbol

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

Uses of ValueSymbol in fmrisc.ProofNavigator.Proving.CVCL

Methods in fmrisc.ProofNavigator.Proving.CVCL that return types with arguments of type ValueSymbol

Modifier and Type	Method and Description
java.util.Collection<ValueSymbol>	CVCLFormulaMask.getSymbols() Return mask symbols generated since last call of resetSymbols().

Uses of ValueSymbol in fmrisc.ProofNavigator.Semantics

Methods in fmrisc.ProofNavigator.Semantics that return ValueSymbol

Modifier and Type	Method and Description
ValueSymbol	ValueTable.getSymbol(Identifier name) returns symbol associated to name (null, if none)
ValueSymbol	Environment.getValueSymbol(Identifier name) returns symbol associated to name (null, if none)
ValueSymbol	ValueTable.put(ValueDeclIdentifier name, Type type, Expression value, int depth) put named value in value table
ValueSymbol	Environment.putValue(ValueDeclIdentifier name, Type type, Expression value) put named value in value table
ValueSymbol	Environment.putValueDeclaration(ValueDeclaration vdecl) put value declaration into environment

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

Modifier and Type	Method and Description
static java.util.Vector<ValueSymbol>	FreeVariables.compute(Expression exp, boolean constants) Compute free variables of expression.
static java.util.Vector<ValueSymbol>	FreeVariables.compute(Type type, boolean constants) Compute free variables of type.
java.util.Vector<ValueSymbol>	Environment.getGlobalValueSymbols() Get global value symbols in the order in which they were entered.

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

Modifier and Type	Method and Description
void	ValueSymbol.instantiate(ValueSymbol symbol) Instantiate symbol with copy of denoted symbol.

Method parameters in fmrisc.ProofNavigator.Semantics with type arguments of type ValueSymbol

Modifier and Type	Method and Description
static void	FreeVariables.append(Expression exp, java.util.Vector<ValueSymbol> result, boolean constants) Compute free variables of expression.

Uses of ValueSymbol in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return ValueSymbol

Modifier and Type	Method and Description
ValueSymbol	ValueDeclIdentifier.getSymbol() returns value symbol