org.kahina.logic.sat.muc.bridge

Class MUCBridge

java.lang.Object

org.kahina.core.bridge.KahinaBridge

org.kahina.logic.sat.muc.bridge.MUCBridge

All Implemented Interfaces:

KahinaListener

public class MUCBridge
extends KahinaBridge

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	batchMode
protected MUCInstruction	lastInstruction
protected int	selectedCandidate
int	selectedID

Fields inherited from class org.kahina.core.bridge.KahinaBridge

kahina

Constructor Summary

Constructors

Constructor and Description
MUCBridge(MUCInstance kahina)

Method Summary

Methods

Modifier and Type	Method and Description
MUCInstruction	getNextInstruction() Returns a step instruction determined by the user of the MUCGUI.
boolean	isInBatchMode()
protected void	processControlEvent(KahinaControlEvent e)
void	processEvent(KahinaEvent e)
protected void	processSelectionEvent(KahinaSelectionEvent e)
void	purgeSATNodes()
int	registerMUC(java.lang.Integer[] mucCandidates, java.lang.Integer[] muc)
void	registerSatisfiable()

Methods inherited from class org.kahina.core.bridge.KahinaBridge

deregister, generateStep, processSystemEvent, processWarnEvent

Methods inherited from class java.lang.Object

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

Field Detail

selectedID

public int selectedID

lastInstruction

protected MUCInstruction lastInstruction

selectedCandidate

protected int selectedCandidate

batchMode

protected boolean batchMode

Constructor Detail

MUCBridge

public MUCBridge(MUCInstance kahina)

Method Detail

registerMUC

public int registerMUC(java.lang.Integer[] mucCandidates,
              java.lang.Integer[] muc)

registerSatisfiable

public void registerSatisfiable()

purgeSATNodes

public void purgeSATNodes()

getNextInstruction

public MUCInstruction getNextInstruction()

Returns a step instruction determined by the user of the MUCGUI. Is used by the MinUnsatCore algorithm to prompt the bridge for the next step.

Returns:

null, if no new instruction, the next MUCInstruction otherwise

processEvent

public void processEvent(KahinaEvent e)

Specified by:

processEvent in interface KahinaListener

Overrides:

processEvent in class KahinaBridge

processSelectionEvent

protected void processSelectionEvent(KahinaSelectionEvent e)

Overrides:

processSelectionEvent in class KahinaBridge

processControlEvent

protected void processControlEvent(KahinaControlEvent e)

Overrides:

processControlEvent in class KahinaBridge

isInBatchMode

public boolean isInBatchMode()