org.grinvin.conjecture.history
Class AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
java.lang.Object
org.grinvin.conjecture.history.AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
- ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
public abstract class AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
extends java.lang.Object
long | getTimeStamp() - Returns the time stamp of the moment this entry was created.
|
protected void | setTimeStamp(long timeStamp)
|
AbstractConjectureHistoryEntry
public AbstractConjectureHistoryEntry()
Creates a new instance of AbstractConjectureHistoryEntry
setTimeStamp
protected void setTimeStamp(long timeStamp)