[ library(ic_gap_sbdd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

throttle_depth_mod_non_unique(++DepthModulus, +SBDDInfo)

Example throttling predicate
DepthModulus
Depth modulus
SBDDInfo
The sbdd_shared data structure

Description

Throttling predicate for use as an option to sbdd_initialise/5 or sbdd_initialise_set/5. This predicate succeeds if the search depth is a multiple of DepthModulus. Note that this means that solutions found are not guaranteed to be unique.

See Also

sbdd_initialise / 5, sbdd_initialise_set / 5, throttle_default / 1, throttle_depth_unique / 2, throttle_depth_non_unique / 2, throttle_depth_mod_unique / 2