Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.conjecture.history.AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
org.grinvin.conjecture.history.StateEntry
public class StateEntry
ConjectureHistoryEntry
that holds the state of the input for a conjecturing engine.
Field Summary | |
static String |
Constructor Summary | |
|
Method Summary | |
StateEntryDelegate | |
FilterListModel | |
GraphGeneratorInstanceListModel | |
GraphListModel | |
InvariantListModel | |
JPanel |
|
String |
|
String |
|
Methods inherited from class org.grinvin.conjecture.history.AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E> | |
getTimeStamp , setTimeStamp |
public StateEntry()
public StateEntry(GraphList graphList, InvariantList invariantList, GraphGeneratorInstanceListModel generatorInstanceList, FilterListModel filterListModel)
Creates a new instance of StateEntry
public StateEntryDelegate getDelegate()
- Specified by:
- getDelegate in interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
public JPanel getPanel()
Return a JPanel that displays this entry in the history.
- Specified by:
- getPanel in interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
public String getType()
- Specified by:
- getType in interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>
public String toString()