Class and Description |
---|
Task
The interface to a verification task.
|
Class and Description |
---|
TaskFolder
A folder of verification tasks.
|
Class and Description |
---|
Task
The interface to a verification task.
|
Class and Description |
---|
Task
The interface to a verification task.
|
TaskFolder
A folder of verification tasks.
|
Class and Description |
---|
TaskFolder
A folder of verification tasks.
|
Class and Description |
---|
ClassicalTask
A task that can be translated to a classical proving problem.
|
ClassicalTaskBase
Base of a task that can be translated to a classical proving problem.
|
FlattenDeclarations.Result
The flattening result.
|
ProofNavigatorTask
A task that is suitable for solving with the RISC ProofNavigator.
|
ProofNavigatorTaskBase
The base of a task suitable for solving with the RISC ProofNavigator.
|
StateTask
A task that can be translated to a state proving problem.
|
StateTaskBase
Base of a task that can be translated to a state proving problem.
|
Strategy
A strategy for solving a task.
|
Task
The interface to a verification task.
|
Task.Observer
A task observer.
|
Task.Status
A task status.
|
TaskBase
The base class of a verification task
|
TaskFolder
A folder of verification tasks.
|