org.grinvin.conjecture.history
Interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
- AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>, ConjectureEntry, StateEntry
public interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
Interface for items in a history of the conjecturing engine.
ConjectureHistoryEntryDelegate | getDelegate()
|
JPanel | getPanel() - Return a JPanel that displays this entry in the history.
|
long | getTimeStamp() - Returns the time stamp of the moment this entry was created.
|
String | getType()
|
getDelegate
public ConjectureHistoryEntryDelegate getDelegate()
getPanel
public JPanel getPanel()
Return a JPanel that displays this entry in the history.
getTimeStamp
public long getTimeStamp()
Returns the time stamp of the moment this entry was created.
getType
public String getType()