choco.prop
Class AbstractPropagationEngine

java.lang.Object
  choco.AbstractEntity
      choco.prop.AbstractPropagationEngine

All Implemented Interfaces:

Entity, PropagationEngine

Direct Known Subclasses:

ChocEngine

public abstract class AbstractPropagationEngine
extends AbstractEntity
implements PropagationEngine

An abstract class for all implementations of propagation engines.

Field Summary

protected Entity	contradictionCause Storing the cause of the last contradiction.
protected static java.util.logging.Logger	logger Reference to an object for logging trace statements related to propagation events (using the java.util.logging package)

Fields inherited from class choco.AbstractEntity

hook, problem

Constructor Summary

AbstractPropagationEngine(AbstractProblem problem)

Method Summary

Entity	getContradictionCause() Retrieving the cause of the last contradiction.
EventQueue	getNextActiveEventQueue() Gets the next queue from which a var will be propagated.
void	setContradictionCause(Entity cause) Store the cause of the last contradiction.
void	setNoContradictionCause() Erase the cause of the last contradiction.

Methods inherited from class choco.AbstractEntity

getProblem, pretty

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface choco.prop.PropagationEngine

checkCleanState, flushEvents, getVarEventQueue, postAddKer, postConstAwake, postInstInt, postInstSet, postRemEnv, postRemoveVal, postUpdateInf, postUpdateInf, postUpdateSup, postUpdateSup, raiseContradiction, raiseContradiction, registerEvent

Methods inherited from interface choco.Entity

getProblem, pretty

Field Detail

contradictionCause

protected Entity contradictionCause

Storing the cause of the last contradiction.

logger

protected static java.util.logging.Logger logger

Reference to an object for logging trace statements related to propagation events (using the java.util.logging package)

Constructor Detail

AbstractPropagationEngine

public AbstractPropagationEngine(AbstractProblem problem)

Method Detail

setNoContradictionCause

public void setNoContradictionCause()

Erase the cause of the last contradiction.

Specified by:

setNoContradictionCause in interface PropagationEngine

setContradictionCause

public void setContradictionCause(Entity cause)

Store the cause of the last contradiction.

Specified by:

setContradictionCause in interface PropagationEngine

getContradictionCause

public Entity getContradictionCause()

Retrieving the cause of the last contradiction.

Specified by:

getContradictionCause in interface PropagationEngine

getNextActiveEventQueue

public EventQueue getNextActiveEventQueue()

Gets the next queue from which a var will be propagated.

Specified by:

getNextActiveEventQueue in interface PropagationEngine