org.kahina.logic.sat.muc.bridge

Class MUCInstruction

java.lang.Object

org.kahina.logic.sat.muc.bridge.MUCInstruction

public class MUCInstruction
extends java.lang.Object

Contains everything the MinUnsatCore algorithm needs to re-establish a certain state, and which muc_candidate is selected

Author:

dellert

Field Summary

Fields

Modifier and Type	Field and Description
int	selCandidate
MUCStep	step

Constructor Summary

Constructors

Constructor and Description
MUCInstruction()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

step

public MUCStep step

selCandidate

public int selCandidate

Constructor Detail

MUCInstruction

public MUCInstruction()