org.kahina.logic.sat.freemuc.gui

Class FreeMUCGUI

java.lang.Object

org.kahina.core.gui.KahinaGUI

org.kahina.logic.sat.freemuc.gui.FreeMUCGUI

All Implemented Interfaces:

KahinaListener

public class FreeMUCGUI
extends KahinaGUI

Field Summary

Fields

Modifier and Type	Field and Description
protected ColoredPathDAGView	decisionGraphView
protected FormulaTreeView	formulaView

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

controlWindows, livingViews, messageConsoleView, varNameToView, views, windowManager

Constructor Summary

Constructors

Constructor and Description
FreeMUCGUI(java.lang.Class<? extends KahinaStep> stepType, FreeMUCInstance kahina, KahinaController control)

Method Summary

Methods

Modifier and Type	Method and Description
protected KahinaWindowManager	createWindowManager()
void	displayMainViews()
void	displayStepContent(int stepID)
void	initialize()

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

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

Methods inherited from class java.lang.Object

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

Field Detail

formulaView

protected FormulaTreeView formulaView

decisionGraphView

protected ColoredPathDAGView decisionGraphView

Constructor Detail

FreeMUCGUI

public FreeMUCGUI(java.lang.Class<? extends KahinaStep> stepType,
          FreeMUCInstance kahina,
          KahinaController control)

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

displayStepContent

public void displayStepContent(int stepID)

Overrides:

displayStepContent in class KahinaGUI