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

# sbdd_try(+Var, ++Value, ?Success)

Try assigning a value to an SBDD search variable

Var
  The variable to use
Value
  The value to try
Success
  Whether the assignment succeeded or not

## Description

Like sbdd_try/2, but assign 1 to Success if we have set Var #= Value, and assign 0 if we have set Var #\= Value (effectively, Success reflects the truth of Var #= Value when the predicate succeeds).

See the documentation for sbdd_try/2 for more details.

## See Also

sbdd_initialise / 5, sbdd_try / 2