public class PropOpposite extends Propagator<Variable>Constraint representing the negation of a given constraint does not filter but fails if the given constraint is satisfied Can be used within any constraint Should not be called by the user
- Jean-Guillaume Fages
All Methods Instance Methods Concrete Methods Modifier and Type Method Description
thisis entailed according to the current state of its internal structure.
propagate(int evtmask)Call the main filtering algorithm to apply to the
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, reactToFineEvent, reifiedWith, setActive, setActive0, setPassive, setPosition, setReifiedSilent, setReifiedTrue, setVIndices, toString, unlinkVariables, unschedule
public void propagate(int evtmask) throws ContradictionExceptionDescription copied from class:
PropagatorCall the main filtering algorithm to apply to the
Variableobjects. It considers the current state of this objects to remove some values from domains and/or instantiate some variables. Calling this method is done from 2 (and only 2) steps:
- at the initial propagation step,
- when involved in a reified constraint.
It should initialized the internal data structure and apply filtering algorithm from scratch.
public ESat isEntailed()Description copied from class:
thisis entailed according to the current state of its internal structure. At least, should check the satisfaction of
this(when all is instantiated).