Package | Description |
---|---|
org.chocosolver.solver.constraints.nary.nValue | |
org.chocosolver.solver.constraints.nary.nValue.amnv.mis | |
org.chocosolver.solver.constraints.nary.nValue.amnv.rules |
Constructor and Description |
---|
PropAMNV(IntVar[] X,
IntVar N,
G graph,
F heur,
R[] rules)
Creates a propagator for the atMostNValues constraint
The number of distinct values in X is at most equal to N
|
Modifier and Type | Class and Description |
---|---|
class |
MD
Min Degree heuristic
|
class |
MDRk
Min Degree + Random k heuristic
|
class |
Rk
Random heuristic
|
Modifier and Type | Method and Description |
---|---|
void |
R4.filter(IntVar[] vars,
UndirectedGraph graph,
F heur,
Propagator aCause) |
void |
R3.filter(IntVar[] vars,
UndirectedGraph graph,
F heur,
Propagator aCause) |
void |
R2.filter(IntVar[] vars,
UndirectedGraph graph,
F heur,
Propagator aCause) |
void |
R1.filter(IntVar[] vars,
UndirectedGraph graph,
F heur,
Propagator aCause) |
void |
R.filter(IntVar[] vars,
UndirectedGraph graph,
F heur,
Propagator aCause) |
Copyright © 2017. All rights reserved.