Package | Description |
---|---|
org.chocosolver.solver.constraints.nary.nValue | |
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 |
R1
R1 filtering rule (lower bounding only)
|
class |
R2
R2 filtering rule (back-propagation)
|
class |
R3
R3 filtering rule (back-propagation)
|
class |
R4
R4 filtering rule (AllDifferent propagation)
|
Copyright © 2017. All rights reserved.