PropLargeCSP (org.choco-solver-choco-solver 4.10.2 API)

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 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 Description

protected PropLargeCSP(IntVar[] vars, R relation)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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