int fdd_intaddvarblock ( int  ,
int  ,
int   
)

Adds a new variable block for reordering.

Works exactly like bdd_addvarblock except that fdd_intaddvarblock takes a range of FDD variables instead of BDD variables.

Returns:
Zero on success, otherwise a negative error code.
See also:
bdd_addvarblock, bdd_intaddvarblock, bdd_reorder


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