[ library(ic_gap_sbdd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

sbdd_try_set(+Var, ++Value, ++Bool)

Try adding/excluding a value to/from an SBDD set search variable
Var
The set variable to use
Value
The value to try
Bool
Whether to add or exclude the value first

Description

Make an SBDD (set) search choice. Specifically, if Bool is 1, try adding the (integer) value Value to the (set) variable Var; on backtracking exclude it. If Bool is 0, try excluding Value first and try adding it on backtracking.

Var should be an element of an array previously initialised using sbdd_initialise_set/5.

Use sbdd_try_set/4 if you wish to know which is the currently successful branch (Value in Var or Value notin Var).

See Also

sbdd_initialise_set / 5, sbdd_try_set / 4, sbdd_try / 2