Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
Engine | Conjecturing engine. |
InequalityEngine |
Class Summary | |
AbstractInequalityEngine | |
APEngine | Proof of concept (quick and dirty) implementation of Engine . |
EngineRunner | Object which can be used to run a given conjecturing engine in a background thread. |
EngineRunner.Status | |
QDEngine | Proof of concept (quick and dirty) implementation of Engine . |