|
||||||||||
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>
public class IntVarEvent<C extends AbstractSConstraint & IntPropagator>
Field Summary | |
---|---|
static int |
BOUNDS_MASK
Constants for the eventType bitvector: value of bitvector for updates to both bound of IntVars |
static int |
BOUNDSbitvector
Deprecated. |
static int |
DECSUP
Constants for the eventType bitvector: index of bit for updates to upper bound of IntVars |
static int |
DECSUP_MASK
Constants for the eventType bitvector: value of bitvector for updates to upper bound of IntVars |
static int |
DECSUPbitvector
Deprecated. |
static int[] |
EVENTS
|
static int |
INCINF
Constants for the eventType bitvector: index of bit for updates to lower bound of IntVars |
static int |
INCINF_MASK
Constants for the eventType bitvector: value of bitvector for updates to lower bound of IntVars |
static int |
INCINFbitvector
Deprecated. |
static int |
INSTINT
Constants for the eventType bitvector: index of bit for instantiations of IntVars |
static int |
INSTINT_MASK
Constants for the eventType bitvector: value of bitvector for instantiations of IntVars |
static int |
INSTINTbitvector
Deprecated. |
static int |
NO_MASK
Constants for the eventType bitvector: value of bitvector no eventtype |
static long |
propagations
|
static int |
REMVAL
Constants for the eventType bitvector: index of bit for holes in the domain of IntVars |
static int |
REMVAL_MASK
Constants for the eventType bitvector: value of bitvector for holes in the domain of IntVars |
static int |
REMVALbitvector
Deprecated. |
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 | |
---|---|
IntVarEvent(IntDomainVarImpl 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()
|
boolean |
propagateEvent()
Propagates the event through calls to the propagation engine. |
void |
propagateInfEvent(C evtCause)
Propagates the update to the lower bound |
void |
propagateInstEvent(C evtCause)
Propagates the instantiation event |
void |
propagateRemovalsEvent(C evtCause)
Propagates a set of value removals |
void |
propagateSupEvent(C evtCause)
Propagates the update to the upper bound |
void |
recordEventTypeAndCause(int basicEvt,
SConstraint constraint,
boolean forceAwake)
|
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. |
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 INCINF
public static final int DECSUP
public static final int REMVAL
public static final int INSTINT
public static final int NO_MASK
public static final int INCINF_MASK
@Deprecated public static final int INCINFbitvector
public static final int DECSUP_MASK
@Deprecated public static final int DECSUPbitvector
public static final int BOUNDS_MASK
@Deprecated public static final int BOUNDSbitvector
public static final int REMVAL_MASK
@Deprecated public static final int REMVALbitvector
public static final int INSTINT_MASK
@Deprecated public static final int INSTINTbitvector
public static long propagations
public static final int[] EVENTS
Constructor Detail |
---|
public IntVarEvent(IntDomainVarImpl var)
Method Detail |
---|
public String toString()
toString
in class Object
public void clear()
clear
in interface PropagationEvent
clear
in class VarEvent<IntDomainVarImpl>
protected boolean release()
release
in class VarEvent<IntDomainVarImpl>
protected void freeze()
VarEvent
freeze
in class VarEvent<IntDomainVarImpl>
public boolean getReleased()
public boolean propagateEvent() throws ContradictionException
propagateEvent
in interface PropagationEvent
propagateEvent
in class VarEvent<IntDomainVarImpl>
ContradictionException
public void propagateInstEvent(C evtCause) throws ContradictionException
ContradictionException
public void propagateInfEvent(C evtCause) throws ContradictionException
ContradictionException
public void propagateSupEvent(C evtCause) throws ContradictionException
ContradictionException
public void propagateRemovalsEvent(C evtCause) throws ContradictionException
ContradictionException
public void recordEventTypeAndCause(int basicEvt, SConstraint constraint, boolean forceAwake)
recordEventTypeAndCause
in class VarEvent<IntDomainVarImpl>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |