public class PropDivXYZ extends Propagator<IntVar>
constraint, model, priority, reactToFineEvt, vars
Constructor and Description |
---|
PropDivXYZ(IntVar x,
IntVar y,
IntVar z) |
Modifier and Type | Method and Description |
---|---|
ESat |
isEntailed()
Check wether
this is entailed according to the current state of its internal structure. |
protected boolean |
oppSign(IntVar a,
IntVar b)
A take the opposite signs of B
|
void |
propagate(int evtmask)
The main propagation method that filters according to the constraint defintion
|
protected boolean |
sameSign(IntVar a,
IntVar b)
A take the signs of B
|
addVariable, arity, compareTo, doFinePropagation, doFlush, doSchedule, doScheduleEvent, dynPriority, equals, fails, forcePropagate, forcePropagationOnBacktrack, getConstraint, getId, getModel, getNbVars, getPosition, getPriority, getPropagationConditions, getVar, getVars, getVIndice, getVIndices, hashCode, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, linkVariables, propagate, reactToFineEvent, setActive, setPassive, setPosition, setReifiedSilent, setReifiedTrue, setVIndices, toString, unlinkVariables, unschedule, why
public void propagate(int evtmask) throws ContradictionException
propagate
in class Propagator<IntVar>
evtmask:
- is it the initial propagation or not?ContradictionException
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>
protected boolean sameSign(IntVar a, IntVar b) throws ContradictionException
a
- first varb
- second varContradictionException
protected boolean oppSign(IntVar a, IntVar b) throws ContradictionException
a
- first varb
- second varContradictionException
Copyright © 2018. All rights reserved.