fmrisc.ProgramExplorer.Tasks

Interface ClassicalTask

All Superinterfaces:

ProofNavigatorTask, Task

All Known Subinterfaces:

StateTask

All Known Implementing Classes:

ClassicalTaskBase, CorrectnessTask, FormulaTask, InvariantTask, SpecTask, StateTaskBase, TerminationTask, TypeCheckingTask

public interface ClassicalTask
extends ProofNavigatorTask

A task that can be translated to a classical 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
ClassicalProblem	classicalProblem() Translate task into a classical proving problem

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

classicalProblem

ClassicalProblem classicalProblem()

Translate task into a classical proving problem

Returns:

the translation.