[ library(ic_gap_sbds) | Reference Manual | Alphabetic Index ]
sbds_initialise_set(+Array, ++VarDimNames, ++ValueDimSpec, +SymSpecs, +Options)
Initialises the data structures required by the SBDS algorithm (set version)
- Array of integer set decision variables
- Names for the dimensions of Array
- Name of the value dimension and its range
- List of symmetry specifiers
- List of extra options
Like sbds_initialise/5, but for set models (i.e. Array should be an array
of integer set variables). The "value" dimension is the values that can
appear in the set, so that, for example, a range of 1..5 indicates that
the upper bound of the set variables is [1,2,3,4,5].
See the documentation for sbds_initialise/5 for more details.
During search, use sbds_try_set/3 or sbds_try_set/4 on variables from
Array when making search decisions.
This predicate is sensitive to its module context (tool predicate, see @/2).
sbds_initialise / 5, sbds_try_set / 3, sbds_try_set / 4