CUDD C++ Operators

A reference for the C++ operators.

Operator	Function	Notes
~x	NOT x	Intended to mimic bar.
!x	NOT x
x * y	x AND y	Boolean algebra AND operator (multiply)
x & y	x AND y
x + y	x OR y	Boolean algebra OR operator (add)
x | y	x OR y
x ^ y	x XOR y	C++ XOR operator (don't confuse this with logical AND)
x - y	x AND (NOT y)
x == y	Equality Comparison	Returns true if the diagrams are equal (will be the case if equivalent diagrams have been created with consistent variable ordering)