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

# is_sbds_var(?Var)

checks whether a variable is an SBDS variable

Var
  Variable to check

## Description

Succeeds if and only if Var is a variable and has been initialised as an SBDS variable (through a call to sbds_initialise/4 or sbds_initialise/5).

### Fail Conditions

Var is not a variable or not an SBDS variable.

## See Also

sbds_initialise / 4, sbds_initialise / 5