[ library(ic_gap_sbdd) | Reference Manual | Alphabetic Index ]
sbdd_initialise_set(+Array, ++VarDimNames, ++ValueDimSpec, +SymSpecs, +Options)
Initialises the data structures required by the SBDD algorithm (set version)
- Array
- Array of integer set decision variables
- VarDimNames
- Names for the dimensions of Array
- ValueDimSpec
- Name of the value dimension and its range
- SymSpecs
- List of symmetry specifiers
- Options
- List of extra options
Description
Like sbdd_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 sbdd_initialise/5 for more details.
During search, use sbdd_try_set/3 or sbdd_try_set/4 on variables from
Array when making search decisions.
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
See Also
sbdd_initialise / 5, sbdd_try_set / 3, sbdd_try_set / 4