org.clafer.choco.constraint.propagator

Class PropUnreachable

java.lang.Object

solver.constraints.Propagator<solver.variables.IntVar>

org.clafer.choco.constraint.propagator.PropUnreachable

All Implemented Interfaces:

Serializable, Comparable<solver.constraints.Propagator>, solver.ICause, solver.Identity

public class PropUnreachable
extends solver.constraints.Propagator<solver.variables.IntVar>

Enforces no path from one node to another.

Author:

jimmy

See Also:

Serialized Form

Field Summary

Fields inherited from class solver.constraints.Propagator

aCause, ACTIVE, coarseERcalls, constraint, environment, eventmasks, fails, fineERcalls, LOGGER, NEW, PASSIVE, priority, reactToFineEvt, REIFIED, solver, vars

Constructor Summary

Constructors

Constructor and Description
PropUnreachable(solver.variables.IntVar[] edges, int from, int to) Enforce no path from one node to another.

Method Summary

Methods

Modifier and Type	Method and Description
protected int	getPropagationConditions(int vIdx)
util.ESat	isEntailed()
void	propagate(int evtmask)
void	propagate(int idxVarInProp, int mask)
String	toString()

Methods inherited from class solver.constraints.Propagator

addVariable, advise, arity, clearMask, compareTo, contradiction, decNbPendingEvt, defineIn, dynPriority, explain, flushPendingEvt, forcePropagate, getConstraint, getId, getMask, getNbPendingEvt, getNbVars, getPriority, getSolver, getVar, getVars, getVIndices, hashCode, incNbPendingEvt, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, setActive, setPassive, setReifiedSilent, setReifiedTrue, setVIndices, updateMask

Methods inherited from class java.lang.Object

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

Constructor Detail

PropUnreachable

public PropUnreachable(solver.variables.IntVar[] edges,
               int from,
               int to)

Enforce no path from one node to another. edges[i] = j implies that there is a directed edge from node i to node j. edges[i] ≥ edges.length implies that there are no direct edges from node i.

Parameters:

edges - the edges

from - the start node

to - the end node

Method Detail

getPropagationConditions

protected int getPropagationConditions(int vIdx)

Specified by:

getPropagationConditions in class solver.constraints.Propagator<solver.variables.IntVar>

propagate

public void propagate(int evtmask)
               throws solver.exception.ContradictionException

Specified by:

propagate in class solver.constraints.Propagator<solver.variables.IntVar>

Throws:

solver.exception.ContradictionException

propagate

public void propagate(int idxVarInProp,
             int mask)
               throws solver.exception.ContradictionException

Specified by:

propagate in class solver.constraints.Propagator<solver.variables.IntVar>

Throws:

solver.exception.ContradictionException

isEntailed

public util.ESat isEntailed()

Specified by:

isEntailed in class solver.constraints.Propagator<solver.variables.IntVar>

toString

public String toString()

Overrides:

toString in class Object