
is_sbdd_var(?Var)

   Checks whether a variable is an SBDD variable

Arguments
   Var                 The variable to check

Type
   library(ic_gap_sbdd)

Description
   Succeeds iff Var is an SBDD variable (i.e. has been initialised through
   a call to sbdd_initialise/5).



