org.kahina.logic.sat.muc.gui

Class MUCGUI

java.lang.Object

org.kahina.core.gui.KahinaGUI

org.kahina.logic.sat.muc.gui.MUCGUI

All Implemented Interfaces:

KahinaListener

public class MUCGUI
extends KahinaGUI

Field Summary

Fields

Modifier and Type	Field and Description
protected PartitionBlockView	blockListView
protected RecursiveBlockView	blockTreeView
protected ColoredPathDAGView	decisionGraphView
protected KahinaSatInstanceListView	metaInstanceView
protected MUCStepView	mucView
protected UCReducerListView	reducerListView
protected KahinaSatInstanceListView	satInstanceView

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

satInstanceView

protected KahinaSatInstanceListView satInstanceView

metaInstanceView

protected KahinaSatInstanceListView metaInstanceView

decisionGraphView

protected ColoredPathDAGView decisionGraphView

blockListView

protected PartitionBlockView blockListView

blockTreeView

protected RecursiveBlockView blockTreeView

mucView

protected MUCStepView mucView

reducerListView

protected UCReducerListView 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)