choco.kernel.solver.propagation.event
Class TaskVarEvent<C extends AbstractSConstraint & TaskPropagator>
java.lang.Object
choco.kernel.solver.propagation.event.VarEvent<TaskVar>
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.
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 |
HYPDOMMOD
public static final int HYPDOMMOD
- See Also:
- Constant Field Values
HYPDOMMODbitvector
public static final int HYPDOMMODbitvector
- See Also:
- Constant Field Values
TaskVarEvent
public TaskVarEvent(TaskVar var)
- Constructs a variable event for the specified variable and with the given
basic events.
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.