Did you know ... Search Documentation:
Pack bddem -- cudd-3.0.0/dddmp/doc/dddmpDoc.txt

The dddmp package

Functions to read in and write out BDDs, ADDs and CNF formulas from and to

Gianpiero Cabodi and Stefano Quer BDDs, ADDs and CNF formulas from and to files. ˜7 e. Dh ‰ <dt> <a href="dddmpAllDet.htm l#Dddmp_cuddHeaderLoad" TARGET="M AIN"><code>Dddmp_cuddHeaderLoad() </code></a> </a> a> </a> 1 p Bp Bctions for the dddmp package r D0 0 rintCubeCnf r y de ecur ecur inalCheck ion.) d§ @ w . e. y, ( ‰ Memory Free Macro for DDD MP DDDMP he DDDMP_FAILURE flag. the error. r. . on. er of its inc oming BDD edges. of the file. e. } ™ <DT> <A HREF="dddmpAllDet. html#" TARGET="MAIN"><CODE>()</CO DE></A> ntCubeCnf()</CODE></A> </A> </A> ODE></A> ODE></A> Check()</CODE></A> q Gianpi ero Cabodi and Stefano Quer BDD s, ADDs and CNF formulas from and to files. ˜7 e. Dh ‰ <dt > <a href="dddmpAllDet.htm l#Dddm p_cuddHeaderLoad" TARGET="M AIN"> <code>Dddmp_cuddHeaderLoad() </co de></a> </a> a> </a> 1 p Bp Bctions for the dddmp package r D0 0 rintCubeCnf r y de ec ur ecur inalCheck ion.) d§ @ w . e. y, ( ‰ Memory Free Macro for DDD MP DDDM P he DDDMP_FAILURE flag. the erro r. r. . on. er of its inc oming B DD edges. of the file. e. } ™ <DT> <A HREF="dddmpAllDet. html#" TARGET="MAIN"><CODE>()</CO DE></A > ntCubeCnf()</CODE></A> </A> < /A> ODE></A> ODE></A> Check( )</CODE></A> q Gianpi ero Ca bodi and Stefano Quer BDD s, AD Ds and CNF formulas from and to files. ˜7 e. Dh ‰ <dt > < a href="dddmpAllDet.htm l#Dddm p_ cuddHeaderLoad" TARGET="M AIN"> < code>Dddmp_cuddHeaderLoad() </co hauxidsÃ Ю H Bf variable aux uxids, bá Ю H BþvarcomposeidsþI dsþIN:Á Ю H Bw ids, by idsÿint ¿int þmodeþI™ Ю H B input fil file formatÿy Ю H BþIN: file le nameÿFILY Ю H B file point nterÿDdNod9 Èö x BtsþOUT: arra rray of returned BDD roots REEp >./doc/dddmpAllFile.html MP 9 til.c a ôÝ < s ° @ A ) h ï superscriptsandsubs bscripts InSuppl2 « ) ׶r ry supplementalarrowsa ¬ ð« InSupple ¬ ) ˜ Sf supp lementalarrowsb   Œ  InSup pl5 ª 1 X\q5! supplementalma thematicaloperators InSuppl 3 ¬ 1 ² œ supplementarypri vateuseareaa p­ InSuppl4 ­ 1 #K supplementarypriva teuseareab ð® Cs BH BP¯ ŸäÇö surrogate S BH H BŒ  Fu symbol « Syriac B`« ëI[n syriac ð« Tagalog P¬ +ӏå tagal tagalog ¬ Tagbanwa ­ zâß8 tagbanwa InTags B0® ® ·¿dùtags À® Tamil mil B ¯ ôµÔ tamil °¯ Telugu B ° ä£Ò) telugu gu  ° Terminal ± ) ®Ÿ4 terminalpunctuation ² ð± T Thaana BP² ÌÞí thaana ಠಠThai B@³ à5å thai thai г Tibetan 0´ ž8 8+ tibetan ´ Lt BH B µ ! Ù^ÿtitlecaseletter   Cn BH B Cn BH BŒ  Ê¡¤W unass signed InUnifie « 1 ÿíœt"unifiedca unifiedcanadianaboriginalsylla bics UnifiedI ¬ ! ªßN  unifiedideograph Uppercas ® èñê? uppercase Lu u BH Bð®! è Ý uppercaseletter etter ¯ InVariat ° ! , variationselectors Whit eSpa ± Áå;Á whitespace Yi BH B ² as¡½ yi InYiRadi ² èsÒ< yiradical als InYiSyll ³ ! Åé€ yis yisyllables ´ ´

