Uses of Class
fmrisc.ProgramExplorer.Tasks.StateTaskBase

Packages that use StateTaskBase

Package	Description
fmrisc.ProgramExplorer.Tasks

Uses of StateTaskBase in fmrisc.ProgramExplorer.Tasks

Subclasses of StateTaskBase in fmrisc.ProgramExplorer.Tasks

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	TerminationTask The task of proving the termination of a statement.
class	TypeCheckingTask The task of proving a type-checking condition.