source: vis_dev/glu-2.1/src/cuBdd/doc/footnode.html@ 8

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

src glu
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.