Dddmp_Bin2Text() Converts from binary to ASCII format DDDMP_FAILURE flag. the error. r. . on. er of its incoming BDD edges. of the file. e. } ™ <DT> <A HREF="dddmpAllDet.html#" TARGET="MAI N"><CODE>()</CODE></A> ntCubeCnf()< /CODE></A> </A> </A> ODE></A> ODE></A> Check()</CODE></A> q ˆ Bˆ Bo Cabodi and Stefano Quer BDDs, ADDs and CNF formulas from and to files. ˜7 e. Dh ‰ <dt> < a href="dddmpAllDet.htm l#Dddmp_cudd HeaderLoad" TARGET="M AIN"><code>Ddd mp_cuddHeaderLoad() </code></a> </a > a> </a> 1 p Bp Bctions for the dddmp package r D0 0 rintCu beCnf r y de ecur ecur inalCheck io n.) d§ @ w . e. y, ( ‰ Memory Free Macro for DDD MP DDDMP he DDDMP_FAILURE flag. the err or. r. . on. er of its inc oming BDD edges. of the file. e. } ™ <DT> < A HREF="dddmpAllDet. html#" TARGET=" MAIN"><CODE>()</CO DE></A> ntCubeCn f()</CODE></A> </A> </A> ODE></A> ODE></A> Check()</CODE></A> q Gianpi ero Cabodi and Stefano Quer BDD s, ADDs and CNF formulas fro m and to files. ˜7 e. Dh ‰ <dt > <a href="dddmpAllDet.htm l#Dddm p_ cuddHeaderLoad" TARGET="M AIN"> <cod e>Dddmp_cuddHeaderLoad() </co hauxi dsÃ Ю H Bf variable auxids, bá Ю Ю H BþvarcomposeidsþIN:Á Ю H ® H Bw ids, by idsÿint þmodeþI™ Ю H B input file formatÿy Ю ® H BþIN: file nameÿFILY Ю H B B file pointerÿDdNod9 Èö x Btsþ sþOUT: array of returned BDD roots R REEp >./doc/dddmpAllFile.html MP 9 til.c a ôÝ < s ° @ A ) h ï superscriptsandsubscripts InSuppl2 « ) ׶ry supplement talarrowsa ¬ ð« InSupple ¬ ) ˜ Sf supplementalarrowsb   Œ   InSuppl5 ª 1 X\q5! suppl ementalmathematicaloperators I nSuppl3 ¬ 1 ² œ supplementary privateuseareaa p­ InSuppl4 ­ 1 #K supplementaryprivateu seareab ð® Cs BH BP¯ ŸäÇö äÇö surrogate S BH BŒ  Fu symbol « Syriac B` « ëI[n syriac ð« Tagalog P¬ og P¬ +ӏå tagalog ¬ Tagb agbanwa ­ zâß8 tagbanwa InTags B0® ·¿dùtags À® ® Tamil B ¯ ôµÔ tamil °¯ Telugu B ° ä£Ò) tel elugu  ° Terminal ± ) ®Ÿ4 terminalpunctuation ² ð± Thaa haana BP² ÌÞí thaana ಠTh Thai B@³ à5å thai г ³ Tibetan 0´ ž8+ tibet an ´ Lt BH B µ ! Ù^ÿtitlecaselette itlecaseletter   Cn BH BŒ  Ê¡¤W unassigned InUnifie « « 1 ÿíœt"unifiedcanadianaboriginalsyllabic inalsyllabics UnifiedI ¬ ! ª ßN  unifiedideograph Upperc cas ® èñê? uppercase Lu u BH Bð®! è Ý uppercaseletter ¯ er ¯ InVariat ° ! , v ariationselectors WhiteSpa ± Áå;Á whitespace Yi BH B ² ² as¡½ yi InYiRadi ² èsÒ< yiradicals InYiSyll ³ ³ ! Åé€ yisyllables ´ ´

Dddmp_Text2Bin() Converts from ASCII to binary format

