org.grinvin.conjecture.history

Interfaces

ConjectureHistoryEntry
ConjectureHistoryEntryDelegate

Classes

AbstractConjectureHistoryEntry
ConjectureEntry
ConjectureEntryDelegate
ConjectureHistoryOverview
StateEntry
StateEntryDelegate