org.grinvin.list.actions
Class RunConjecturing
AbstractAction
org.grinvin.list.actions.RunConjecturing
- ListDataListener, ListSelectionListener, GraphListModelListener, InvariantListModelListener, WorksheetModelListener
public class RunConjecturing
extends AbstractAction
GUI command which runs an engine on the invariant table of a given window
and outputs the result to the given text area.
actionPerformed
public void actionPerformed(ActionEvent e)
contentsChanged
public void contentsChanged(ListDataEvent e)
intervalAdded
public void intervalAdded(ListDataEvent e)
intervalRemoved
public void intervalRemoved(ListDataEvent e)
valueChanged
public void valueChanged(ListSelectionEvent e)