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.ConjectureEntry
public class ConjectureEntry
ConjectureHistoryEntry
that holds the result of a run of a conjecturing engine.
Field Summary | |
static String |
Constructor Summary | |
| |
|
Method Summary | |
ConjectureEntryDelegate | |
JPanel |
|
String |
|
String |
|
Methods inherited from class org.grinvin.conjecture.history.AbstractConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E> | |
getTimeStamp , setTimeStamp |
public ConjectureEntry()
Creates a new instance of ConjectureEntry
public ConjectureEntry(Expression conjecture)
Creates a new instance of ConjectureEntry
public ConjectureEntryDelegate 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()