org.grinvin.worksheet
Class WorksheetWindow
JFrame
org.grinvin.worksheet.WorksheetWindow
- ListDataListener, ListSelectionListener, GraphListModelListener, InvariantListModelListener, WorksheetModelListener
public class WorksheetWindow
extends JFrame
Window associated to a conjecturing engine. Consists of
- An invariant table which contains the data to be used by the engine.
- A status and configuration panel for the engine.
- A history panel displaying the generated conjectures.
contentsChanged
public void contentsChanged(ListDataEvent e)
intervalAdded
public void intervalAdded(ListDataEvent e)
intervalRemoved
public void intervalRemoved(ListDataEvent e)
valueChanged
public void valueChanged(ListSelectionEvent e)