choco.kernel.solver.propagation.event
Class TaskVarEvent<C extends AbstractSConstraint & TaskPropagator>

java.lang.Object
  extended by choco.kernel.solver.propagation.event.VarEvent<TaskVar>
      extended by choco.kernel.solver.propagation.event.TaskVarEvent<C>
All Implemented Interfaces:
IPrioritizable, PropagationEvent

public class TaskVarEvent<C extends AbstractSConstraint & TaskPropagator>
extends VarEvent<TaskVar>

User : cprudhom Mail : cprudhom(a)emn.fr Date : 18 f�vr. 2010 Since : Choco 2.1.1 Use carefully. !! This is required ONLY for transverse constraints!! Normal behaviour of task var modification should be based on IntVarEvent.


Field Summary
static int HYPDOMMOD
           
static int HYPDOMMODbitvector
           
 
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
TaskVarEvent(TaskVar var)
          Constructs a variable event for the specified variable and with the given basic events.
 
Method Summary
 void clear()
          Clears the var: delegates to the basic events.
 boolean propagateEvent()
          Propagates the event through calls to the propagation engine.
 void propagateHypDomModEvent(C evtCause)
          Propagates the instantiation event
 
Methods inherited from class choco.kernel.solver.propagation.event.VarEvent
addPropagatedEvents, domOverWDegIdx, domOverWDegInitialIdx, freeze, getCause, getEventType, getModifiedObject, getModifiedVar, getPriority, getPropagatedEvents, isActive, isEnqueued, recordEventTypeAndCause, release
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

HYPDOMMOD

public static final int HYPDOMMOD
See Also:
Constant Field Values

HYPDOMMODbitvector

public static final int HYPDOMMODbitvector
See Also:
Constant Field Values
Constructor Detail

TaskVarEvent

public TaskVarEvent(TaskVar var)
Constructs a variable event for the specified variable and with the given basic events.

Method Detail

clear

public void clear()
Clears the var: delegates to the basic events.

Specified by:
clear in interface PropagationEvent
Specified by:
clear in class VarEvent<TaskVar>

propagateEvent

public boolean propagateEvent()
                       throws ContradictionException
Propagates the event through calls to the propagation engine.

Specified by:
propagateEvent in interface PropagationEvent
Specified by:
propagateEvent in class VarEvent<TaskVar>
Returns:
true if the event has been fully propagated (and can thus be discarded), false otherwise
Throws:
ContradictionException

propagateHypDomModEvent

public void propagateHypDomModEvent(C evtCause)
                             throws ContradictionException
Propagates the instantiation event

Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.