org.kahina.logic.sat.insertionmus

Class MUCInstance

java.lang.Object

org.kahina.core.KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

org.kahina.logic.sat.insertionmus.MUCInstance

All Implemented Interfaces:

KahinaListener

public class MUCInstance
extends KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	CFG_FILTER

Fields inherited from class org.kahina.core.KahinaInstance

bridge, defaultPerspectives, defaultProjects, gui, instanceControl, logger, project, recentPerspectives, recentProjects, sessionControl, state, steps, VERBOSE

Constructor Summary

Constructors

Constructor and Description
MUCInstance()

Method Summary

Methods

Modifier and Type	Method and Description
protected KahinaBridge	createBridge()
protected MUCGUI	createGUI()
protected KahinaProject	createNewProject()
protected MUCState	createState()
protected void	createTreeBehavior()
java.lang.String	getApplicationName()
CnfSatInstance	getSatInstance()
KahinaProject	loadProject(java.io.InputStream stream)
void	loadSATFile(java.io.File satFile)
static void	main(java.lang.String[] args)
protected void	preparePerspectiveLists()
protected void	prepareProjectLists()
void	processEvent(KahinaEvent e)
protected void	processNewProject()
void	start(java.lang.String[] args) Writing a main method for a Kahina-based debugging environment is simple: just create an instance of your KahinaInstance subclass and pass its start method the arguments.
void	startNewSessionWithoutBridge()

Methods inherited from class org.kahina.core.KahinaInstance

deregisterInstanceListener, deregisterSessionListener, dispatchEvent, dispatchInstanceEvent, dispatchSessionEvent, fillViewRegistry, getBridge, getGUI, getLogger, getProject, getProjectStatus, getState, initializeNewSession, loadPerspective, loadProject, newProject, processProjectEvent, registerInstanceListener, registerRecentPerspective, registerRecentProject, registerSessionListener, saveProjectAs, setProjectStatus, startNewSession

Methods inherited from class java.lang.Object

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

Field Detail

CFG_FILTER

public static final boolean CFG_FILTER

See Also:

Constant Field Values

Constructor Detail

MUCInstance

public MUCInstance()

Method Detail

startNewSessionWithoutBridge

public void startNewSessionWithoutBridge()

Overrides:

startNewSessionWithoutBridge in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

createState

protected MUCState createState()

Specified by:

createState in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

createBridge

protected KahinaBridge createBridge()

Specified by:

createBridge in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

createGUI

protected MUCGUI createGUI()

Specified by:

createGUI in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

getApplicationName

public java.lang.String getApplicationName()

Overrides:

getApplicationName in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

processNewProject

protected void processNewProject()

Overrides:

processNewProject in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

loadProject

public KahinaProject loadProject(java.io.InputStream stream)

createTreeBehavior

protected void createTreeBehavior()

Specified by:

createTreeBehavior in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

getSatInstance

public CnfSatInstance getSatInstance()

loadSATFile

public void loadSATFile(java.io.File satFile)

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

start

public void start(java.lang.String[] args)

Writing a main method for a Kahina-based debugging environment is simple: just create an instance of your KahinaInstance subclass and pass its start method the arguments.

Overrides:

start in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

Parameters:

args -

main

public static void main(java.lang.String[] args)

createNewProject

protected KahinaProject createNewProject()

Specified by:

createNewProject in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

prepareProjectLists

protected void prepareProjectLists()

Specified by:

prepareProjectLists in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>

preparePerspectiveLists

protected void preparePerspectiveLists()

Specified by:

preparePerspectiveLists in class KahinaInstance<MUCState,MUCGUI,KahinaBridge,KahinaProject>