org.chocosolver.solver.constraints.extension.nary

Class PropLargeCSP<R extends LargeRelation>

java.lang.Object

org.chocosolver.solver.constraints.Propagator<IntVar>

org.chocosolver.solver.constraints.extension.nary.PropLargeCSP<R>

All Implemented Interfaces:

Serializable, Comparable<Propagator>, ICause, Identity

Direct Known Subclasses:

PropLargeFC, PropLargeGAC2001, PropLargeGAC2001Positive, PropLargeGAC3rm, PropLargeGAC3rmPositive, PropLargeGACSTRPos

public abstract class PropLargeCSP<R extends LargeRelation>
extends Propagator<IntVar>

Since:

08/06/11

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected R	relation

Fields inherited from class org.chocosolver.solver.constraints.Propagator

aCause, ACTIVE, constraint, LOGGER, NEW, PASSIVE, priority, reactToFineEvt, REIFIED, solver, vars

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PropLargeCSP(IntVar[] vars, R relation)

Method Summary

Methods

Modifier and Type	Method and Description
R	getRelation()
ESat	isEntailed() Check wether this is entailed according to the current state of its internal structure.
String	toString()

Methods inherited from class org.chocosolver.solver.constraints.Propagator

addVariable, advise, arity, compareTo, contradiction, decNbPendingEvt, defineIn, duplicate, dynPriority, flushPendingEvt, forcePropagate, getConstraint, getId, getNbPendingEvt, getNbVars, getPriority, getPropagationConditions, getSolver, getVar, getVars, getVIndices, hashCode, incNbPendingEvt, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, propagate, propagate, reactToFineEvent, setActive, setPassive, setReifiedSilent, setReifiedTrue, setVIndices, why

Methods inherited from class java.lang.Object

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

Field Detail

relation

protected final R extends LargeRelation relation

Constructor Detail

PropLargeCSP

protected PropLargeCSP(IntVar[] vars,
            R relation)

Method Detail

getRelation

public final R getRelation()

isEntailed

public ESat isEntailed()

Description copied from class: Propagator

Check wether this is entailed according to the current state of its internal structure. At least, should check the satisfaction of this (when all is instantiated).

Specified by:

isEntailed in class Propagator<IntVar>

Returns:

ESat.TRUE if entailed, ESat.FALSE if not entailed, ESat.UNDEFINED if unknown

toString

public String toString()

Overrides:

toString in class Propagator<IntVar>