org.kahina.logic.sat.freemuc

Class FreeMUCInstance

java.lang.Object

org.kahina.core.KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

org.kahina.logic.sat.freemuc.FreeMUCInstance

All Implemented Interfaces:

KahinaListener

public class FreeMUCInstance
extends KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

Field Summary

Fields

Modifier and Type	Field and Description
javax.swing.Action	LOAD_FILE_ACTION
javax.swing.Action	SAT_CHECK_ACTION

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
FreeMUCInstance()
FreeMUCInstance(BooleanFormula formula)

Method Summary

Methods

Modifier and Type	Method and Description
protected KahinaBridge	createBridge()
protected FreeMUCGUI	createGUI()
protected KahinaProject	createNewProject()
protected FreeMUCState	createState()
protected void	createTreeBehavior()
boolean	currentPruningSatisfiable()
void	discardCurrentState()
BooleanFormula	getFormula()
void	loadFormulaFile(java.io.File formulaFile)
KahinaProject	loadProject(java.io.InputStream stream)
static void	main(java.lang.String[] args)
protected void	preparePerspectiveLists()
protected void	prepareProjectLists()
void	processEvent(KahinaEvent e)
KahinaBridge	startNewSession()
void	startNewSessionWithoutBridge()

Methods inherited from class org.kahina.core.KahinaInstance

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

Methods inherited from class java.lang.Object

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

Field Detail

SAT_CHECK_ACTION

public final javax.swing.Action SAT_CHECK_ACTION

LOAD_FILE_ACTION

public final javax.swing.Action LOAD_FILE_ACTION

Constructor Detail

FreeMUCInstance

public FreeMUCInstance()

FreeMUCInstance

public FreeMUCInstance(BooleanFormula formula)

Method Detail

startNewSessionWithoutBridge

public void startNewSessionWithoutBridge()

Overrides:

startNewSessionWithoutBridge in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

startNewSession

public KahinaBridge startNewSession()

Overrides:

startNewSession in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

createState

protected FreeMUCState createState()

Specified by:

createState in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

createBridge

protected KahinaBridge createBridge()

Specified by:

createBridge in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

createGUI

protected FreeMUCGUI createGUI()

Specified by:

createGUI in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

getFormula

public BooleanFormula getFormula()

discardCurrentState

public void discardCurrentState()

loadFormulaFile

public void loadFormulaFile(java.io.File formulaFile)

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

currentPruningSatisfiable

public boolean currentPruningSatisfiable()

main

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

createTreeBehavior

protected void createTreeBehavior()

Specified by:

createTreeBehavior in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

createNewProject

protected KahinaProject createNewProject()

Specified by:

createNewProject in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

loadProject

public KahinaProject loadProject(java.io.InputStream stream)

prepareProjectLists

protected void prepareProjectLists()

Specified by:

prepareProjectLists in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>

preparePerspectiveLists

protected void preparePerspectiveLists()

Specified by:

preparePerspectiveLists in class KahinaInstance<FreeMUCState,FreeMUCGUI,KahinaBridge,KahinaProject>