Uses of Class
fmrisc.ProgramExplorer.Syntax.Logic.StateValue

Packages that use StateValue

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

Uses of StateValue in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements that return StateValue

Modifier and Type	Method and Description
StateValue	Satisfies.stateValue(Term state) Construct a state value term.

Uses of StateValue in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type StateValue

Modifier and Type	Method and Description
void	ASTVisitor.visit(StateValue tree)
void	ASTCloner.visit(StateValue tree)
void	ASTVisitorBase.visit(StateValue tree)

Uses of StateValue in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static StateValue	StateValue.construct(Term arg) Construct a reference to a state's return value.