3 Functions to read in and write out BDDs, ADDs and CNF formulas from and
6 Gianpiero Cabodi and Stefano Quer
7 BDDs, ADDs and CNF formulas
8 from and to files. 7 e. Dh
9 <dt> <a href="dddmpAllDet.htm
10 l#Dddmp_cuddHeaderLoad" TARGET="M
11 AIN"><code>Dddmp_cuddHeaderLoad()
12 </code></a> </a> a> </a>
13 1 p Bp Bctions for the dddmp
14 package r D0 0 rintCubeCnf r
15 y de ecur ecur inalCheck ion.)
17 ( Memory Free Macro for DDD
18 MP DDDMP he DDDMP_FAILURE flag.
19 the error. r. . on. er of its inc
20 oming BDD edges. of the file. e.
21 } <DT> <A HREF="dddmpAllDet.
22 html#" TARGET="MAIN"><CODE>()</CO
23 DE></A> ntCubeCnf()</CODE></A>
24 </A> </A> ODE></A> ODE></A>
25 Check()</CODE></A> q Gianpi
26 ero Cabodi and Stefano Quer BDD
27 s, ADDs and CNF formulas from
28 and to files. 7 e. Dh <dt
29 > <a href="dddmpAllDet.htm l#Dddm
30 p_cuddHeaderLoad" TARGET="M AIN">
31 <code>Dddmp_cuddHeaderLoad() </co
32 de></a> </a> a> </a> 1 p
33 Bp Bctions for the dddmp package
34 r D0 0 rintCubeCnf r y de ec
35 ur ecur inalCheck ion.) d§
37 Memory Free Macro for DDD MP DDDM
38 P he DDDMP_FAILURE flag. the erro
39 r. r. . on. er of its inc oming B
40 DD edges. of the file. e. }
41 <DT> <A HREF="dddmpAllDet. html#"
42 TARGET="MAIN"><CODE>()</CO DE></A
43 > ntCubeCnf()</CODE></A> </A> <
44 /A> ODE></A> ODE></A> Check(
45 )</CODE></A> q Gianpi ero Ca
46 bodi and Stefano Quer BDD s, AD
47 Ds and CNF formulas from and
48 to files. 7 e. Dh <dt > <
49 a href="dddmpAllDet.htm l#Dddm p_
50 cuddHeaderLoad" TARGET="M AIN"> <
51 code>Dddmp_cuddHeaderLoad() </co
52 hauxidsÃ
\x01 Ю H Bf variable aux
53 uxids, bá
\0\0 Ю H BþvarcomposeidsþI
54 dsþIN:Á
\0 Ю H Bw ids, by idsÿint
55 ¿int þmodeþI Ю H B input fil
56 file formatÿy Ю H BþIN: file
57 le nameÿFILY Ю H B file point
58 nterÿDdNod9 Èö x BtsþOUT: arra
59 rray of returned BDD roots REEp
60 >./doc/dddmpAllFile.html MP
65 A ) h ï
\x10\x19 superscriptsandsubs
66 bscripts InSuppl2 « ) ׶r
67 ry supplementalarrowsa ¬ ð«
\x05\b
68 InSupple ¬ ) Sf supp
69 lementalarrowsb InSup
70 pl5 ª 1 X\q5! supplementalma
71 thematicaloperators InSuppl
72 3 ¬ 1 ² supplementarypri
73 vateuseareaa p InSuppl4
74 1 #K supplementarypriva
75 teuseareab ð®
\x05\b Cs BH BP¯
78 Syriac B`« ëI[n syriac
79 ð«
\x05\b Tagalog P¬ +Óå
\a\0 tagal
81 zâß8 tagbanwa InTags B0®
82 ® ·¿dù
\x04\0\0\0tags À® Tamil
83 mil B ¯ ô
\x05µÔ tamil °¯
84 Telugu B ° ä£Ò) telugu
86 terminalpunctuation ² ð±
\x05\b T
87 Thaana BP² ÌÞí
\x06\0 thaana à²
\x05
88 à²
\x05 Thai B@³ à5
\x1få
\x04\0 thai
90 8+ tibetan ´ Lt BH B µ
91 ! Ù^ÿ
\x0f\0\0\0titlecaseletter Cn BH B
93 signed InUnifie « 1 ÿít"
\0\0\0unifiedca
94 unifiedcanadianaboriginalsylla
96 unifiedideograph Uppercas
98 u BH Bð®
\x05\b! è
\x10\fÝ
\x0f uppercaseletter
99 etter ¯ InVariat ° ! ,
100 variationselectors Whit
104 InYiRadi ² èsÒ< yiradical
105 als InYiSyll ³ ! Å
\x0fé
\v yis
108 **********************************************************************
110 Dddmp_Bin2Text() Converts from binary to ASCII format
111 DDDMP_FAILURE flag. the error. r.
112 . on. er of its incoming BDD edges.
113 of the file. e. } <DT> <A
114 HREF="dddmpAllDet.html#" TARGET="MAI
115 N"><CODE>()</CODE></A> ntCubeCnf()<
116 /CODE></A> </A> </A> ODE></A>
117 ODE></A> Check()</CODE></A> q
118 B Bo Cabodi and Stefano Quer
119 BDDs, ADDs and CNF formulas from
120 and to files. 7 e. Dh <dt> <
121 a href="dddmpAllDet.htm l#Dddmp_cudd
122 HeaderLoad" TARGET="M AIN"><code>Ddd
123 mp_cuddHeaderLoad() </code></a> </a
124 > a> </a> 1 p Bp Bctions for
125 the dddmp package r D0 0 rintCu
126 beCnf r y de ecur ecur inalCheck io
128 ( Memory Free Macro for DDD MP
129 DDDMP he DDDMP_FAILURE flag. the err
130 or. r. . on. er of its inc oming BDD
131 edges. of the file. e. } <DT> <
132 A HREF="dddmpAllDet. html#" TARGET="
133 MAIN"><CODE>()</CO DE></A> ntCubeCn
134 f()</CODE></A> </A> </A> ODE></A>
135 ODE></A> Check()</CODE></A> q
136 Gianpi ero Cabodi and Stefano Quer
137 BDD s, ADDs and CNF formulas fro
138 m and to files. 7 e. Dh <dt
139 > <a href="dddmpAllDet.htm l#Dddm p_
140 cuddHeaderLoad" TARGET="M AIN"> <cod
141 e>Dddmp_cuddHeaderLoad() </co hauxi
142 dsÃ
\x01 Ю H Bf variable auxids, bá
\0\0 Ю
143 Ю H BþvarcomposeidsþIN:Á
\0 Ю H
144 ® H Bw ids, by idsÿint þmodeþI
145 Ю H B input file formatÿy Ю
146 ® H BþIN: file nameÿFILY Ю H B
147 B file pointerÿDdNod9 Èö x Btsþ
148 sþOUT: array of returned BDD roots R
149 REEp >./doc/dddmpAllFile.html
154 ï
\x10\x19 superscriptsandsubscripts
155 InSuppl2 « ) ׶ry supplement
156 talarrowsa ¬ ð«
\x05\b InSupple ¬ )
157 Sf supplementalarrowsb
158 InSuppl5 ª 1 X\q5! suppl
159 ementalmathematicaloperators I
160 nSuppl3 ¬ 1 ² supplementary
161 privateuseareaa p InSuppl4
162 1 #K supplementaryprivateu
163 seareab ð®
\x05\b Cs BH BP¯ äÇö
164 äÇö surrogate S BH B
165 Fu symbol « Syriac B`
166 « ëI[n syriac ð«
\x05\b Tagalog P¬
167 og P¬ +Óå
\a\0 tagalog ¬ Tagb
168 agbanwa zâß8 tagbanwa
169 InTags B0® ·¿dù
\x04\0\0\0tags À®
170 ® Tamil B ¯ ô
\x05µÔ tamil
171 °¯ Telugu B ° ä£Ò) tel
172 elugu ° Terminal ± ) ®4
173 terminalpunctuation ² ð±
\x05\b Thaa
174 haana BP² ÌÞí
\x06\0 thaana à²
\x05 Th
175 Thai B@³ à5
\x1få
\x04\0 thai г
176 ³ Tibetan 0´ 8+ tibet
177 an ´ Lt BH B µ ! Ù^ÿ
\x0f\0\0\0titlecaselette
178 itlecaseletter Cn BH B
179 Ê¡¤W unassigned InUnifie «
180 « 1 ÿít"
\0\0\0unifiedcanadianaboriginalsyllabic
181 inalsyllabics UnifiedI ¬ ! ª
182 ßN unifiedideograph Upperc
183 cas ® èñê? uppercase Lu
184 u BH Bð®
\x05\b! è
\x10\fÝ
\x0f uppercaseletter ¯
185 er ¯ InVariat ° ! , v
186 ariationselectors WhiteSpa ±
190 èsÒ< yiradicals InYiSyll ³
191 ³ ! Å
\x0fé
\v yisyllables ´ ´
193 Dddmp_Text2Bin() Converts from ASCII to binary format
195 Dddmp_cuddAddArrayLoad() Reads a dump file representing the argument
198 Dddmp_cuddAddArrayStore() Writes a dump file representing the argument
201 Dddmp_cuddAddLoad() Reads a dump file representing the argument
202 ADD. a b c d e f g h i
204 Dddmp_cuddAddStore() Writes a dump file representing the argument
205 ADD. l m n o p q r s t u v
207 Dddmp_cuddBddArrayLoadCnf() Reads a dump file in a CNF format.
210 Dddmp_cuddBddArrayLoad() Reads a dump file representing the argument
213 Dddmp_cuddBddArrayStoreBlif() Writes a dump file representing the argument
217 Dddmp_cuddBddArrayStoreCnf() Writes a dump file representing the argument
221 Dddmp_cuddBddArrayStorePrefix()
222 Writes a dump file representing the argument
226 Dddmp_cuddBddArrayStoreSmv() Writes a dump file representing the argument
230 Dddmp_cuddBddArrayStore() Writes a dump file representing the argument
233 Dddmp_cuddBddDisplayBinary() Display a binary dump file in a text file
234 x t4 ¨« 4 Î
\x15
235 À« ¤ Î
\x15 ¤4 8Î
\x15 8¬ t9 8Î
\x15 ¼4
236 ¼4 `! P¬ Ô `! Ô4 x! Ȭ l= x!
237 ! ì4
\x10 I à¬
\x05 ì®
\x18 I 5 (I X T
238 T (I 5 `M p ¤9 `M 45
239 xM è
\x05 @ xM L5 HÕ
\x15 ® E HÕ
\x15
240 d5 `Õ
\x15 x® ìä
\x14 `Õ
\x15 |5 àÕ
\x15 ® dH àÕ
\x15
241 H àÕ
\x15 5 øÕ
\x15\b\b¯ ðU
\x18\bøÕ
\x15\b\0 ¬5 èº
\x16 ¯ 4¬ èº
\x16
242 ¯ 4¬ èº
\x16 Ä5 » ¯ p: » Ü5
243 Ü5 Ð °¯ G Ð ô5
\x10\bè
\x14 (° ç
\x14\bè
\x14 6
244 è
\x14 6 Èû @° < Èû $6 àû
\x15 ¸° @:
245 ° @: àû
\x15 <6 8 а Tæ
\x14\b8 T6 P
246 P H± ÜE P l6 . `± L¬ .
247 6 8. ر ðB
\x18\b8. 6 x
\x7f ð±
\x05\bP x
\x7f
248 P x
\x7f ´6
\x7f h² ¤>
\x7f Ì6
\x7f
249 \x7f ² Û
\x14 \x7f ä6
\x10 ¸
\x7f ø²
\x05\bÄ ¸
\x7f ü6
\x10\b\0ý ³
250 ü6
\x10\b\0ý ³ à
\x18 ý
\x16\b\0\0\0 7 ý
\x16\b³
\x05 ´8 ý
\x16\b\0\0\0 th 03
251 ý
\x16\b\0\0\0 th 03 BÔh @7 0ý
\x16\b ³
\x05 Äâ 0ý
\x16\b\0\0\0 X7 ÐL
252 Äâ 0ý
\x16\b\0\0\0 X7 ÐL ´ ,ë
\x14\bÐL p7 èL
\x16 0´ èL
\x16
253 L 0´ èL
\x16 7 M ¨´ |d M
254 7 À´ A ¸7 ° 8µ ä=
\x18 °
255 ° Ð7 È
\v Pµ H¡ È
\v è7
\x10 Ð÷ ,F ÈV
256 ,F ÈV Ð÷ 8 è÷
\x16 DF èà
\x14 è÷
\x16 8 ø
\x16\b¼F T
257 8 ø
\x16\b¼F T= ø
\x16\b\0\0 08 8÷
\x16\bÔF |¬ 8÷
\x16\b\0 H8 P÷
\x16\bLG
258 H8 P÷
\x16\bLG Àè P÷
\x16\b\0 `8 h÷
\x16\bdG Ì h÷
\x16\b\0
259 Ì h÷
\x16\b\0 à5
\x12 Äf @¤ i 8 Èê ôG
\x15\bX
260 Èê ôG
\x15\bX Èê ¨8 àê
\x16 lH ¸5 àê
\x16 À8 ê
\x16\b
261 À8 ê
\x16\b W d ê
\x16\b Ø8 0ê
\x16\bW 8 0ê
\x16\b
262 0ê
\x16\b ð8
\x10\bÝ
\x16 W ¨á
\x14\bÝ
\x16 9 ¨Ý
\x16 X ¡ ¨
263 X ¡ ¨Ý
\x16 9 øÜ
\x16\b0X À3 øÜ
\x16\b\0 89 Ý
\x16 ¨X
264 89 Ý
\x16 ¨X äê
\x14 Ý
\x16 P9 o ÀX ¼c o
265 o h9 o 8Y Ø6 o 9 ÐÈ PY
266 ? ÐÈ 9 èÈ
\x15 ÈY pº èÈ
\x15 °9 É
\x15 àY
\x15
267 É
\x15 àY
\x15 Ø8 É
\x15 È9 XZ ä
\x14\b à9
\x10 È
268 à9
\x10 È pZ ¸T È ø9
\x10\bà
\x15\bìb
\x15 `; à
\x15\b :
269 ; à
\x15\b : ¨à
\x15\b c è
\x14\b¨à
\x15\b (: xÍ
\x15 |c ÌÜ
270 |c ÌÜ xÍ
\x15 @: Í
\x15 c 4 Í
\x15 X:
271 X: ¸Í
\x15 d = ¸Í
\x15 8 Y ðn
\x14\b(
272 ðn
\x14\b(Z : ð"
\x15\bd ß
\x14 ð"
\x15\b : ¨I ´d > ¨I
273 d > ¨I @¤ ± Tí
\x14\b8 `® Ð:
274 » De 0è
\x14\b» è:
\x10 » ¼e ? »
275 ; À» Ôe (£ À» ÌÞ `J Lf \ù
\x15\bù
276 \ù
\x15\bù ) Ì]µÙ
\x14 miscellaneoussymbols
277 ols Dv InMisce2 ) Üy mis
278 scellaneoustechnical Lm BH B\[
279 Sk BX B InCjkCo3 Sup
283 ««q «««««««««««««««« h
284 ( ««« à4
\x14 °g hh V q
285 q üë
\x13\b\0\0 ñ
\x0f\b\x01 «««« xf (
287 ÿÿÿÿ««««
\x03\0\0\0\x01 È) ( «««
289 ÿÿÿÿ««««
\x03\0\0\0\x01 ¸- h «««
291 ÿÿÿÿ««««
\x05\0\0\0\x01 ¸- h «««
293 ÿÿÿÿ««««
\x05\0\0\0\x01 0 ¨ó
\x13\b«««
294 ó
\x13\b««« È© ¸¬ p ³ ´¡
295 ´¡ «««« ø°
\x10\b\v Ð «««
296 «««4w 5 H\ \ ½ «« ««««
297 «««««««««««« ðà
\x11\b Ð «««
298 ««« Þ
\x11 ¨ß
\x11 Èà tÈ
\x04 <ø
\x11\b\0\0 ½ ««
300 « H P tÈ
\x04 0ø
\x11\b\0\0 ½ «
301 «««««««««««««««««««««««««««««««««««««
302 «««««««««««««««««««««««««««««««««««««««««
303 «««««««««««««««««««««««««««««««««««««««««
304 «««««««««««««««««««««««««««««««««««««««««
305 «««««««««««««««««««««««««««««««««««««««««
306 «««««««««««««««««««««««««««««««««««««««««
307 «««««««««««««««««««««««««««««««««««««««««
308 «««««««««««««««««««««««««««««««««««««««««
309 «««««««««««««««««««««««««««««««««««««««««
310 «««««««««««««««««««««««««««««««««««««««««
311 «««««««««««««««««««««««««««««««««««««««««
312 «««««««««««««««««««««««««««««««««««««««««
313 «««««««««««««««««««««««««««««««««««««««««
314 «««««««««««««««««««««««««««««««««««««««««
315 «««««««««««««««««««««««««««««««««««««««««
316 «««««««««««««««««««««««««««««««««««««««««
317 «««««««««««««««««««««««««««««««««««««««««
318 «««««««««««««««««««««««««««««««««««««««««
319 «««««««««««««««««««««««««««««««««««««««««
320 «««««««««««««««««««««««««««««««««««««««««
321 «««««««««««««««««««««««««««««««««««««««««
322 «««««««««««««««««««««««««««««««««««««««««
323 «««««««««««««««««««««««««««««««««««««««««
324 «««««««««««««««««««««««««««««««««««««««««
325 «««««««««««««««««««««««««««««««««««««««««
326 «««««««««««««««««««««««««««««««««««««««««
327 «««««««««««««««««««««««««««««««««««««««««
328 ««««««««««««««««««««« bac BidiR BPì
\x13\b
329 y>: BidiR |U DCfinal |
330 KN` DCfinal E DCfont B
331 ÷»s DCfont ü
\v\x13\b\x11\0 DCfracti D ÕÏoó
334 \0\0 DCfraction DCinitia Bidi
335 BidiRLE l; ÀK Õ
\a BidiRLE ; Bid
336 idiRLO ä;
\x14 <ü@-
\a\0\0 BidiRLO < BidiS B\
337 diS B\< Þäñ£
\x05\0 BidiS ÿ
\x13\b\x11\0\0\0BidiWS BHÿ
\x13\b\x19\0\0\0ù<!
\x06\0 BidiWS
338 iWS BHÿ
\x13\b\x19\0\0\0ù<!
\x06\0 BidiWS ÿ
\x13\b\x11\0\0\0Blank
\0 BÀÿ C BP B
339 k BÀÿ C BP B 'ÜôR DCiniti
342 ated DCmedial ; ' DCmedia
343 l DCnarrow ; Hh¼ DCnarrow
345 DCsmall `ÿ
\x13\b\x19\0\0\0ÈÁ|²
\a\0 DCsmall ÿ
\x13\b\x11\0\0\0DCsquare ÿ
\x13\b\x19\0\0\0,
\x1aãd
\b\0 DCsqua
346 DCsquare ÿ
\x13\b\x19\0\0\0,
\x1aãd
\b\0 DCsquare DCsub
347 DCsub BP 2ô5v
\x05 DCsub
348 DCsuper È
\0 ,4Q DCsuper
351 DCwide Bx dôgx
\x06 DCwide À Dig
352 Digit Bð
\x14\b V&'µ Digit Gra
353 Graph Bh $^2Û
\x05 Graph ù
\x03\0\0¸N x
354 N x B9 0¨ D E ö
\x19\bC D hW Ï
\0 Ð
\0
355 Ð
\0 ¥ ) * Hl L M 8I + ,
356 °ø
\x14\bÛ
\0 Ü
\0 H¡ 7 8 XÐ
\x16 D E . 6 7
357 6 7 ð
\a\x17\bV W ðl
\x17\b^ _ Xm A B ÀH
362 ø
\x15\b\x06 Ð èÚ
\x15 Ú
\x15
363 Ú
\x15 ÷
\x15\b\x05 ! pN
365 Õ
\x15 M PI è
\x15\x15
371 À
\x15 ø~
\x15\b\x05 \x7f
378 ` à`
\x17 ø
\x03\0\0ù XD 8 Br',
382 © ¸ Ø © ä
\b\x13 Ø ø
\x14\b
383 ø
\x14\b© ø
\x14\b\f DK ¤©
386 ¨ Ô© ¨ È à©
\x05 È 0H
387 0H è
\x14 ì©
\x05 è
\x14 ø©
\x05\b\0
390 S (ª TÍ
\x11 S üJ
\x10\b(S 4ª (S
391 S PS @ª PS L ðÍ
\x14\bLª
392 ðÍ
\x14\b Î
\x14 Xª Î
\x14 \K 0Î
\x14 d
393 0Î
\x14 dª 0Î
\x14 PÎ
\x14 pª PÎ
\x14
394 ÔK pÎ
\x14 |ª pÎ
\x14 Î
\x14 ª Î
\x14
395 Î
\x14 ,K ÈÎ ª ÈÎ h§ =
396 = h§ \k è
\x1f\x14 ü
\x16\x16\b\0\0 à5
\x12 ¬
397 à5
\x12 ¬U Hn ; 8 ª HÊ
\x11 8
398 8 w 8Â
\x15 äí
\x15
399 (. - ðn
\x14\b¬ª ôG
\x13\bðn
\x14\b äM
\x10 8 Pì
\x13\b
400 8 Pì
\x13\b 8 (. Ì"
402 ØD @¤ è
\x1f\x14 D< p xu
404 P 8Â
\x15 ù
\x03\0\0à© B Ø ø
\x14\b\x02
407 àÍ
\x14 Î
\x14 Î
\x14 @Î
\x14
408 @Î
\x14 `Î
\x14 Î
\x14 ¸Î
\x14
410 h G H ! @þ
\x14\ba
\x01\0\0b F
411 F G à5
\x15 ì
\0\0 í
\0\0 @8 " # 8 : ;
412 ; « H I 8l Á
\0 Â
\0 > : ; ¨½
413 ¨½ @ A ' ( ¿ À
\0 %
414 & øk
\x17\bI J e 8 9 M Ë
\0 Ì
\0 øM
\x13\b%
415 øM
\x13\b% & Øe I J Øá G H ° 7 8
416 7 8 Æ
\x19 Y Z ðd
\x17\b `n 0 1
417 1 ÷
\x15\b+ , (+ H I ð`
\x17\b À( :
418 ( : ; À : ; p ) * Â
\x15 *
419 + XÎ
\x19 I J Xÿ
\x19\b
\0\0\0
\0\0\0X 0 1 @o X Y
420 @o X Y W @ A Ó
\x19 hI 1
421 1 2 ¨Ó
\x19 B C Øå « ¬ Ø8 @ A
422 · : ; B в = > àñ
\x14 N
423 N O B C ¸Î
\x15 ; < î
\x14\bÐ
\x02 Ñ
\x02
424 Ñ
\x02 °² h o p Æ
\x19 0 1 ðv
\x19\bJ
425 ðv
\x19\bJ K 8 C D àÛ
\x18 H I øì
\x15\b+ , '
427 u B C @í
\x19\bú
\0\0\0û ¡ + , Ô
\x15 L M
428 L M àn
\x17 = > X Ñ
\0 Ò
\0 `ú
\x18\b+
\0 ,
429 , ±Ê SpacePerl Title
430 B g òß
\x05\0 Title Upper B
433 W"é
\x06\0 XDigit ù
\x03\0\0 " à
\x15\x13B = $Ø
\x15
436 0 h= D E P/ E F XE â
\x1f\0 ÐG
438 Û
\0 (E % & ¨¹ - . à
\x15\b( )
441 \x7f ) T Hj 7 Ä
\0 P÷
\x15\b) * ÷
\x15\b\x04
444 Dddmp_cuddBddLoadCnf() Reads a dump file in a CNF format.
445 àà
\x15 ' ( Èý ! `! 9 :
449 È
\x15 S T
\x7f C D ȵ
452 > Pü
\x14\bH
\x01\0 I P. a b ¸" Q R
454 ( ) P" ø
\x14\b^
\0 _ o G
455 o G H È~ pü
\x16\b#
\0\0 $ È{ i
457 (â
\x16\bF G j øÜ
\x16\bH I
460 7 8 8÷
\x16\bG H H© ú
\x01\0\0û á
\x15\b
463 Dddmp_cuddBddLoad() Reads a dump file representing the argument
466 Dddmp_cuddBddStoreBlif() Writes a dump file representing the argument
470 Dddmp_cuddBddStoreCnf() Writes a dump file representing the argument
474 Dddmp_cuddBddStorePrefix() Writes a dump file representing the argument
478 Dddmp_cuddBddStoreSmv() Writes a dump file representing the argument
482 Dddmp_cuddBddStore() Writes a dump file representing the argument
485 Dddmp_cuddHeaderLoadCnf() Reads the header of a dump file representing
489 Dddmp_cuddHeaderLoad() Reads the header of a dump file representing
493 **********************************************************************
499 char * filein, IN: name of binary file
500 of the variables creat
502 ></i> > <i>OUT: maximu
503 m identifier of the var
504 iables created</i> i>
506 tions for the dddmp pac
508 in Blif form. <P> rmul
509 a from a BDD or an arra
511 char * fileout IN: name of ASCII file
514 Converts from binary to ASCII format. A BDD array is loaded and and stored
519 ! ó
\x0f\b¨ó
\x0f\bг @
521 ô
\x0f\bô
\x0f\bÈ
\f@ t
526 ® @ó
\x0f\b ó
\x0f\bp
534 tf8 ! @ô
\x0f\b\0 °´ @