Dddmp_cuddAddArrayLoad() Reads a dump file representing the argument ADDs.
Dddmp_cuddAddArrayStore() Writes a dump file representing the argument Array of
Dddmp_cuddAddLoad() Reads a dump file representing the argument ADD. a b c d e f g h i
Dddmp_cuddAddStore() Writes a dump file representing the argument ADD. l m n o p q r s t u v
Dddmp_cuddBddArrayLoadCnf() Reads a dump file in a CNF format. u v w x y z
Dddmp_cuddBddArrayLoad() Reads a dump file representing the argument BDDs.
Dddmp_cuddBddArrayStoreBlif() Writes a dump file representing the argument BDD in a Blif/Exlif notation.
Dddmp_cuddBddArrayStoreCnf() Writes a dump file representing the argument array of BDDs in CNF format.
Dddmp_cuddBddArrayStorePrefix() Writes a dump file representing the argument BDD in a prefix notation.
Dddmp_cuddBddArrayStoreSmv() Writes a dump file representing the argument BDD in a prefix notation.
Dddmp_cuddBddArrayStore() Writes a dump file representing the argument Array of
Dddmp_cuddBddDisplayBinary() Display a binary dump file in a text file x t4  ¨« ”  Œ4 Î À« ¤ Î ¤4 8Î 8¬ t9 8Î ¼4 ¼4 `! P¬ ԏ `! Ô4 x! Ȭ l= x! ! ì4 I à¬ ì® I 5 (I X­  T  T (I 5 `M p­ ¤9 `M 45 xM è­ @ xM L5 HÕ ® E HÕ d5 `Õ x® ìä `Õ |5 àÕ ® dH àÕ H àÕ ”5 øÕ¯ ðUøÕ ¬5 èº ¯ 4¬ èº ¯ 4¬ èº Ä5 » ˜¯ p: » Ü5 Ü5 Ў °¯ G Ў ô5èŽ (° ˆçèŽ 6 èŽ 6 Èû @° <‘ Èû $6 àû ¸° @: ° @: àû <6 8‘ а Tæ8‘ T6 P‘ P‘ H± ÜE P‘ l6 . `± L¬ . „6 8. ر ðB8. œ6 x ð±Pž x Pž x ´6  h² ¤>  Ì6    €² Û   ä6 ¸ ø²Đ ¸ ü6ý ³ ü6ý ³ àž ý 7 ýˆ³ ´8 ý th 03 € ý th 03 € BÔh @7 0ý ³ Äâ 0ý X7 ÐL Äâ 0ý X7 ÐL ´ ,ëÐL p7 èL 0´  èL L 0´  èL ˆ7 M ¨´ |d M  7 ˜ À´  A ˜ ¸7 ° 8µ ä= ° ° Ð7 È Pµ H¡ È è7 Ð÷ ,F ÈV ,F ÈV Ð÷ 8 è÷ DF èà è÷ 8 ø¼F T 8 ø¼F T= ø 08 8÷ÔF |¬ 8÷ H8 P÷LG H8 P÷LG Àè P÷ `8 h÷dG ̎ h÷ ̎ h÷ à5 Äf @¤ i 8 Èê ôGXŸ Èê ôGXŸ Èê ¨8 àê lH ¸5 àê À8 ê À8 ê W d ê Ø8 0êˆW 8 0ê 0ê ð8Ý  W ¨áÝ 9 ¨Ý X ¡ ¨ X ¡ ¨Ý 9 øÜ0X À3 øÜ 89 Ý ¨X 89 Ý ¨X äê Ý P9 ˆo ÀX ¼c ˆo o h9  o 8Y Ø6  o €9 ÐÈ PY ? ÐÈ ˜9 èÈ ÈY pº èÈ °9 É àY É àY Ø8 É È9   XZ Œä  à9 Ȑ à9 Ȑ pZ ¸T Ȑ ø9€àìb `; €à : ; €à : ¨à c è¨à (: xÍ |c ÌÜ |c ÌÜ xÍ @: Í ”c ˜4 Í X: X: ¸Í d œ= ¸Í €8 ˜Y ðn( ðn(Z ˆ: ð"œd €ß ð"  : ¨I ´d Œ> ¨I d Œ> ¨I @¤ ± Tí˜8 `® Ð: € €» De 0耻 è: ˜» ¼e ? ˜» ; À» Ôe (£ À» ÌÞ `J Lf \ù€ù \ù€ù ) Ì]µÙ miscellaneoussymbols ols Dv InMisce2 ˜ ) Üy ‰ mis scellaneoustechnical Lm BH B\[ Sk BX BŒ InCjkCo3 Sup InCjkCo4 rogate ‰ ` (ž ««« ™ ««««««««ˆÈ ¼é ««€q «««««««««««««««« h (ž ««« à4 °g hh V €q €q üë ñ «««« xf ( (ž €««« = he Pf €q ÿÿÿÿ«««« È) (ž €««« (ž €««« Ø. À/ €q ÿÿÿÿ«««« ¸- h €««« h €««« p, È' - €q ÿÿÿÿ«««« ¸- h €««« h €««« @ ° €q ÿÿÿÿ«««« 0 ¨ó€««« 󀫫« È© ¸¬ p­ ³ ”  ´¡ ´¡ «««« ø° Ћ ««« «««4w 5 H\ \ ½ ««  «««« «««««««««««« ðà Ћ ««« ««« ˜Þ ¨ß Èà tÈ   <ø ½ «« «««« x— Ћ ««« « H €– P— tÈ   0ø ½ « ««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««««««««««««««««««««««« ««««««««««««««««««««« bac BidiR BPì y‘>: BidiR |U DCfinal | KN` DCfinal E DCfont B ÷»‘s DCfont ü  DCfracti D ÕÏoó DCf ÕÏoó DCfraction DCinitia Bidi BidiRLE l; ÀK Õ BidiRLE ; Bid idiRLO ä; <ü@- BidiRLO < BidiS B\ diS B\< Þäñ£ BidiS ÿBidiWS BHÿù†<! BidiWS iWS BHÿù†<! BidiWS ÿBlank BÀÿ C BP B k BÀÿ C BP B 'ÜôR DCiniti tial DCisolat U .è… DCisolat ated DCmedial ; ‚– ' DCmedia l DCnarrow ; Hh¼ DCnarrow DCnoBrea < 7 DCsmall `ÿÈÁ|² DCsmall ÿDCsquare ÿ,ãd DCsqua DCsquare ÿ,ãd DCsquare DCsub DCsub BP 2ô5v DCsub ˜ DCsuper È ,4Q„ DCsuper † DCvertic ‡ ²ði9 DCvertical D DCwide Bx‡ dôgx DCwide À‡ Dig Digit Bð‡ V&'µ Digit ˆ Gra Graph Bhˆ $^2Û Graph ù¸N x N x B9 0¨ D E öC D hW Ï Ð Ð ¥ ) * Hl L M 8I + , °øÛ Ü H¡ 7 8 XÐ D E . 6 7 6 7 ðV W ðl^ _ Xm A B ÀH ÀH l m ȃ „ x„ Є (… €… ؅ 0† ˆ† à† à† x / # øŒ Ð èÚ  Ú  Ú ÷  ! pN (»   Ö ˆÕ  M PI è  ! `Î ¸ (v H À (\  f f pe ¨B P8 `p À‚ ¸H ˆ9 à¿ À ø~  È8 ð8 ˜~ ˜n ˜n Àn Ðn Ðm Àl °k Øk èk èj  h ˜f Àf Ðf Ød ˆ °b ¨ Ð à øù XD 8 Br', , X€ \© X€ | x€ h© x€ ô ˜€ t© ˜€ ¸€ €© €© ¸€ ؀ Œ© ä ؀ ø€˜ ø€˜© ø€ DK  ¤©  @ °© @ „ ` ¼© `  G ˆ È© ˆ œ ¨ ¨ Ô© ¨ ȁ à© ȁ 0H 0H è ì© è ‚ ø© ‚ ‚ ¨E (‚ ª ´E (‚ °R ª °R ØR ª ] ØR S (ª TÍ S üJ(S 4ª (S S PS @ª PS L ðÍLª ðÍ Î Xª Î \K 0Î d 0Î dª 0Î PÎ pª PÎ ÔK pÎ |ª pÎ ˜Î ˆª ˜Î ˜Î ,K ÈÎ ”ª ÈÎ h§ Œ= Œ= h§ \k è Œ ü à5 ¬ à5 ¬U Hn „; €8  ª HÊ €8 8  † w 8 äí Œ (. - ðn¬ª ôGðn äM ˜8 Pì ˜8 Pì ˜8  (. † Ì" Ì" Hn @¤ 8< ØD Ð: ØD  @¤  è D< p xu € € xu († ¼ († Pš 8 ùà©  B ؁ ø ø ‚ @‚ ÈR R ðR S @S àÍ Î Î @Î @Î `Î ˆÎ ¸Î # $ °# C ? @ hž G H ! @þab   F F G à5 ì í @8 " # 8‘ : ; ; « H I 8l Á  ˆ> : ; ¨½ ¨½ @ A  ' ( ¿ À – % & økI J ˜e 8 9 M Ë Ì øM% øM% & Øe I J Øá G H ° 7 8 7 8 Æ Y Z ðd‚ ƒ `n 0 1 1 ÷+ , (+ H I ð`Š ‹ À( : ( : ; À– : ; p’ ) * €Â * + XÎ I J XÿŽXœ 0 1 @o X Y @o X Y  W @ A Ó Ÿ   hI 1 1 2 ¨Ó B C Øå « ¬ Ø8 @ A · : ; ˜B ‚ ƒ в = > àñ N N O  B C ¸Î ; <  îÐ Ñ Ñ °² h– o p €Æ 0 1 ðvJ ðvJ K 8 C D àÛ H I øì+ , ' , ' [ \ O p) 1 2 u B C @íúû ¡ + , ˆÔ L M L M àn = > X Ñ Ò `ú+ , , ±Ê‡† SpacePerl Title B g òß Title Upper B B ÏÀʃ Upper Word B B Í&· Word XDigit B W‹"é XDigit ù " àB = $Ø = $Ø `u ! " x> € / 0 h= D E P/ E F XE â ÐG ÐG – pH €¯ ' ( `l 4 Û (E % & ¨¹ - . à( ) @ P ü` ¸= D E À~   ) T Hj 7 Ä P÷) * €÷ ÷ H= È5 Øÿ
Dddmp_cuddBddLoadCnf() Reads a dump file in a CNF format. àà ' ( Èý ! `! 9 : : pƒ X˜ 1 ˜ G H ÐL J K X Ða Ã Ä È S T ˆ C D ȵ ˜d ¸p 4 5 ¨I P Q ˆ$ " # R = > PüH I P. a b ¸" Q R R w * ðö ( ) P" ø^ _ ˆo G o G H È~ pü# $ È{ i È{ i j (> , - § (âF G ˜j øÜH I   I  º ) * X` J K ¨ª R ðÓ 0h hB 7 7 8 8÷G H H© úû ፠Ž ፠Ž ; Ù Z
Dddmp_cuddBddLoad() Reads a dump file representing the argument BDD. «
Dddmp_cuddBddStoreBlif() Writes a dump file representing the argument BDD in a Blif/Exlif notation.
Dddmp_cuddBddStoreCnf() Writes a dump file representing the argument BDD in a CNF format.
Dddmp_cuddBddStorePrefix() Writes a dump file representing the argument BDD in a prefix notation.
Dddmp_cuddBddStoreSmv() Writes a dump file representing the argument BDD in a prefix notation.
Dddmp_cuddBddStore() Writes a dump file representing the argument BDD. ) )« + .
Dddmp_cuddHeaderLoadCnf() Reads the header of a dump file representing the argument BDDs
Dddmp_cuddHeaderLoad() Reads the header of a dump file representing the argument BDDs

int Dddmp_Bin2Text( char * filein, IN: name of binary file of the variables creat ed le a <b></b> <i ></i> > <i>OUT: maximu m identifier of the var iables created</i> i> /i> H B Util Func tions for the dddmp pac kage <P> fixed and in Blif form. <P> rmul a from a BDD or an arra y of BDDs <P> ˆ Ba char * fileout IN: name of ASCII file < ) Converts from binary to ASCII format. A BDD array is loaded and and stored to the target file.

Side Effects: None ! ˆó¨óг @ Ž ) ˆôˆô€È @ t ‹ t ‹ Àò ò ! ! Èí Èí €µ @ ˆ A Àò ˜ò@´ @ ® ‡ ® ‡ @ó óp p S î ! /diskUse ser/ext-1.3/extdoc main ) ð÷ à @ ­ àò 0ö :utf8 :u tf8 ! @ô °´ @ @  ! @ô Pµ @ ˆó! d§ @ w sent! 0 ¦ @ f a Bl Side Effe cts: None ! 0õ