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

is_sbds_var(?Var)

Checks whether a variable is an SBDS variable
Var
The variable to check

Description

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