Uses of Interface
fmrisc.ProgramExplorer.Tasks.StateTask

Packages that use StateTask

Package	Description
fmrisc.ProgramExplorer.Tasks

Uses of StateTask in fmrisc.ProgramExplorer.Tasks

Classes in fmrisc.ProgramExplorer.Tasks that implement StateTask

Modifier and Type	Class and Description
class	CorrectnessTask The task of proving the partial correctness of a method/constructor.
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.