fdd_makeset

BDD fdd_makeset ( int *  , int    ) Creates a variable set for n finite domain blocks. Returns a BDD defining all the variable sets used to define the variable blocks in the array varset. The argument varnum defines the size of varset. Returns: The correct BDD or the constant false on errors. See also: fdd_ithset, bdd_makeset

---