BDD bdd_appuni ( BDD  l,
BDD  r,
int  opr,
BDD  var 
)

Apply operation and unique quantification.

Applies the binary operator opr to the arguments l and r and then performs a unique quantification of the variables from the variable set var. This is done in a bottom up manner such that both the apply and quantification is done on the lower nodes before stepping up to the higher nodes. This makes the bdd_appuni function much more efficient than an apply operation followed by a quantification.

See also:
bdd_appex, bdd_appall, bdd_apply, bdd_exist, bdd_unique, bdd_forall, bdd_makeset
Returns:
The result of the operation.


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