| Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
| Engine | Conjecturing engine. |
| InequalityEngine | |
Class Summary | |
| AbstractEngine | |
| AbstractInequalityEngine | |
| APEngine | Proof of concept implementation of Engine. |
| EngineRunner | Object which can be used to run a given conjecturing engine in a background thread. |
| EngineRunner.Status | |
| MainInvariantConfigurationPanel | A standard configuration panel for an InequalityEngine that allows the selection of a main invariant. |