Uses of Interface
fmrisc.ProgramExplorer.Tasks.ClassicalTask

Packages that use ClassicalTask

Package	Description
fmrisc.ProgramExplorer.Tasks

Uses of ClassicalTask in fmrisc.ProgramExplorer.Tasks

Subinterfaces of ClassicalTask in fmrisc.ProgramExplorer.Tasks

Modifier and Type	Interface and Description
interface	StateTask A task that can be translated to a state proving problem.

Classes in fmrisc.ProgramExplorer.Tasks that implement ClassicalTask

Modifier and Type	Class and Description
class	ClassicalTaskBase Base of a task that can be translated to a classical proving problem.
class	CorrectnessTask The task of proving the partial correctness of a method/constructor.
class	FormulaTask The task of proving a user-defined formula.
class	InvariantTask The task of proving the correctness of a loop invariant.
class	SpecTask A task for validating a specification
class	StateTaskBase Base of a task that can be translated to a state proving problem.
class	TerminationTask The task of proving the termination of a statement.
class	TypeCheckingTask The task of proving a type-checking condition.