distr/cudd/doc/cuddIntro.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
   2
   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 -->
  11 <HTML>
  12 <HEAD>
  13 <TITLE>CUDD: CU Decision Diagram Package
  14 Release 2.4.2</TITLE>
  15 <META NAME="description" CONTENT="CUDD: CU Decision Diagram Package
  16 Release 2.4.2">
  17 <META NAME="keywords" CONTENT="cuddIntro">
  18 <META NAME="resource-type" CONTENT="document">
  19 <META NAME="distribution" CONTENT="global">
  20
  21 <META NAME="Generator" CONTENT="jLaTeX2HTML v2002-2-1 JA patch-2.0">
  22 <META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
  23
  24 <LINK REL="STYLESHEET" HREF="cuddIntro.css">
  25
  26 <LINK REL="next" HREF="node1.html">
  27 </HEAD>
  28
  29 <BODY >
  30 <!--Navigation Panel-->
  31 <A NAME="tex2html14"
  32   HREF="node1.html">
  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"
  36  SRC="icons/up_g.png">
  37 <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
  38  SRC="icons/prev_g.png">
  39 <A NAME="tex2html12"
  40   HREF="node8.html">
  41 <IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index"
  42  SRC="icons/index.png"></A>
  43 <BR>
  44 <B> Next:</B> <A NAME="tex2html15"
  45   HREF="node1.html">Introduction</A>
  46  &nbsp; <B>  <A NAME="tex2html13"
  47   HREF="node8.html">Index</A></B>
  48 <BR>
  49 <BR>
  50 <!--End of Navigation Panel-->
  51
  52 <H1 ALIGN="CENTER">CUDD: CU Decision Diagram Package
  53 <BR>
  54 Release 2.4.2</H1>
  55 <DIV>
  56
  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>
  60 </DIV>
  61
  62 <P>
  63 <BR><HR>
  64 <!--Table of Child-Links-->
  65 <A NAME="CHILD_LINKS"></A>
  66
  67 <UL>
  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>
  72 <UL>
  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>
  77 </UL>
  78 <BR>
  79 <LI><A NAME="tex2html20"
  80   HREF="node3.html">User's Manual</A>
  81 <UL>
  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>
  86 <UL>
  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>
  93 </UL>
  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>
 100 <UL>
 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>
 109 </UL>
 110 <LI><A NAME="tex2html33"
 111   HREF="node3.html#SECTION00036000000000000000">Creating Variables</A>
 112 <UL>
 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>
 117 </UL>
 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>
 140 <UL>
 141 <LI><A NAME="tex2html47"
 142   HREF="node3.html#SECTION000317100000000000000">Using the CUDD Package in SIS</A>
 143 </UL>
 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>
 148 </UL>
 149 <BR>
 150 <LI><A NAME="tex2html50"
 151   HREF="node4.html">Programmer's Manual</A>
 152 <UL>
 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>
 157 <UL>
 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>
 166 </UL>
 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>
 171 <UL>
 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>
 176 </UL>
 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>
 185 <UL>
 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>
 192 </UL>
 193 <LI><A NAME="tex2html68"
 194   HREF="node4.html#SECTION00049000000000000000">Guidelines for Documentation</A>
 195 </UL>
 196 <BR>
 197 <LI><A NAME="tex2html69"
 198   HREF="node5.html">The C++ Interface</A>
 199 <UL>
 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>
 204 </UL>
 205 <BR>
 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>
 212 </UL>
 213 <!--End of Table of Child-Links-->
 214 <BR><HR>
 215 <ADDRESS>
 216 Fabio Somenzi
 217 2009-02-20
 218 </ADDRESS>
 219 </BODY>
 220 </HTML>