org.grinvin.conjecture.history

Class StateEntry

Implemented Interfaces:
ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

public class StateEntry
extends AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

Implementation of ConjectureHistoryEntry that holds the state of the input for a conjecturing engine.

Field Summary

static String
TYPE

Constructor Summary

StateEntry()
StateEntry(GraphList graphList, InvariantList invariantList, GraphGeneratorInstanceListModel generatorInstanceList, FilterListModel filterListModel)
Creates a new instance of StateEntry

Method Summary

StateEntryDelegate
getDelegate()
FilterListModel
getFilterListModel()
GraphGeneratorInstanceListModel
getGeneratorInstanceListModel()
GraphListModel
getGraphListModel()
InvariantListModel
getInvariantListModel()
JPanel
getPanel()
Return a JPanel that displays this entry in the history.
String
getType()
String
toString()

Methods inherited from class org.grinvin.conjecture.history.AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

getTimeStamp, setTimeStamp

Field Details

TYPE

public static final String TYPE

Constructor Details

StateEntry

public StateEntry()

StateEntry

public StateEntry(GraphList graphList,
                  InvariantList invariantList,
                  GraphGeneratorInstanceListModel generatorInstanceList,
                  FilterListModel filterListModel)
Creates a new instance of StateEntry

Method Details

getDelegate

public StateEntryDelegate getDelegate()
Specified by:
getDelegate in interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

getFilterListModel

public FilterListModel getFilterListModel()

getGeneratorInstanceListModel

public GraphGeneratorInstanceListModel getGeneratorInstanceListModel()

getGraphListModel

public GraphListModel getGraphListModel()

getInvariantListModel

public InvariantListModel getInvariantListModel()

getPanel

public JPanel getPanel()
Return a JPanel that displays this entry in the history.
Specified by:
getPanel in interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

getType

public String getType()
Specified by:
getType in interface ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E>

toString

public String toString()