choco.kernel.solver.propagation.event
Interface PropagationEvent

All Superinterfaces:
IPrioritizable
All Known Implementing Classes:
BoolVarEvent, ConstraintEvent, IntCsteEvent, IntVarEvent, RealVarEvent, SetVarEvent, TaskVarEvent, VarEvent

public interface PropagationEvent
extends IPrioritizable

An interface for all implementations of events.


Field Summary
static Logger LOGGER
           
 
Method Summary
 void clear()
          Clears the var if it not useful anymore.
 Object getModifiedObject()
          Returns the object, whose modification is described by the event
 boolean isActive(int idx)
          Tests whether a propagation var is active in the propagation network.
 boolean propagateEvent()
          Propagates the var through calls to the propagation engine.
 
Methods inherited from interface choco.kernel.common.util.objects.IPrioritizable
getPriority
 

Field Detail

LOGGER

static final Logger LOGGER
Method Detail

getModifiedObject

Object getModifiedObject()
Returns the object, whose modification is described by the event


propagateEvent

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

Returns:
true if the event has been fully propagated (and can thus be discarded), false otherwise
Throws:
ContradictionException

isActive

boolean isActive(int idx)
Tests whether a propagation var is active in the propagation network.


clear

void clear()
Clears the var if it not useful anymore.



Copyright © 2012. All Rights Reserved.