org.kahina.logic.sat.insertionmus.gui

Class MUCGUI

java.lang.Object

org.kahina.core.gui.KahinaGUI

org.kahina.logic.sat.insertionmus.gui.MUCGUI

All Implemented Interfaces:

KahinaListener

public class MUCGUI
extends KahinaGUI

Field Summary

Fields

Modifier and Type	Field and Description
protected ColoredPathDAGView	decisionGraphView
protected MUCStepViewContaining	mucViewContaining
protected MUCStepViewRemaining	mucViewRemaining
protected UCReducerListViewPanel	reducerListView

Fields inherited from class org.kahina.core.gui.KahinaGUI

controlWindows, livingViews, messageConsoleView, varNameToView, views, windowManager

Constructor Summary

Constructors

Constructor and Description
MUCGUI(java.lang.Class<? extends KahinaStep> stepType, MUCInstance kahina)

Method Summary

Methods

Modifier and Type	Method and Description
protected KahinaWindowManager	createWindowManager()
void	displayMainViews()
void	displayStepContent(int stepID)
KahinaPerspective	generateInitialPerspective()
void	initialize()
void	processEvent(ClauseSelectionEvent e)
void	processEvent(KahinaEvent e)

Methods inherited from class org.kahina.core.gui.KahinaGUI

addControlButton, createProgressMonitorWrapper, fillFieldToView, getKahinaInstance, getMainWindow, getNewGrammarString, getPerspective, getViewByID, getWindowManager, integrateWindows, prepare, processDialogEvent, setPerspective, show, showConfirmDialog, showMessageDialog

Methods inherited from class java.lang.Object

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

Field Detail

decisionGraphView

protected ColoredPathDAGView decisionGraphView

mucViewRemaining

protected MUCStepViewRemaining mucViewRemaining

mucViewContaining

protected MUCStepViewContaining mucViewContaining

reducerListView

protected UCReducerListViewPanel reducerListView

Constructor Detail

MUCGUI

public MUCGUI(java.lang.Class<? extends KahinaStep> stepType,
      MUCInstance kahina)

Method Detail

initialize

public void initialize()

Overrides:

initialize in class KahinaGUI

displayMainViews

public void displayMainViews()

Overrides:

displayMainViews in class KahinaGUI

createWindowManager

protected KahinaWindowManager createWindowManager()

Overrides:

createWindowManager in class KahinaGUI

generateInitialPerspective

public KahinaPerspective generateInitialPerspective()

Overrides:

generateInitialPerspective in class KahinaGUI

displayStepContent

public void displayStepContent(int stepID)

Overrides:

displayStepContent in class KahinaGUI

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class KahinaGUI

processEvent

public void processEvent(ClauseSelectionEvent e)