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

java.lang.Object
- org.chocosolver.solver.constraints.Propagator<IntVar>
- - org.chocosolver.solver.constraints.extension.binary.PropBinCSP

All Implemented Interfaces:

Comparable<Propagator>, ICause, Identity

Direct Known Subclasses:

PropBinAC2001, PropBinAC3, PropBinAC3bitrm, PropBinAC3rm, PropBinFC
```
public abstract class PropBinCSP
extends Propagator<IntVar>
```
Since:

08/06/11

Author:

Charles Prud'homme, Hadrien Cambazard

Field Summary

Fields
Modifier and Type Field Description

protected BinRelation relation

protected IntVar v0

protected IntVar v1
- 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 PropBinCSP(IntVar x, IntVar y, BinRelation relation)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Tuples`	`extractTuples()`	Extract the tuples from this internal data structure
`BinRelation`	`getRelation()`
`ESat`	`isEntailed()`	Check wether `this` is entailed according to the current state of its internal structure.

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, toString, unlinkVariables, unschedule

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - relation
```
protected BinRelation relation
```
  - v0
```
protected IntVar v0
```
  - v1
```
protected IntVar v1
```
- Constructor Detail
  - PropBinCSP
```
protected PropBinCSP(IntVar x,
                     IntVar y,
                     BinRelation relation)
```
- Method Detail
  - getRelation
```
public final BinRelation 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
  - extractTuples
```
public Tuples extractTuples()
```
    Extract the tuples from this internal data structure
    
    Returns:
    
    a tuples object