org.grinvin.list.actions

Class RunConjecturing

Implemented Interfaces:
ListDataListener, ListSelectionListener, GraphListModelListener, InvariantListModelListener, WorksheetModelListener

public class RunConjecturing
extends AbstractAction
implements WorksheetModelListener

GUI command which runs an engine on the invariant table of a given window and outputs the result to the given text area.

Constructor Summary

RunConjecturing(WorksheetWindow window)

Method Summary

void
actionPerformed(ActionEvent e)
void
contentsChanged(ListDataEvent e)
void
engineChanged()
void
engineConfigurationChanged()
void
filterChanged()
void
intervalAdded(ListDataEvent e)
void
intervalRemoved(ListDataEvent e)
void
valueChanged(ListSelectionEvent e)
void
worksheetModelNameChanged()

Constructor Details

RunConjecturing

public RunConjecturing(WorksheetWindow window)

Method Details

actionPerformed

public void actionPerformed(ActionEvent e)

contentsChanged

public void contentsChanged(ListDataEvent e)

engineChanged

public void engineChanged()
Specified by:
engineChanged in interface WorksheetModelListener

engineConfigurationChanged

public void engineConfigurationChanged()
Specified by:
engineConfigurationChanged in interface WorksheetModelListener

filterChanged

public void filterChanged()
Specified by:
filterChanged in interface WorksheetModelListener

intervalAdded

public void intervalAdded(ListDataEvent e)

intervalRemoved

public void intervalRemoved(ListDataEvent e)

valueChanged

public void valueChanged(ListSelectionEvent e)

worksheetModelNameChanged

public void worksheetModelNameChanged()
Specified by:
worksheetModelNameChanged in interface WorksheetModelListener