org.grinvin.conjecture.history

Class ConjectureEntry

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

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

Implementation of ConjectureHistoryEntry that holds the result of a run of a conjecturing engine.

Field Summary

static String
TYPE

Constructor Summary

ConjectureEntry()
Creates a new instance of ConjectureEntry
ConjectureEntry(Expression conjecture)
Creates a new instance of ConjectureEntry

Method Summary

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

ConjectureEntry

public ConjectureEntry()
Creates a new instance of ConjectureEntry

ConjectureEntry

public ConjectureEntry(Expression conjecture)
Creates a new instance of ConjectureEntry

Method Details

getDelegate

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

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