bdd_biimp

BDD bdd_biimp ( BDD  l, BDD  r   ) The logical 'bi-implication' between two bdds. This a wrapper that calls bdd_apply(l,r,bddop_biimp) Returns: The logical 'bi-implication' of l and r (). See also: bdd_apply, bdd_imp

---