fmrisc.ProgramExplorer.Tasks

Interface StateTask

All Superinterfaces:

ClassicalTask, ProofNavigatorTask, Task

All Known Implementing Classes:

CorrectnessTask, InvariantTask, SpecTask, StateTaskBase, TerminationTask, TypeCheckingTask

public interface StateTask
extends ClassicalTask

A task that can be translated to a state proving problem.

Nested Class Summary

Nested classes/interfaces inherited from interface fmrisc.ProgramExplorer.Tasks.Task

Task.Observer, Task.Status

Method Summary

Methods

Modifier and Type	Method and Description
StateProblem	stateProblem() Translate task into a state proving problem

Methods inherited from interface fmrisc.ProgramExplorer.Tasks.ClassicalTask

classicalProblem

Methods inherited from interface fmrisc.ProgramExplorer.Tasks.ProofNavigatorTask

proofNavigatorProblem, reset

Methods inherited from interface fmrisc.ProgramExplorer.Tasks.Task

getDirectory, getEvidence, getInfo, getName, getParent, getPosition, getStatus, isFinal, isOptional, print, resume, resumeOnNew, setObserver, setParent, setStatus

Method Detail

stateProblem

StateProblem stateProblem()

Translate task into a state proving problem

Returns:

the translation.