org.kahina.logic.sat.muc

Class MUCInstance

java.lang.Object

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

org.kahina.logic.sat.muc.MUCInstance

All Implemented Interfaces:

KahinaListener

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

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	CFG_FILTER
javax.swing.Action	LOAD_FILE_ACTION
javax.swing.Action	LOAD_PATH_ACTION
javax.swing.Action	QUIT_ACTION
javax.swing.Action	US_DIMACS_EXPORT_ACTION
javax.swing.Action	US_EXPORT_VAR_OCCURRENCES
javax.swing.Action	US_SYMBOLIC_DIMACS_EXPORT_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
MUCInstance(MetaLearningMode metaLearningMode)
MUCInstance(MetaLearningMode metaLearningMode, CnfSatInstance satInstance, MUCStatistics stat, MiniSATFiles files)

Method Summary

Methods

Modifier and Type	Method and Description
void	addFirstUC()
protected MUCBridge	createBridge()
protected MUCGUI	createGUI()
protected KahinaProject	createNewProject()
protected MUCState	createState()
protected void	createTreeBehavior()
void	discardCurrentState()
void	generateFirstUC()
java.lang.String	getApplicationName()
MetaLearningMode	getMetaLearningMode()
java.util.List<java.lang.Class<? extends ReductionHeuristic>>	getReductionHeuristics()
MUCReductionManager	getReductionManager()
CnfSatInstance	getSatInstance()
protected void	loadDefaultHeuristics()
protected void	loadHeuristicsFile(java.lang.String fileName)
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.
MUCBridge	startNewSession()
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

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

LOAD_FILE_ACTION

public final javax.swing.Action LOAD_FILE_ACTION

LOAD_PATH_ACTION

public final javax.swing.Action LOAD_PATH_ACTION

US_DIMACS_EXPORT_ACTION

public final javax.swing.Action US_DIMACS_EXPORT_ACTION

US_SYMBOLIC_DIMACS_EXPORT_ACTION

public final javax.swing.Action US_SYMBOLIC_DIMACS_EXPORT_ACTION

US_EXPORT_VAR_OCCURRENCES

public final javax.swing.Action US_EXPORT_VAR_OCCURRENCES

QUIT_ACTION

public final javax.swing.Action QUIT_ACTION

Constructor Detail

MUCInstance

public MUCInstance(MetaLearningMode metaLearningMode)

MUCInstance

public MUCInstance(MetaLearningMode metaLearningMode,
           CnfSatInstance satInstance,
           MUCStatistics stat,
           MiniSATFiles files)

Method Detail

startNewSessionWithoutBridge

public void startNewSessionWithoutBridge()

Overrides:

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

startNewSession

public MUCBridge startNewSession()

Overrides:

startNewSession in class KahinaInstance<MUCState,MUCGUI,MUCBridge,KahinaProject>

createState

protected MUCState createState()

Specified by:

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

createBridge

protected MUCBridge createBridge()

Specified by:

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

createGUI

protected MUCGUI createGUI()

Specified by:

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

getApplicationName

public java.lang.String getApplicationName()

Overrides:

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

processNewProject

protected void processNewProject()

Overrides:

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

loadProject

public KahinaProject loadProject(java.io.InputStream stream)

createTreeBehavior

protected void createTreeBehavior()

Specified by:

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

getSatInstance

public CnfSatInstance getSatInstance()

discardCurrentState

public void discardCurrentState()

loadSATFile

public void loadSATFile(java.io.File satFile)

addFirstUC

public void addFirstUC()

generateFirstUC

public void generateFirstUC()

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class KahinaInstance<MUCState,MUCGUI,MUCBridge,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,MUCBridge,KahinaProject>

Parameters:

args -

main

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

createNewProject

protected KahinaProject createNewProject()

Specified by:

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

prepareProjectLists

protected void prepareProjectLists()

Specified by:

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

preparePerspectiveLists

protected void preparePerspectiveLists()

Specified by:

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

loadHeuristicsFile

protected void loadHeuristicsFile(java.lang.String fileName)

loadDefaultHeuristics

protected void loadDefaultHeuristics()

getMetaLearningMode

public MetaLearningMode getMetaLearningMode()

getReductionManager

public MUCReductionManager getReductionManager()

getReductionHeuristics

public java.util.List<java.lang.Class<? extends ReductionHeuristic>> getReductionHeuristics()