public abstract class PropBinCSP extends Propagator<IntVar>
Modifier and Type | Field and Description |
---|---|
protected BinRelation |
relation |
protected IntVar |
v0 |
protected IntVar |
v1 |
ACTIVE, constraint, DEFAULT_EXPL, model, operations, OUTPUT_DEFAULT_EXPL, priority, reactToFineEvt, state, vars
Modifier | Constructor and Description |
---|---|
protected |
PropBinCSP(IntVar x,
IntVar y,
BinRelation relation) |
Modifier and Type | Method and 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. |
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
protected BinRelation relation
protected IntVar v0
protected IntVar v1
protected PropBinCSP(IntVar x, IntVar y, BinRelation relation)
public final BinRelation getRelation()
public ESat isEntailed()
Propagator
this
is entailed according to the current state of its internal structure.
At least, should check the satisfaction of this
(when all is instantiated).isEntailed
in class Propagator<IntVar>
public Tuples extractTuples()
Copyright © 2018. All rights reserved.