org.kahina.logic.sat.muc.visual

Class UCReducerListView

java.lang.Object

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

org.kahina.logic.sat.muc.visual.UCReducerListView

All Implemented Interfaces:

KahinaListener

public class UCReducerListView
extends KahinaView<UCReducerList>

Field Summary

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

config, model, needsRedraw

Constructor Summary

Constructors

Constructor and Description
UCReducerListView(MUCInstance kahina, MiniSATFiles files)

Method Summary

Methods

Modifier and Type	Method and Description
void	addHeuristic(java.lang.Class<? extends ReductionHeuristic> heuristic)
javax.swing.JComponent	makePanel() Returns the panel that represents this view in the GUI.

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

display, doDisplay, getConfig, getModel, getTitle, isVisible, makeEditorPanel, needsRedraw, processEvent, processEvent, recalculate, requireRedraw, setConfig, setTitle, setVisible

Methods inherited from class java.lang.Object

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

Constructor Detail

UCReducerListView

public UCReducerListView(MUCInstance kahina,
                 MiniSATFiles files)

Method Detail

addHeuristic

public void addHeuristic(java.lang.Class<? extends ReductionHeuristic> heuristic)

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.

Specified by:

makePanel in class KahinaView<UCReducerList>

Returns: