| Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
| ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E> | Interface for items in a history of the conjecturing engine. |
| ConjectureHistoryEntryDelegate<E,extends,ConjectureHistoryEntry,E> | |
Class Summary | |
| AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E> | Provides standard implementation for the time stamp of a ConjectureHistoryEntry. |
| ConjectureEntry | Implementation of ConjectureHistoryEntry that holds the result of a run of a conjecturing engine. |
| ConjectureEntryDelegate | |
| ConjectureHistoryOverview | View of the conjecture history |
| StateEntry | Implementation of ConjectureHistoryEntry that holds the state of the input for a conjecturing engine. |
| StateEntryDelegate | |