[ library(ic_gap_sbdd) | Reference Manual | Alphabetic Index ]

# throttle_default(+SBDDInfo)

Default throttling predicate

SBDDInfo
  The sbdd_shared data structure

## Description

Default throttling predicate used if none is given to sbdd_initialise/5 or sbdd_initialise_set/5. This predicate simply succeeds, meaning that a dominance check is performed at every node in the search tree.

## See Also

sbdd_initialise / 5, sbdd_initialise_set / 5, throttle_depth_unique / 2, throttle_depth_non_unique / 2, throttle_depth_mod_unique / 2, throttle_depth_mod_non_unique / 2