Package org.grinvin.conjecture.history

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