Uses of Class
fmrisc.ProgramExplorer.Proving.StateProblem

Packages that use StateProblem

Package	Description
fmrisc.ProgramExplorer.Tasks

Uses of StateProblem in fmrisc.ProgramExplorer.Tasks

Methods in fmrisc.ProgramExplorer.Tasks that return StateProblem

Modifier and Type	Method and Description
StateProblem	SpecTask.stateProblem() Construct a state problem from the task.
StateProblem	StateTask.stateProblem() Translate task into a state proving problem
StateProblem	TypeCheckingTask.stateProblem() Translate task into a proving problem in state logic.
StateProblem	TerminationTask.stateProblem() Translate task into a proving problem in state logic.
StateProblem	CorrectnessTask.stateProblem() Translate task into a proving problem in state logic.
StateProblem	InvariantTask.stateProblem() Translate task into a proving problem in state logic.