- java.lang.Object
-
- org.chocosolver.solver.constraints.nary.nvalue.amnv.rules.R3
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
enforceEq(int i, int j, IntVar[] vars, Propagator aCause)
void
filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause)
-
-
-
Constructor Detail
-
R3
public R3(int nbDecVars, Model model)
-
-
Method Detail
-
filter
public void filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause) throws ContradictionException
- Specified by:
filter
in interfaceR
- Throws:
ContradictionException
-
enforceEq
protected void enforceEq(int i, int j, IntVar[] vars, Propagator aCause) throws ContradictionException
- Throws:
ContradictionException
-
-