fmrisc.ProgramExplorer.Tasks

Interfaces

• ClassicalTask
• ProofNavigatorTask
• StateTask
• Strategy
• Task
• Task.Observer

Classes

• AllNewStrategy
• AutoStrategy
• ClassicalTaskBase
• ClassTasks
• CorrectnessTask
• FailedTask
• FlattenDeclarations
• FlattenDeclarations.Result
• FormulaTask
• FrameTask
• InvariantTask
• ManualStrategy
• MethodTasks
• PreconditionTasks
• ProofNavigatorTaskBase
• SpecTask
• StateTaskBase
• TaskBase
• TaskFolder
• TerminationTask
• TerminationTasks
• TypeCheckingTask

Enums

• Task.Status