org.grinvin.conjecture.history
Interfaces
ConjectureHistoryEntry
ConjectureHistoryEntryDelegate
Classes
AbstractConjectureHistoryEntry
ConjectureEntry
ConjectureEntryDelegate
ConjectureHistoryOverview
StateEntry
StateEntryDelegate