Modifier and Type | Method and Description |
---|---|
protected void |
enforceEq(int i,
int j,
IntVar[] vars,
Propagator aCause) |
void |
filter(IntVar[] vars,
UndirectedGraph graph,
F heur,
Propagator aCause) |
public R3(int nbDecVars, Model model)
public void filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause) throws ContradictionException
filter
in interface R
ContradictionException
protected void enforceEq(int i, int j, IntVar[] vars, Propagator aCause) throws ContradictionException
ContradictionException
Copyright © 2017. All rights reserved.