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)

Last updated 2 years ago