org.grinvin.list.commands
Class RunConjecturing
ActionCommand
org.grinvin.list.commands.RunConjecturing
- ConjecturingWindowListener, ListDataListener, ListSelectionListener, InvariantListModelListener
public class RunConjecturing
extends ActionCommand
GUI command which runs the QD-engine on the invariant table of a given window
and outputs the result to the given text area.
RunConjecturing
public RunConjecturing(CommandManager manager,
String id)
contentsChanged
public void contentsChanged(ListDataEvent e)
handleExecute
public void handleExecute()
intervalAdded
public void intervalAdded(ListDataEvent e)
intervalRemoved
public void intervalRemoved(ListDataEvent e)
valueChanged
public void valueChanged(ListSelectionEvent e)