Uses of Class
fmrisc.ProgramExplorer.Tasks.ClassicalTaskBase

Packages that use ClassicalTaskBase

Package	Description
fmrisc.ProgramExplorer.Tasks

Uses of ClassicalTaskBase in fmrisc.ProgramExplorer.Tasks

Subclasses of ClassicalTaskBase in fmrisc.ProgramExplorer.Tasks

Modifier and Type	Class and Description
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.