\BOOKMARK [1][-]{section.1}{Introduction}{}% 1
\BOOKMARK [1][-]{section.2}{How to Get CUDD}{}% 2
\BOOKMARK [2][-]{subsection.2.1}{The CUDD Package}{section.2}% 3
\BOOKMARK [2][-]{subsection.2.2}{CUDD Friends}{section.2}% 4
\BOOKMARK [1][-]{section.3}{User's Manual}{}% 5
\BOOKMARK [2][-]{subsection.3.1}{Compiling and Linking}{section.3}% 6
\BOOKMARK [2][-]{subsection.3.2}{Basic Data Structures}{section.3}% 7
\BOOKMARK [3][-]{subsubsection.3.2.1}{Nodes}{subsection.3.2}% 8
\BOOKMARK [3][-]{subsubsection.3.2.2}{The Manager}{subsection.3.2}% 9
\BOOKMARK [3][-]{subsubsection.3.2.3}{Cache}{subsection.3.2}% 10
\BOOKMARK [2][-]{subsection.3.3}{Initializing and Shutting Down a DdManager}{section.3}% 11
\BOOKMARK [2][-]{subsection.3.4}{Setting Parameters}{section.3}% 12
\BOOKMARK [2][-]{subsection.3.5}{Constant Functions}{section.3}% 13
\BOOKMARK [3][-]{subsubsection.3.5.1}{One, Logic Zero, and Arithmetic Zero}{subsection.3.5}% 14
\BOOKMARK [3][-]{subsubsection.3.5.2}{Predefined Constants}{subsection.3.5}% 15
\BOOKMARK [3][-]{subsubsection.3.5.3}{Background}{subsection.3.5}% 16
\BOOKMARK [3][-]{subsubsection.3.5.4}{New Constants}{subsection.3.5}% 17
\BOOKMARK [2][-]{subsection.3.6}{Creating Variables}{section.3}% 18
\BOOKMARK [3][-]{subsubsection.3.6.1}{New BDD and ADD Variables}{subsection.3.6}% 19
\BOOKMARK [3][-]{subsubsection.3.6.2}{New ZDD Variables}{subsection.3.6}% 20
\BOOKMARK [2][-]{subsection.3.7}{Basic BDD Manipulation}{section.3}% 21
\BOOKMARK [2][-]{subsection.3.8}{Basic ADD Manipulation}{section.3}% 22
\BOOKMARK [2][-]{subsection.3.9}{Basic ZDD Manipulation}{section.3}% 23
\BOOKMARK [2][-]{subsection.3.10}{Converting ADDs to BDDs and Vice Versa}{section.3}% 24
\BOOKMARK [2][-]{subsection.3.11}{Converting BDDs to ZDDs and Vice Versa}{section.3}% 25
\BOOKMARK [2][-]{subsection.3.12}{Variable Reordering for BDDs and ADDs}{section.3}% 26
\BOOKMARK [2][-]{subsection.3.13}{Grouping Variables}{section.3}% 27
\BOOKMARK [2][-]{subsection.3.14}{Variable Reordering for ZDDs}{section.3}% 28
\BOOKMARK [2][-]{subsection.3.15}{Keeping Consistent Variable Orders for BDDs and ZDDs}{section.3}% 29
\BOOKMARK [2][-]{subsection.3.16}{Hooks}{section.3}% 30
\BOOKMARK [2][-]{subsection.3.17}{Timeouts and Limits}{section.3}% 31
\BOOKMARK [2][-]{subsection.3.18}{Writing Decision Diagrams to a File}{section.3}% 32
\BOOKMARK [2][-]{subsection.3.19}{Saving and Restoring BDDs}{section.3}% 33
\BOOKMARK [1][-]{section.4}{Programmer's Manual}{}% 34
\BOOKMARK [2][-]{subsection.4.1}{Compiling and Linking}{section.4}% 35
\BOOKMARK [2][-]{subsection.4.2}{Reference Counts}{section.4}% 36
\BOOKMARK [3][-]{subsubsection.4.2.1}{NULL Return Values}{subsection.4.2}% 37
\BOOKMARK [3][-]{subsubsection.4.2.2}{Cudd\137RecursiveDeref vs. Cudd\137Deref}{subsection.4.2}% 38
\BOOKMARK [3][-]{subsubsection.4.2.3}{When Increasing the Reference Count is Unnecessary}{subsection.4.2}% 39
\BOOKMARK [3][-]{subsubsection.4.2.4}{Saturating Increments and Decrements}{subsection.4.2}% 40
\BOOKMARK [2][-]{subsection.4.3}{Complement Arcs}{section.4}% 41
\BOOKMARK [2][-]{subsection.4.4}{The Cache}{section.4}% 42
\BOOKMARK [3][-]{subsubsection.4.4.1}{Cache Sizing}{subsection.4.4}% 43
\BOOKMARK [3][-]{subsubsection.4.4.2}{Local Caches}{subsection.4.4}% 44
\BOOKMARK [2][-]{subsection.4.5}{The Unique Table}{section.4}% 45
\BOOKMARK [2][-]{subsection.4.6}{Allowing Asynchronous Reordering}{section.4}% 46
\BOOKMARK [2][-]{subsection.4.7}{Debugging}{section.4}% 47
\BOOKMARK [2][-]{subsection.4.8}{Gathering and Interpreting Statistics}{section.4}% 48
\BOOKMARK [3][-]{subsubsection.4.8.1}{Non Modifiable Parameters}{subsection.4.8}% 49
\BOOKMARK [3][-]{subsubsection.4.8.2}{Modifiable Parameters}{subsection.4.8}% 50
\BOOKMARK [3][-]{subsubsection.4.8.3}{Extended Statistics and Reporting}{subsection.4.8}% 51
\BOOKMARK [2][-]{subsection.4.9}{Guidelines for Documentation}{section.4}% 52
\BOOKMARK [1][-]{section.5}{The C++ Interface}{}% 53
\BOOKMARK [2][-]{subsection.5.1}{Compiling and Linking}{section.5}% 54
\BOOKMARK [2][-]{subsection.5.2}{Basic Manipulation}{section.5}% 55
\BOOKMARK [1][-]{section.6}{Acknowledgments}{}% 56
\BOOKMARK [1][-]{section*.2}{References}{}% 57
\BOOKMARK [1][-]{section*.4}{Index}{}% 58
