int* fdd_vars ( int   ) 

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.

Returns:
Integer array contaning the variable numbers or NULL if v is an unknown block.
See also:
fdd_varnum


Generated on Mon Jul 23 13:25:15 2007 for BuDDy by  doxygen 1.5.1