BuDDy: bdd

Main Page
Modules
Data Structures
Files

BDD bdd_ite	(	BDD	f,
		BDD	g,
		BDD	h
	)

If-then-else operator.

Calculates the BDD for the expression $(f \land g) \lor (\lnot f \land h)$ more efficiently than doing the three operations separately. bdd_ite can also be used for conjunction, disjunction and any other boolean operator, but is not as efficient for the binary and unary operations.

Returns:: The BDD for $(f \land g) \lor (\lnot f \land h)$ .

See also:: bdd_apply

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

1.5.1