1 <!DOCTYPE HTML PUBLIC
"-//W3C//DTD HTML 3.2 Final//EN">
3 <!--Converted with jLaTeX2HTML 2002-2-1 (1.70) JA patch-2.0
4 patched version by: Kenshi Muto, Debian Project.
5 * modified by: Shige TAKENO
6 LaTeX2HTML 2002-2-1 (1.70),
7 original version by: Nikos Drakos, CBLU, University of Leeds
8 * revised and updated by: Marcus Hennecke, Ross Moore, Herb Swan
9 * with significant contributions from:
10 Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
13 <TITLE>CUDD: CU Decision Diagram Package
15 <META NAME=
"description" CONTENT=
"CUDD: CU Decision Diagram Package
17 <META NAME=
"keywords" CONTENT=
"cuddIntro">
18 <META NAME=
"resource-type" CONTENT=
"document">
19 <META NAME=
"distribution" CONTENT=
"global">
21 <META NAME=
"Generator" CONTENT=
"jLaTeX2HTML v2002-2-1 JA patch-2.0">
22 <META HTTP-EQUIV=
"Content-Style-Type" CONTENT=
"text/css">
24 <LINK REL=
"STYLESHEET" HREF=
"cuddIntro.css">
26 <LINK REL=
"next" HREF=
"node1.html">
30 <!--Navigation Panel-->
33 <IMG WIDTH=
"37" HEIGHT=
"24" ALIGN=
"BOTTOM" BORDER=
"0" ALT=
"next"
34 SRC=
"icons/next.png"></A>
35 <IMG WIDTH=
"26" HEIGHT=
"24" ALIGN=
"BOTTOM" BORDER=
"0" ALT=
"up"
37 <IMG WIDTH=
"63" HEIGHT=
"24" ALIGN=
"BOTTOM" BORDER=
"0" ALT=
"previous"
38 SRC=
"icons/prev_g.png">
41 <IMG WIDTH=
"43" HEIGHT=
"24" ALIGN=
"BOTTOM" BORDER=
"0" ALT=
"index"
42 SRC=
"icons/index.png"></A>
44 <B> Next:
</B> <A NAME=
"tex2html15"
45 HREF=
"node1.html">Introduction
</A>
46 <B> <A NAME=
"tex2html13"
47 HREF=
"node8.html">Index
</A></B>
50 <!--End of Navigation Panel-->
52 <H1 ALIGN=
"CENTER">CUDD: CU Decision Diagram Package
57 <P ALIGN=
"CENTER"><STRONG>Fabio Somenzi
</STRONG></P>
58 <P ALIGN=
"CENTER"><I>Department of Electrical, Computer, and Energy Engineering
</I></P>
59 <P ALIGN=
"LEFT"><SMALL>University of Colorado at Boulder
</SMALL></P>
64 <!--Table of Child-Links-->
65 <A NAME=
"CHILD_LINKS"></A>
68 <LI><A NAME=
"tex2html16"
69 HREF=
"node1.html">Introduction
</A>
70 <LI><A NAME=
"tex2html17"
71 HREF=
"node2.html">How to Get CUDD
</A>
73 <LI><A NAME=
"tex2html18"
74 HREF=
"node2.html#SECTION00021000000000000000">The CUDD Package
</A>
75 <LI><A NAME=
"tex2html19"
76 HREF=
"node2.html#SECTION00022000000000000000">CUDD Friends
</A>
79 <LI><A NAME=
"tex2html20"
80 HREF=
"node3.html">User's Manual
</A>
82 <LI><A NAME=
"tex2html21"
83 HREF=
"node3.html#SECTION00031000000000000000">Compiling and Linking
</A>
84 <LI><A NAME=
"tex2html22"
85 HREF=
"node3.html#SECTION00032000000000000000">Basic Data Structures
</A>
87 <LI><A NAME=
"tex2html23"
88 HREF=
"node3.html#SECTION00032100000000000000">Nodes
</A>
89 <LI><A NAME=
"tex2html24"
90 HREF=
"node3.html#SECTION00032200000000000000">The Manager
</A>
91 <LI><A NAME=
"tex2html25"
92 HREF=
"node3.html#SECTION00032300000000000000">Cache
</A>
94 <LI><A NAME=
"tex2html26"
95 HREF=
"node3.html#SECTION00033000000000000000">Initializing and Shutting Down a DdManager
</A>
96 <LI><A NAME=
"tex2html27"
97 HREF=
"node3.html#SECTION00034000000000000000">Setting Parameters
</A>
98 <LI><A NAME=
"tex2html28"
99 HREF=
"node3.html#SECTION00035000000000000000">Constant Functions
</A>
101 <LI><A NAME=
"tex2html29"
102 HREF=
"node3.html#SECTION00035100000000000000">One, Logic Zero, and Arithmetic Zero
</A>
103 <LI><A NAME=
"tex2html30"
104 HREF=
"node3.html#SECTION00035200000000000000">Predefined Constants
</A>
105 <LI><A NAME=
"tex2html31"
106 HREF=
"node3.html#SECTION00035300000000000000">Background
</A>
107 <LI><A NAME=
"tex2html32"
108 HREF=
"node3.html#SECTION00035400000000000000">New Constants
</A>
110 <LI><A NAME=
"tex2html33"
111 HREF=
"node3.html#SECTION00036000000000000000">Creating Variables
</A>
113 <LI><A NAME=
"tex2html34"
114 HREF=
"node3.html#SECTION00036100000000000000">New BDD and ADD Variables
</A>
115 <LI><A NAME=
"tex2html35"
116 HREF=
"node3.html#SECTION00036200000000000000">New ZDD Variables
</A>
118 <LI><A NAME=
"tex2html36"
119 HREF=
"node3.html#SECTION00037000000000000000">Basic BDD Manipulation
</A>
120 <LI><A NAME=
"tex2html37"
121 HREF=
"node3.html#SECTION00038000000000000000">Basic ADD Manipulation
</A>
122 <LI><A NAME=
"tex2html38"
123 HREF=
"node3.html#SECTION00039000000000000000">Basic ZDD Manipulation
</A>
124 <LI><A NAME=
"tex2html39"
125 HREF=
"node3.html#SECTION000310000000000000000">Converting ADDs to BDDs and Vice Versa
</A>
126 <LI><A NAME=
"tex2html40"
127 HREF=
"node3.html#SECTION000311000000000000000">Converting BDDs to ZDDs and Vice Versa
</A>
128 <LI><A NAME=
"tex2html41"
129 HREF=
"node3.html#SECTION000312000000000000000">Variable Reordering for BDDs and ADDs
</A>
130 <LI><A NAME=
"tex2html42"
131 HREF=
"node3.html#SECTION000313000000000000000">Grouping Variables
</A>
132 <LI><A NAME=
"tex2html43"
133 HREF=
"node3.html#SECTION000314000000000000000">Variable Reordering for ZDDs
</A>
134 <LI><A NAME=
"tex2html44"
135 HREF=
"node3.html#SECTION000315000000000000000">Keeping Consistent Variable Orders for BDDs and ZDDs
</A>
136 <LI><A NAME=
"tex2html45"
137 HREF=
"node3.html#SECTION000316000000000000000">Hooks
</A>
138 <LI><A NAME=
"tex2html46"
139 HREF=
"node3.html#SECTION000317000000000000000">The SIS/VIS Interface
</A>
141 <LI><A NAME=
"tex2html47"
142 HREF=
"node3.html#SECTION000317100000000000000">Using the CUDD Package in SIS
</A>
144 <LI><A NAME=
"tex2html48"
145 HREF=
"node3.html#SECTION000318000000000000000">Writing Decision Diagrams to a File
</A>
146 <LI><A NAME=
"tex2html49"
147 HREF=
"node3.html#SECTION000319000000000000000">Saving and Restoring BDDs
</A>
150 <LI><A NAME=
"tex2html50"
151 HREF=
"node4.html">Programmer's Manual
</A>
153 <LI><A NAME=
"tex2html51"
154 HREF=
"node4.html#SECTION00041000000000000000">Compiling and Linking
</A>
155 <LI><A NAME=
"tex2html52"
156 HREF=
"node4.html#SECTION00042000000000000000">Reference Counts
</A>
158 <LI><A NAME=
"tex2html53"
159 HREF=
"node4.html#SECTION00042100000000000000">NULL Return Values
</A>
160 <LI><A NAME=
"tex2html54"
161 HREF=
"node4.html#SECTION00042200000000000000"><I>Cudd_RecursiveDeref
</I> vs.
<I>Cudd_Deref
</I></A>
162 <LI><A NAME=
"tex2html55"
163 HREF=
"node4.html#SECTION00042300000000000000">When Increasing the Reference Count is Unnecessary
</A>
164 <LI><A NAME=
"tex2html56"
165 HREF=
"node4.html#SECTION00042400000000000000">Saturating Increments and Decrements
</A>
167 <LI><A NAME=
"tex2html57"
168 HREF=
"node4.html#SECTION00043000000000000000">Complement Arcs
</A>
169 <LI><A NAME=
"tex2html58"
170 HREF=
"node4.html#SECTION00044000000000000000">The Cache
</A>
172 <LI><A NAME=
"tex2html59"
173 HREF=
"node4.html#SECTION00044100000000000000">Cache Sizing
</A>
174 <LI><A NAME=
"tex2html60"
175 HREF=
"node4.html#SECTION00044200000000000000">Local Caches
</A>
177 <LI><A NAME=
"tex2html61"
178 HREF=
"node4.html#SECTION00045000000000000000">The Unique Table
</A>
179 <LI><A NAME=
"tex2html62"
180 HREF=
"node4.html#SECTION00046000000000000000">Allowing Asynchronous Reordering
</A>
181 <LI><A NAME=
"tex2html63"
182 HREF=
"node4.html#SECTION00047000000000000000">Debugging
</A>
183 <LI><A NAME=
"tex2html64"
184 HREF=
"node4.html#SECTION00048000000000000000">Gathering and Interpreting Statistics
</A>
186 <LI><A NAME=
"tex2html65"
187 HREF=
"node4.html#SECTION00048100000000000000">Non Modifiable Parameters
</A>
188 <LI><A NAME=
"tex2html66"
189 HREF=
"node4.html#SECTION00048200000000000000">Modifiable Parameters
</A>
190 <LI><A NAME=
"tex2html67"
191 HREF=
"node4.html#SECTION00048300000000000000">Extended Statistics and Reporting
</A>
193 <LI><A NAME=
"tex2html68"
194 HREF=
"node4.html#SECTION00049000000000000000">Guidelines for Documentation
</A>
197 <LI><A NAME=
"tex2html69"
198 HREF=
"node5.html">The C++ Interface
</A>
200 <LI><A NAME=
"tex2html70"
201 HREF=
"node5.html#SECTION00051000000000000000">Compiling and Linking
</A>
202 <LI><A NAME=
"tex2html71"
203 HREF=
"node5.html#SECTION00052000000000000000">Basic Manipulation
</A>
206 <LI><A NAME=
"tex2html72"
207 HREF=
"node6.html">Acknowledgments
</A>
208 <LI><A NAME=
"tex2html73"
209 HREF=
"node7.html">Bibliography
</A>
210 <LI><A NAME=
"tex2html74"
211 HREF=
"node8.html">Index
</A>
213 <!--End of Table of Child-Links-->