KALIS_FORWARD_CHECKING

Forward checking propagation type for the all_different constraint

Integer, read only

0

This constant is passed to the all_different constraint to specify the kind of propagation used to filter it. When KALIS_FORWARD_CHECKING is used, the filtering algorithm achieves a very simple, and fast, filtering. Although less powerful than the generalized algorithm (KALIS_GEN_ARC_CONSISTENCY) that may lead to a stronger pruning, the speed of the KALIS_FORWARD_CHECKING filtering allows the search process to explore more nodes in the same amount of time which makes the algorithm competitive for simple problems.

all_different KALIS_GEN_ARC_CONSISTENCY