org.kahina.logic.sat.insertionmus

Class MUCState

java.lang.Object

org.kahina.core.KahinaState

org.kahina.logic.sat.insertionmus.MUCState

All Implemented Interfaces:

java.io.Serializable, KahinaListener

public class MUCState
extends KahinaState

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	VERBOSE

Fields inherited from class org.kahina.core.KahinaState

consoleLines, consoleMessages, matchCountByBreakpoint, warnThresholdByBreakpoint

Constructor Summary

Constructors

Constructor and Description
MUCState(MUCInstance kahina)
MUCState(MUCInstance kahina, CnfSatInstance satInstance)

Method Summary

Methods

Modifier and Type	Method and Description
AbstractAlgorithm	getAlgorithm()
ColoredPathDAG	getDecisionGraph()
MUCInstance	getKahina()
CnfSatInstance	getSatInstance()
MUCStep	getSelectedStep()
void	initialize()
void	newStep(MUCStep step, int parrentID)
void	reset()
<T extends KahinaObject> T	retrieve(java.lang.Class<T> type, int stepID)
void	setAlgorithm(AbstractAlgorithm alg)
void	setFiles(MiniSATFiles files2)
void	setHeuristic(ISortingHeuristic heuristic)
void	setSatInstance(CnfSatInstance satInstance)
boolean	stepExists(MUCStep step)

Methods inherited from class org.kahina.core.KahinaState

consoleMessage, get, getConsoleMessages, getLineReferencesForStep, getMatchCountByBreakpoint, getSelectedStepID, getStepCount, getSteps, getWarnThresholdByBreakpoint, loadSteps, nextStepID, processEvent, processSelection, store

Methods inherited from class java.lang.Object

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

Field Detail

VERBOSE

public static boolean VERBOSE

Constructor Detail

MUCState

public MUCState(MUCInstance kahina)

MUCState

public MUCState(MUCInstance kahina,
        CnfSatInstance satInstance)

Method Detail

initialize

public void initialize()

Overrides:

initialize in class KahinaState

reset

public void reset()

getKahina

public MUCInstance getKahina()

getSelectedStep

public MUCStep getSelectedStep()

retrieve

public <T extends KahinaObject> T retrieve(java.lang.Class<T> type,
                                  int stepID)

Overrides:

retrieve in class KahinaState

setSatInstance

public void setSatInstance(CnfSatInstance satInstance)

setFiles

public void setFiles(MiniSATFiles files2)

newStep

public void newStep(MUCStep step,
           int parrentID)

getSatInstance

public CnfSatInstance getSatInstance()

getDecisionGraph

public ColoredPathDAG getDecisionGraph()

stepExists

public boolean stepExists(MUCStep step)

setHeuristic

public void setHeuristic(ISortingHeuristic heuristic)

getAlgorithm

public AbstractAlgorithm getAlgorithm()

setAlgorithm

public void setAlgorithm(AbstractAlgorithm alg)