[ 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