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. |