[ library(ic_gap_sbdd) | 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