BDD fdd_ithset ( int   ) 

The variable set for the i'th finite domain block.

Returns the variable set that contains the variables used to define the finite domain block var.

Returns:
The variable set or the constant false BDD on error.
See also:
fdd_ithvar


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