org.grinvin.conjecture.engine
Class MainInvariantConfigurationPanel
JPanel
org.grinvin.conjecture.engine.MainInvariantConfigurationPanel
- ListDataListener
public class MainInvariantConfigurationPanel
extends JPanel
implements ListDataListener
A standard configuration panel for an
InequalityEngine
that allows the selection of a main invariant.
contentsChanged
public void contentsChanged(ListDataEvent e)
intervalAdded
public void intervalAdded(ListDataEvent e)
intervalRemoved
public void intervalRemoved(ListDataEvent e)
setEnabled
public void setEnabled(boolean enabled)