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:

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

Field Summary

Fields

Modifier and Type	Field and Description
protected R	relation

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

ACTIVE, constraint, DEFAULT_EXPL, model, operations, OUTPUT_DEFAULT_EXPL, priority, reactToFineEvt, state, vars

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Tuples	extractTuples() Extract the tuples from this internal data structure
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, arity, compareTo, defaultExplain, doFinePropagation, doFlush, doSchedule, doScheduleEvent, dynPriority, equals, explain, fails, forcePropagate, forcePropagationOnBacktrack, forEachIntVar, getConstraint, getId, getModel, getNbVars, getPosition, getPriority, getPropagationConditions, getVar, getVars, getVIndice, getVIndices, hashCode, isActive, isCompletelyInstantiated, isPassive, isReified, isReifiedAndSilent, isScheduled, isStateLess, linkVariables, propagate, propagate, reactToFineEvent, reifiedWith, setActive, setActive0, setPassive, setPosition, setReifiedSilent, setReifiedTrue, setVIndices, unlinkVariables, unschedule

Methods inherited from class java.lang.Object

clone, 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>

extractTuples

public Tuples extractTuples()

Extract the tuples from this internal data structure

Returns:

a tuples object