fdd_equals

BDD fdd_equals ( int  , int    ) Returns a bdd setting two fd. blocks equal. Builds a BDD which is true for all the possible assignments to the variable blocks f and g that makes the blocks equal. This is more or less just a shorthand for calling fdd_equals(). Returns: The correct BDD or the constant false on errors.

---