| Interface | Description |
|---|---|
| IProgressMonitor |
The
IProgressMonitor interface is implemented by objects that monitor the progress of an
activity; the methods in this interface are invoked by code that performs the activity. |
| Class | Description |
|---|---|
| ApiUtil | |
| DebugLogger | |
| Kind2Api |
The primary interface to Kind2.
|
| Enum | Description |
|---|---|
| IC3Abstraction | |
| IVCCategory | |
| LogLevel | |
| MCSCategory | |
| Module | |
| SolverOption |