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 |