distr/cudd/doc/footnode.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>Footnotes</TITLE>
  14 <META NAME="description" CONTENT="Footnotes">
  15 <META NAME="keywords" CONTENT="cuddIntro">
  16 <META NAME="resource-type" CONTENT="document">
  17 <META NAME="distribution" CONTENT="global">
  18
  19 <META NAME="Generator" CONTENT="jLaTeX2HTML v2002-2-1 JA patch-2.0">
  20 <META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
  21
  22 <LINK REL="STYLESHEET" HREF="cuddIntro.css">
  23
  24 <LINK REL="previous" HREF="node7.html">
  25 <LINK REL="up" HREF="cuddIntro.html">
  26 </HEAD>
  27
  28 <BODY >
  29
  30 <DL>
  31 <DT><A NAME="foot139">... application.</A><A
  32  HREF="node3.html#tex2html3"><SUP>1</SUP></A></DT>
  33 <DD>The
  34   global statistical counters are used locally; hence they are
  35   compatible with the use of multiple managers.
  36
  37 <PRE>.
  38 .
  39 .
  40 .
  41 .
  42 .
  43 .
  44 .
  45 .
  46 .
  47 .
  48 .
  49 .
  50 .
  51 .
  52 .
  53 .
  54 .
  55 .
  56 .
  57 .
  58 .
  59 .
  60 .
  61 .
  62 .
  63 .
  64 .
  65 .
  66 .
  67 </PRE>
  68 </DD>
  69 <DT><A NAME="foot1076">...
  70 node.</A><A
  71  HREF="node3.html#tex2html4"><SUP>2</SUP></A></DT>
  72 <DD>When the variables in a group are reordered, the
  73   association between the <I>low</I> field and the index of the first
  74   variable in the group is lost. The package updates the tree to keep
  75   track of the changes. However, the application cannot rely on
  76   <I>low</I> to determine the position of variables.
  77
  78 <PRE>.
  79 .
  80 .
  81 .
  82 .
  83 .
  84 .
  85 .
  86 .
  87 .
  88 .
  89 .
  90 .
  91 .
  92 .
  93 .
  94 .
  95 .
  96 .
  97 .
  98 .
  99 .
 100 .
 101 .
 102 .
 103 .
 104 .
 105 .
 106 .
 107 .
 108 </PRE>
 109 </DD>
 110 </DL>
 111 </BODY>
 112 </HTML>