org.kahina.logic.sat.insertionmus.visual

Class MUCStepViewContaining

java.lang.Object

org.kahina.core.visual.KahinaView<CnfSatInstance>

org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

org.kahina.logic.sat.insertionmus.visual.MUCStepViewContaining

All Implemented Interfaces:

KahinaListener

public class MUCStepViewContaining
extends KahinaSatInstanceListView

Field Summary

Fields inherited from class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

listModel

Fields inherited from class org.kahina.core.visual.KahinaView

config, model, needsRedraw

Constructor Summary

Constructors

Constructor and Description
MUCStepViewContaining(MUCInstance kahina)

Method Summary

Methods

Modifier and Type	Method and Description
javax.swing.JComponent	makePanel() Returns the panel that represents this view in the GUI.
void	processEvent(KahinaEvent e)
void	processEvent(KahinaSelectionEvent e)
void	recalculate() Override this method to define necessary operations after changes to the model (coordinate recomputations etc.)

Methods inherited from class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

displayText, doDisplay, getLineColor, getLineStatus, getListModel, needsRedraw, requireRedraw, setStatusColorEncoding

Methods inherited from class org.kahina.core.visual.KahinaView

display, getConfig, getModel, getTitle, isVisible, makeEditorPanel, processEvent, setConfig, setTitle, setVisible

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MUCStepViewContaining

public MUCStepViewContaining(MUCInstance kahina)

Method Detail

makePanel

public javax.swing.JComponent makePanel()

Description copied from class: KahinaView

Returns the panel that represents this view in the GUI. This method must be invoked from the event dispatch thread.

Overrides:

makePanel in class KahinaSatInstanceListView

Returns:

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class KahinaView<CnfSatInstance>

processEvent

public void processEvent(KahinaSelectionEvent e)

recalculate

public void recalculate()

Description copied from class: KahinaView

Override this method to define necessary operations after changes to the model (coordinate recomputations etc.)

Overrides:

recalculate in class KahinaSatInstanceListView