org.kahina.logic.sat.insertionmus.gui

Class MUCWindowManager

java.lang.Object

org.kahina.core.gui.KahinaWindowManager

org.kahina.logic.sat.insertionmus.gui.MUCWindowManager

All Implemented Interfaces:

KahinaListener

public class MUCWindowManager
extends KahinaWindowManager

Field Summary

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

mainWindow

Constructor Summary

Constructors

Constructor and Description
MUCWindowManager(MUCInstance kahina)

Method Summary

Methods

Modifier and Type	Method and Description
protected KahinaMainWindow	createMainWindow(KahinaWindowManager kahinaWindowManager, int winID)
protected KahinaMainWindow	createMainWindow(MUCWindowManager windowManager, MUCInstance kahina)

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

createMainWindow, createWindows, displayWindows, disposeAllWindows, getArrangement, getKahina, getPerspective, getWindowByID, integrateInDefaultWindow, integrateInHorizontallySplitWindow, integrateInVerticallySplitWindow, isTopLevelWindow, processEvent, registerWindow, setAndApplyPerspective, setPerspective

Methods inherited from class java.lang.Object

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

Constructor Detail

MUCWindowManager

public MUCWindowManager(MUCInstance kahina)

Method Detail

createMainWindow

protected KahinaMainWindow createMainWindow(MUCWindowManager windowManager,
                                MUCInstance kahina)

createMainWindow

protected KahinaMainWindow createMainWindow(KahinaWindowManager kahinaWindowManager,
                                int winID)

Overrides:

createMainWindow in class KahinaWindowManager