org.grinvin.conjecture.history

Interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

Known Implementing Classes:
AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>, ConjectureEntry, StateEntry

public interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

Interface for items in a history of the conjecturing engine.

Method Summary

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()

Method Details

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()