source: vis_dev/glu-2.3/src/cuBdd/doc/footnode.html @ 103

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

library glu 2.3
File size: 1.7 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>Footnotes</TITLE>
11<META NAME="description" CONTENT="Footnotes">
12<META NAME="keywords" CONTENT="cuddIntro">
13<META NAME="resource-type" CONTENT="document">
14<META NAME="distribution" CONTENT="global">
15
16<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
17<META NAME="Generator" CONTENT="LaTeX2HTML v2K.1beta">
18<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
19
20<LINK REL="STYLESHEET" HREF="cuddIntro.css">
21
22<LINK REL="previous" HREF="node7.html">
23<LINK REL="up" HREF="cuddIntro.html">
24</HEAD>
25
26<BODY >
27
28<DL>
29<DT><A NAME="foot145">... application.</A><A NAME="foot145"
30 HREF="node3.html#tex2html10"><SUP>1</SUP></A>
31<DD>The
32  global statistical counters are used locally; hence they are
33  compatible with the use of multiple managers.
34<PRE>.
35.
36.
37.
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</PRE>
65<DT><A NAME="foot1315">...
66node.</A><A NAME="foot1315"
67 HREF="node3.html#tex2html80"><SUP>2</SUP></A>
68<DD>When the variables in a group are reordered, the
69  association between the <EM>low</EM> field and the index of the first
70  variable in the group is lost. The package updates the tree to keep
71  track of the changes. However, the application cannot rely on <EM>low</EM> to determine the position of variables.
72<PRE>.
73.
74.
75.
76.
77.
78.
79.
80.
81.
82.
83.
84.
85.
86.
87.
88.
89.
90.
91.
92.
93.
94.
95.
96.
97.
98.
99.
100.
101.
102</PRE>
103</DL>
104</BODY>
105</HTML>
Note: See TracBrowser for help on using the repository browser.