KALIS_GEN_ARC_CONSISTENCY
|
Description
|
Generalized arc consistency propagation type for the all_different constraint
|
||
|
Type
|
Integer, read only
|
||
|
Values
|
|
||
|
Notes
|
This constant is passed to the
all_different constraint to specify the kind of propagation used to filter it. When KALIS_GEN_ARC_CONSISTENCY is used, the filtering algorithm achieves generalized arc-consistency (cf.
[Reg94]). Although this algorithm may filter more values than the KALIS_FORWARD_CHECKING algorithm, this additional pruning comes at the price of a computational overhead at each node that is not necessary for simple problems.
|
||
|
See also
|