|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.propagation.event.VarEvent<IntDomainVarImpl>
choco.cp.solver.variables.integer.IntVarEvent<C>
choco.cp.solver.variables.integer.BoolVarEvent<C>
public class BoolVarEvent<C extends AbstractSConstraint & IntPropagator>
An event dedicated to boolean variables
Field Summary |
---|
Fields inherited from class choco.cp.solver.variables.integer.IntVarEvent |
---|
BOUNDS_MASK, BOUNDSbitvector, DECSUP, DECSUP_MASK, DECSUPbitvector, EVENTS, INCINF, INCINF_MASK, INCINFbitvector, INSTINT, INSTINT_MASK, INSTINTbitvector, NO_MASK, propagations, REMVAL, REMVAL_MASK, REMVALbitvector |
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 | |
---|---|
BoolVarEvent(IntDomainVarImpl var)
|
Method Summary | |
---|---|
protected void |
freeze()
freezes the state of the "delta domain": the set of values that are considered for removal from the domain. |
protected boolean |
release()
the event had been "frozen", (since the call to freeze), while it was handled by the propagation engine: This meant that the meaning of the event could not be changed: it represented a static set of value removals, during propagation. |
Methods inherited from class choco.cp.solver.variables.integer.IntVarEvent |
---|
clear, getReleased, propagateEvent, propagateInfEvent, propagateInstEvent, propagateRemovalsEvent, propagateSupEvent, recordEventTypeAndCause, toString |
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 |
Constructor Detail |
---|
public BoolVarEvent(IntDomainVarImpl var)
Method Detail |
---|
protected void freeze()
VarEvent
freeze
in class IntVarEvent<C extends AbstractSConstraint & IntPropagator>
protected boolean release()
release
in class IntVarEvent<C extends AbstractSConstraint & IntPropagator>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |