[ library(ic_gap_sbdd) | Reference Manual | Alphabetic Index ]
is_sbdd_var(?Var)
Checks whether a variable is an SBDD variable
- Var
- The variable to check
Description
Succeeds iff Var is an SBDD variable (i.e. has been initialised through
a call to sbdd_initialise/5).