Uses of Class
fmrisc.ProgramExplorer.Tasks.TaskBase

Packages that use TaskBase

Package	Description
fmrisc.ProgramExplorer.Tasks

Uses of TaskBase in fmrisc.ProgramExplorer.Tasks

Subclasses of TaskBase in fmrisc.ProgramExplorer.Tasks

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	FailedTask An unconditionally failed task.
class	FormulaTask The task of proving a user-defined formula.
class	FrameTask The task of checking the frame condition
class	InvariantTask The task of proving the correctness of a loop invariant.
class	ProofNavigatorTaskBase The base of a task suitable for solving with the RISC ProofNavigator.
class	SpecTask A task for validating a specification
class	StateTaskBase Base of a task that can be translated to a state proving problem.
class	TaskFolder A folder of verification tasks.
class	TerminationTask The task of proving the termination of a statement.
class	TypeCheckingTask The task of proving a type-checking condition.