All bdd variables associated with a finite domain block. Returns an integer array containing the BDD variables used to define the finite domain block var. The size of the array is the number of variables used to define the finite domain block. The array will have the Least Significant Bit at pos 0. The array must not be deallocated.
|