Uses of Class
fmrisc.ProofNavigator.Syntax.ValuedIdentifier

Packages that use ValuedIdentifier

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of ValuedIdentifier in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return ValuedIdentifier

Modifier and Type	Method and Description
ValuedIdentifier[]	RecordTerm.getBase() returns base terms
ValuedIdentifier	ValuedIdentifier.instantiate() return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers
static ValuedIdentifier[]	ASTUtil.toValuedIdentifierArray(java.util.Vector<ValuedIdentifier> v) converts vector v of ValuedIdentifer objects to ValuedIdentifier array
static ValuedIdentifier	Construct.valuedIdentifier(Reference identifier, Expression value) construct identifier with value from identifier and value.

Methods in fmrisc.ProofNavigator.Syntax with parameters of type ValuedIdentifier

Modifier and Type	Method and Description
static RecordTerm	Construct.recordTerm(ValuedIdentifier[] base) construct record term of base terms

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

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

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

Constructor and Description
RecordTerm(ValuedIdentifier[] base) construct record term