[ 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).