Class PropCircuit_AntiArboFiltering
- java.lang.Object
-
- org.chocosolver.solver.constraints.Propagator<IntVar>
-
- org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
-
- org.chocosolver.solver.constraints.nary.circuit.PropCircuit_AntiArboFiltering
-
- All Implemented Interfaces:
Comparable<Propagator>
,ICause
,Identity
public class PropCircuit_AntiArboFiltering extends PropCircuit_ArboFiltering
Propagator for circuit constraint based on dominators Redundant propagator- Author:
- Jean-Guillaume Fages
-
-
Field Summary
-
Fields inherited from class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
conf, connectedGraph, domFinder, n, offSet, rd
-
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 Constructor Description PropCircuit_AntiArboFiltering(IntVar[] succs, int offSet, CircuitConf conf)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
filterFromDom(int duplicatedNode)
-
Methods inherited from class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering
isEntailed, propagate
-
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
-
-
-
-
Constructor Detail
-
PropCircuit_AntiArboFiltering
public PropCircuit_AntiArboFiltering(IntVar[] succs, int offSet, CircuitConf conf)
-
-
Method Detail
-
filterFromDom
protected void filterFromDom(int duplicatedNode) throws ContradictionException
- Overrides:
filterFromDom
in classPropCircuit_ArboFiltering
- Throws:
ContradictionException
-
-