source: vis_dev/glu-2.3/src/cuBdd/doc/cuddIntro.html

Last change on this file was 13, checked in by cecile, 15 years ago

library glu 2.3
File size: 7.9 KB
Line 
1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
2
3<!--Converted with LaTeX2HTML 2K.1beta (1.47)
4original version by: Nikos Drakos, CBLU, University of Leeds
5* revised and updated by: Marcus Hennecke, Ross Moore, Herb Swan
6* with significant contributions from:
7 Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
8<HTML>
9<HEAD>
10<TITLE>CUDD: CU Decision Diagram Package
11Release 2.4.1</TITLE>
12<META NAME="description" CONTENT="CUDD: CU Decision Diagram Package
13Release 2.4.1">
14<META NAME="keywords" CONTENT="cuddIntro">
15<META NAME="resource-type" CONTENT="document">
16<META NAME="distribution" CONTENT="global">
17
18<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
19<META NAME="Generator" CONTENT="LaTeX2HTML v2K.1beta">
20<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
21
22<LINK REL="STYLESHEET" HREF="cuddIntro.css">
23
24<LINK REL="next" HREF="node1.html">
25</HEAD>
26
27<BODY >
28<!--Navigation Panel-->
29<A NAME="tex2html175"
30 HREF="node1.html">
31<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
32 SRC="icons/next.png"></A>
33<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
34 SRC="icons/up_g.png">
35<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
36 SRC="icons/prev_g.png">
37<A NAME="tex2html173"
38 HREF="node8.html">
39<IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index"
40 SRC="icons/index.png"></A>
41<BR>
42<B> Next:</B> <A NAME="tex2html176"
43 HREF="node1.html">Introduction</A>
44 &nbsp <B> <A NAME="tex2html174"
45 HREF="node8.html">Index</A></B>
46<BR>
47<BR>
48<!--End of Navigation Panel-->
49
50<H1 ALIGN="CENTER">CUDD: CU Decision Diagram Package
51<BR>
52Release 2.4.1</H1>
53<P ALIGN="CENTER"><STRONG>Fabio Somenzi
54<BR>
55Department of Electrical and Computer Engineering
56<BR>
57University of Colorado at Boulder
58<BR><IMG
59 WIDTH="20" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
60 SRC="img1.png"
61 ALT="$&lt;$">Fabio@Colorado.EDU<IMG
62 WIDTH="20" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
63 SRC="img2.png"
64 ALT="$&gt;$"></STRONG></P>
65
66<P>
67<BR><HR>
68<!--Table of Child-Links-->
69<A NAME="CHILD_LINKS"></A>
70
71<UL>
72<LI><A NAME="tex2html177"
73 HREF="node1.html">Introduction</A>
74<LI><A NAME="tex2html178"
75 HREF="node2.html">How to Get CUDD</A>
76<UL>
77<LI><A NAME="tex2html179"
78 HREF="node2.html#SECTION00021000000000000000">The CUDD Package</A>
79<LI><A NAME="tex2html180"
80 HREF="node2.html#SECTION00022000000000000000">CUDD Friends</A>
81</UL>
82<BR>
83<LI><A NAME="tex2html181"
84 HREF="node3.html">User's Manual</A>
85<UL>
86<LI><A NAME="tex2html182"
87 HREF="node3.html#SECTION00031000000000000000">Compiling and Linking</A>
88<LI><A NAME="tex2html183"
89 HREF="node3.html#SECTION00032000000000000000">Basic Data Structures</A>
90<UL>
91<LI><A NAME="tex2html184"
92 HREF="node3.html#SECTION00032100000000000000">Nodes</A>
93<LI><A NAME="tex2html185"
94 HREF="node3.html#SECTION00032200000000000000">The Manager</A>
95<LI><A NAME="tex2html186"
96 HREF="node3.html#SECTION00032300000000000000">Cache</A>
97</UL>
98<LI><A NAME="tex2html187"
99 HREF="node3.html#SECTION00033000000000000000">Initializing and Shutting Down a DdManager</A>
100<LI><A NAME="tex2html188"
101 HREF="node3.html#SECTION00034000000000000000">Setting Parameters</A>
102<LI><A NAME="tex2html189"
103 HREF="node3.html#SECTION00035000000000000000">Constant Functions</A>
104<UL>
105<LI><A NAME="tex2html190"
106 HREF="node3.html#SECTION00035100000000000000">One, Logic Zero, and Arithmetic Zero</A>
107<LI><A NAME="tex2html191"
108 HREF="node3.html#SECTION00035200000000000000">Predefined Constants</A>
109<LI><A NAME="tex2html192"
110 HREF="node3.html#SECTION00035300000000000000">Background</A>
111<LI><A NAME="tex2html193"
112 HREF="node3.html#SECTION00035400000000000000">New Constants</A>
113</UL>
114<LI><A NAME="tex2html194"
115 HREF="node3.html#SECTION00036000000000000000">Creating Variables</A>
116<UL>
117<LI><A NAME="tex2html195"
118 HREF="node3.html#SECTION00036100000000000000">New BDD and ADD Variables</A>
119<LI><A NAME="tex2html196"
120 HREF="node3.html#SECTION00036200000000000000">New ZDD Variables</A>
121</UL>
122<LI><A NAME="tex2html197"
123 HREF="node3.html#SECTION00037000000000000000">Basic BDD Manipulation</A>
124<LI><A NAME="tex2html198"
125 HREF="node3.html#SECTION00038000000000000000">Basic ADD Manipulation</A>
126<LI><A NAME="tex2html199"
127 HREF="node3.html#SECTION00039000000000000000">Basic ZDD Manipulation</A>
128<LI><A NAME="tex2html200"
129 HREF="node3.html#SECTION000310000000000000000">Converting ADDs to BDDs and Vice Versa</A>
130<LI><A NAME="tex2html201"
131 HREF="node3.html#SECTION000311000000000000000">Converting BDDs to ZDDs and Vice Versa</A>
132<LI><A NAME="tex2html202"
133 HREF="node3.html#SECTION000312000000000000000">Variable Reordering for BDDs and ADDs</A>
134<LI><A NAME="tex2html203"
135 HREF="node3.html#SECTION000313000000000000000">Grouping Variables</A>
136<LI><A NAME="tex2html204"
137 HREF="node3.html#SECTION000314000000000000000">Variable Reordering for ZDDs</A>
138<LI><A NAME="tex2html205"
139 HREF="node3.html#SECTION000315000000000000000">Keeping Consistent Variable Orders for BDDs and ZDDs</A>
140<LI><A NAME="tex2html206"
141 HREF="node3.html#SECTION000316000000000000000">Hooks</A>
142<LI><A NAME="tex2html207"
143 HREF="node3.html#SECTION000317000000000000000">The SIS/VIS Interface</A>
144<UL>
145<LI><A NAME="tex2html208"
146 HREF="node3.html#SECTION000317100000000000000">Using the CUDD Package in SIS</A>
147</UL>
148<LI><A NAME="tex2html209"
149 HREF="node3.html#SECTION000318000000000000000">Writing Decision Diagrams to a File</A>
150<LI><A NAME="tex2html210"
151 HREF="node3.html#SECTION000319000000000000000">Saving and Restoring BDDs</A>
152</UL>
153<BR>
154<LI><A NAME="tex2html211"
155 HREF="node4.html">Programmer's Manual</A>
156<UL>
157<LI><A NAME="tex2html212"
158 HREF="node4.html#SECTION00041000000000000000">Compiling and Linking</A>
159<LI><A NAME="tex2html213"
160 HREF="node4.html#SECTION00042000000000000000">Reference Counts</A>
161<UL>
162<LI><A NAME="tex2html214"
163 HREF="node4.html#SECTION00042100000000000000">NULL Return Values</A>
164<LI><A NAME="tex2html215"
165 HREF="node4.html#SECTION00042200000000000000"><EM>Cudd_RecursiveDeref</EM> vs. <EM>Cudd_Deref</EM></A>
166<LI><A NAME="tex2html216"
167 HREF="node4.html#SECTION00042300000000000000">When Increasing the Reference Count is Unnecessary</A>
168<LI><A NAME="tex2html217"
169 HREF="node4.html#SECTION00042400000000000000">Saturating Increments and Decrements</A>
170</UL>
171<LI><A NAME="tex2html218"
172 HREF="node4.html#SECTION00043000000000000000">Complement Arcs</A>
173<LI><A NAME="tex2html219"
174 HREF="node4.html#SECTION00044000000000000000">The Cache</A>
175<UL>
176<LI><A NAME="tex2html220"
177 HREF="node4.html#SECTION00044100000000000000">Cache Sizing</A>
178<LI><A NAME="tex2html221"
179 HREF="node4.html#SECTION00044200000000000000">Local Caches</A>
180</UL>
181<LI><A NAME="tex2html222"
182 HREF="node4.html#SECTION00045000000000000000">The Unique Table</A>
183<LI><A NAME="tex2html223"
184 HREF="node4.html#SECTION00046000000000000000">Allowing Asynchronous Reordering</A>
185<LI><A NAME="tex2html224"
186 HREF="node4.html#SECTION00047000000000000000">Debugging</A>
187<LI><A NAME="tex2html225"
188 HREF="node4.html#SECTION00048000000000000000">Gathering and Interpreting Statistics</A>
189<UL>
190<LI><A NAME="tex2html226"
191 HREF="node4.html#SECTION00048100000000000000">Non Modifiable Parameters</A>
192<LI><A NAME="tex2html227"
193 HREF="node4.html#SECTION00048200000000000000">Modifiable Parameters</A>
194<LI><A NAME="tex2html228"
195 HREF="node4.html#SECTION00048300000000000000">Extended Statistics and Reporting</A>
196</UL>
197<LI><A NAME="tex2html229"
198 HREF="node4.html#SECTION00049000000000000000">Guidelines for Documentation</A>
199</UL>
200<BR>
201<LI><A NAME="tex2html230"
202 HREF="node5.html">The C++ Interface</A>
203<UL>
204<LI><A NAME="tex2html231"
205 HREF="node5.html#SECTION00051000000000000000">Compiling and Linking</A>
206<LI><A NAME="tex2html232"
207 HREF="node5.html#SECTION00052000000000000000">Basic Manipulation</A>
208</UL>
209<BR>
210<LI><A NAME="tex2html233"
211 HREF="node6.html">Acknowledgments</A>
212<LI><A NAME="tex2html234"
213 HREF="node7.html">Bibliography</A>
214<LI><A NAME="tex2html235"
215 HREF="node8.html">Index</A>
216</UL>
217<!--End of Table of Child-Links-->
218<BR><HR>
219<ADDRESS>
220Fabio Somenzi
2212005-05-17
222</ADDRESS>
223</BODY>
224</HTML>
Note: See TracBrowser for help on using the repository browser.