org.kahina.logic.sat.freemuc

Class FreeMUCState

java.lang.Object

org.kahina.core.KahinaState

org.kahina.logic.sat.freemuc.FreeMUCState

All Implemented Interfaces:

java.io.Serializable, KahinaListener

public class FreeMUCState
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, kahina, matchCountByBreakpoint, warnThresholdByBreakpoint

Constructor Summary

Constructors

Constructor and Description
FreeMUCState(KahinaInstance<?,?,?,?> kahina)
FreeMUCState(KahinaInstance<?,?,?,?> kahina, BooleanFormula formula)

Method Summary

Methods

Modifier and Type	Method and Description
BooleanFormula	getFormula()
void	initialize()
void	reset()
void	setFormula(BooleanFormula formula)

Methods inherited from class org.kahina.core.KahinaState

consoleMessage, get, getConsoleMessages, getLineReferencesForStep, getMatchCountByBreakpoint, getSelectedStepID, getStepCount, getSteps, getWarnThresholdByBreakpoint, loadSteps, nextStepID, processEvent, processSelection, retrieve, 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

FreeMUCState

public FreeMUCState(KahinaInstance<?,?,?,?> kahina)

FreeMUCState

public FreeMUCState(KahinaInstance<?,?,?,?> kahina,
            BooleanFormula formula)

Method Detail

initialize

public void initialize()

Overrides:

initialize in class KahinaState

reset

public void reset()

getFormula

public BooleanFormula getFormula()

setFormula

public void setFormula(BooleanFormula formula)