BuDDy: bdd

BDD bdd_apply	(	BDD	l,
		BDD	r,
		int	op
	)

Basic bdd operations.

The bdd_apply function performs all of the basic bdd operations with two operands, such as AND, OR etc. The l argument is the left bdd operand and r is the right operand. The op argument is the requested operation and must be one of the following

Identifier Description Truth table C++ opr

bddop_and logical and ( $A \wedge B$ ) [0,0,0,1] &

bddop_xor logical xor ( $A \oplus B$ ) [0,1,1,0] \^

bddop_or logical or ( $A \vee B$ ) [0,1,1,1] |

bddop_nand logical not-and [1,1,1,0]

bddop_nor logical not-or [1,0,0,0]

bddop_imp implication ( $A \Rightarrow B$ ) [1,1,0,1] >>

bddop_biimp bi-implication ( $A \Leftrightarrow B$ ) [1,0,0,1]

bddop_diff set difference ( $A \setminus B$ ) [0,0,1,0] -

bddop_less less than ( $A < B$ ) [0,1,0,0] <

bddop_invimp reverse implication ( $A \Leftarrow B$ ) [1,0,1,1] <<

Returns:: The result of the operation.

See also:: bdd_ite