|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.propagation.event.VarEvent<SetVarImpl>
choco.cp.solver.variables.set.SetVarEvent<C>
public class SetVarEvent<C extends AbstractSConstraint & SetPropagator>
Field Summary | |
---|---|
static int |
ADDKER
|
static int |
ADDKER_MASK
|
static int |
ENVEVENT
Deprecated. |
static int |
INSTSET
|
static int |
INSTSET_MASK
|
static int |
INSTSETEVENT
Deprecated. |
static int |
KEREVENT
Deprecated. |
static int |
REMENV
Constants for the eventType bitvector: index of bit for events on SetVars |
static int |
REMENV_MASK
|
Fields inherited from class choco.kernel.solver.propagation.event.VarEvent |
---|
cause, DOWDCAUSE, EMPTYEVENT, eventType, modifiedVar, NOCAUSE, NOEVENT, propagatedEvents |
Fields inherited from interface choco.kernel.solver.propagation.event.PropagationEvent |
---|
LOGGER |
Constructor Summary | |
---|---|
SetVarEvent(SetVarImpl var)
|
Method Summary | |
---|---|
void |
clear()
Clears the var: delegates to the basic events. |
protected void |
freeze()
freezes the state of the "delta domain": the set of values that are considered for removal from the domain. |
boolean |
getReleased()
|
void |
propagateEnveloppeEvents(C evtCause)
Propagates a set of value removals |
boolean |
propagateEvent()
Propagates the event through calls to the propagation engine. |
void |
propagateInstEvent(C evtCause)
Propagates the instantiation event |
void |
propagateKernelEvents(C evtCause)
Propagates a set of value removals |
void |
recordEventTypeAndCause(int basicEvt,
SConstraint constraint,
boolean forceAwake)
|
protected boolean |
release()
|
String |
toString()
useful for debugging |
Methods inherited from class choco.kernel.solver.propagation.event.VarEvent |
---|
addPropagatedEvents, domOverWDegIdx, domOverWDegInitialIdx, getCause, getEventType, getModifiedObject, getModifiedVar, getPriority, getPropagatedEvents, isActive, isEnqueued |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final int REMENV
public static final int ADDKER
public static final int INSTSET
public static final int REMENV_MASK
@Deprecated public static final int ENVEVENT
public static final int ADDKER_MASK
@Deprecated public static final int KEREVENT
public static final int INSTSET_MASK
@Deprecated public static final int INSTSETEVENT
Constructor Detail |
---|
public SetVarEvent(SetVarImpl var)
Method Detail |
---|
public String toString()
toString
in class Object
public void clear()
clear
in interface PropagationEvent
clear
in class VarEvent<SetVarImpl>
protected void freeze()
VarEvent
freeze
in class VarEvent<SetVarImpl>
protected boolean release()
release
in class VarEvent<SetVarImpl>
public boolean getReleased()
public boolean propagateEvent() throws ContradictionException
propagateEvent
in interface PropagationEvent
propagateEvent
in class VarEvent<SetVarImpl>
ContradictionException
public void propagateInstEvent(C evtCause) throws ContradictionException
ContradictionException
public void propagateKernelEvents(C evtCause) throws ContradictionException
ContradictionException
public void propagateEnveloppeEvents(C evtCause) throws ContradictionException
ContradictionException
public void recordEventTypeAndCause(int basicEvt, SConstraint constraint, boolean forceAwake)
recordEventTypeAndCause
in class VarEvent<SetVarImpl>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |