java.lang.Object
choco.kernel.solver.propagation.event.VarEvent<RealVarImpl>
choco.cp.solver.variables.real.RealVarEvent<C>
- All Implemented Interfaces:
- IPrioritizable, PropagationEvent
public class RealVarEvent<C extends AbstractSConstraint & RealPropagator>
- extends VarEvent<RealVarImpl>
An event for real interval variable modifications.
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 |
propagateSupEvent(C evtCause)
Propagates the update to the upper bound |
protected boolean |
release()
|
String |
toString()
|
Methods inherited from class choco.kernel.solver.propagation.event.VarEvent |
addPropagatedEvents, domOverWDegIdx, domOverWDegInitialIdx, getCause, getEventType, getModifiedObject, getModifiedVar, getPriority, getPropagatedEvents, isActive, isEnqueued, recordEventTypeAndCause |
INCINF
public static final int INCINF
- See Also:
- Constant Field Values
DECSUP
public static final int DECSUP
- See Also:
- Constant Field Values
EMPTYEVENT
public static final int EMPTYEVENT
- See Also:
- Constant Field Values
INFEVENT
public static final int INFEVENT
- See Also:
- Constant Field Values
SUPEVENT
public static final int SUPEVENT
- See Also:
- Constant Field Values
BOUNDSEVENT
public static final int BOUNDSEVENT
- See Also:
- Constant Field Values
RealVarEvent
public RealVarEvent(RealVarImpl var)
toString
public String toString()
- Overrides:
toString
in class Object
clear
public void clear()
- Description copied from class:
VarEvent
- Clears the var: delegates to the basic events.
- Specified by:
clear
in interface PropagationEvent
- Specified by:
clear
in class VarEvent<RealVarImpl>
release
protected boolean release()
- Overrides:
release
in class VarEvent<RealVarImpl>
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 VarEvent<RealVarImpl>
getReleased
public boolean getReleased()
propagateEvent
public boolean propagateEvent()
throws ContradictionException
- Description copied from class:
VarEvent
- Propagates the event through calls to the propagation engine.
- Specified by:
propagateEvent
in interface PropagationEvent
- Specified by:
propagateEvent
in class VarEvent<RealVarImpl>
- Returns:
- true if the event has been fully propagated (and can thus be discarded), false otherwise
- Throws:
ContradictionException
propagateSupEvent
public void propagateSupEvent(C evtCause)
throws ContradictionException
- Propagates the update to the upper bound
- Throws:
ContradictionException
propagateInfEvent
public void propagateInfEvent(C evtCause)
throws ContradictionException
- Propagates the update to the lower bound
- Throws:
ContradictionException
Copyright © 2012. All Rights Reserved.