choco.cp.solver.variables.integer
Class BoolVarEvent<C extends AbstractSConstraint & IntPropagator>

java.lang.Object
  extended by choco.kernel.solver.propagation.event.VarEvent<IntDomainVarImpl>
      extended by choco.cp.solver.variables.integer.IntVarEvent<C>
          extended by choco.cp.solver.variables.integer.BoolVarEvent<C>
All Implemented Interfaces:
IPrioritizable, PropagationEvent

public class BoolVarEvent<C extends AbstractSConstraint & IntPropagator>
extends IntVarEvent<C>

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

BoolVarEvent

public BoolVarEvent(IntDomainVarImpl var)
Method Detail

freeze

protected void freeze()
Description copied from class: VarEvent
freezes the state of the "delta domain": the set of values that are considered for removal from the domain. Further removals will be treated as a further event.

Overrides:
freeze in class IntVarEvent<C extends AbstractSConstraint & IntPropagator>

release

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. Now, the event becomes "open" again: new value removals can be hosted, the delta domain can accept that further values are removed. In case value removals happened while the event was frozen, the release method returns false (the event cannot be released, it must be handled once more). Otherwise (the standard behavior), the method returns true

Overrides:
release in class IntVarEvent<C extends AbstractSConstraint & IntPropagator>


Copyright © 2012. All Rights Reserved.