org.grinvin.conjecture.engine

Class MainInvariantConfigurationPanel

Implemented Interfaces:
ListDataListener

public class MainInvariantConfigurationPanel
extends JPanel
implements ListDataListener

A standard configuration panel for an InequalityEngine that allows the selection of a main invariant.

Constructor Summary

MainInvariantConfigurationPanel(InequalityEngine engine, ConjecturingComboBoxModel comboBoxModel)
Creates a new instance of MainInvariantConfigurationPanel

Method Summary

void
contentsChanged(ListDataEvent e)
void
intervalAdded(ListDataEvent e)
void
intervalRemoved(ListDataEvent e)
void
setEnabled(boolean enabled)

Constructor Details

MainInvariantConfigurationPanel

public MainInvariantConfigurationPanel(InequalityEngine engine,
                                       ConjecturingComboBoxModel comboBoxModel)
Creates a new instance of MainInvariantConfigurationPanel

Method Details

contentsChanged

public void contentsChanged(ListDataEvent e)

intervalAdded

public void intervalAdded(ListDataEvent e)

intervalRemoved

public void intervalRemoved(ListDataEvent e)

setEnabled

public void setEnabled(boolean enabled)