bdd_simplify

BDD bdd_simplify ( BDD  f, BDD  d   ) Coudert and madre's restrict function. Tries to simplify the BDD f by restricting it to the domain covered by d. No checks are done to see if the result is actually smaller than the input. This can be done by the user with a call to bdd_nodecount. See also: bdd_restrict Returns: The simplified BDD.

---