fdd_varnum

int fdd_varnum ( int   )  Binary size of a finite domain block. Returns the number of BDD variables used for the finite domain block var. Returns: The number of variables or a negative error code. See also: fdd_vars

---