choco.cp.solver.variables.real
Class RealVarEvent<C extends AbstractSConstraint & RealPropagator>

java.lang.Object
  extended by choco.kernel.solver.propagation.event.VarEvent<RealVarImpl>
      extended by 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.


Field Summary
static int BOUNDSEVENT
           
static int DECSUP
           
static int EMPTYEVENT
           
static int INCINF
           
static int INFEVENT
           
static int SUPEVENT
           
 
Fields inherited from class choco.kernel.solver.propagation.event.VarEvent
cause, DOWDCAUSE, eventType, modifiedVar, NOCAUSE, NOEVENT, propagatedEvents
 
Fields inherited from interface choco.kernel.solver.propagation.event.PropagationEvent
LOGGER
 
Constructor Summary
RealVarEvent(RealVarImpl 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 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
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

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
Constructor Detail

RealVarEvent

public RealVarEvent(RealVarImpl var)
Method Detail

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.