#include <stdio.h>
/* Files included from CUDD package */
#include "util.h"
#include "cudd.h"
int main(int argv, char ** argc) {
 DdManager *manager;
 DdNode * f;
 DdNode * x[4];
 DdNode * y[4];
 int i;
 DdNode * tmp1;
 DdNode * tmp2;
 FILE * fp;
 char * names[8] = { "x1", "x2", "x3", "x4", "y1", "y2", "y3", "y4" };
 int order[8]; 
 /* Initialize the bdd manager with default options */
 manager = Cudd_Init(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SLOTS,0);
 
 /* each new variable is put at the new of the current order */
 for(i=0;i<4;i++) { x[i] = Cudd_bddNewVar(manager); } for(i=0;i<4;i++) { y[i] = Cudd_bddNewVar(manager); } /* ordering = x1 < x2 < x3 < x4 < y1 < y2 < y3 < y4 */ f = Cudd_ReadOne(manager); Cudd_Ref(f); /* Explicit Reference */ for(i=0;i<4;i++) { tmp1 = Cudd_bddXnor(manager,x[i],y[i]); /* x[i] <=> y[i] */
 Cudd_Ref(tmp1);
 tmp2 = Cudd_bddAnd(manager,f,tmp1);
 Cudd_Ref(tmp2);
 Cudd_RecursiveDeref(manager,f); /* Explicit Dereference */
 Cudd_RecursiveDeref(manager,tmp1);
 f = tmp2;
 }
 /* dumping bdd in dot format */
 fp = fopen("bdddump","w");
 Cudd_DumpDot(manager,1,&f,(char **)names,NULL,fp);
 fclose(fp);
 
 printf("Number of Nodes = %d\n",Cudd_DagSize(f));
 
 /* xi and yi are put together in order */
 for(i=0;i<4;i= i++) {
 order[2* i] = i;
 order[2* i + 1] = i + 4;
 }
 
 /* shuffle to new order */
 Cudd_ShuffleHeap(manager,order);
 
 
 /* dumping bdd in dot format */
 fp = fopen("bdddump1","w");
 Cudd_DumpDot(manager,1,&f,(char **)names,NULL,fp);
 fclose(fp);
 
 
 printf("Number of Nodes After Shuffling = %d\n",Cudd_DagSize(f));
 Cudd_RecursiveDeref(manager,f);
 Cudd_Quit(manager); /* Release Manager */
}
/* 
 CUDD package location: http://vlsi.colorado.edu/~fabio/CUDD/
 Extensive Documentation
 
 Dot Package for viewing bdds: http://www.graphviz.org/
*/
/* Compiling this program
Filename: bdd-asgn1.c
If you installed CUDD in ~/15817/cudd-2.4.2
then make a directory ~/15817/asgn1 and put this file there.
Command:
gcc bdd-asgn1.c -o bdd-asgn1 -I ../cudd-2.4.2/include/ -L ../cudd-2.4.2/cudd/ -L ../cudd-2.4.2/util/ -L ../cudd-2.4.2/mtr/ -L ../cudd-2.4.2/st/ -L ../cudd-2.4.2/epd/ -lcudd -lutil -lepd -lmtr -lst -lm
*/
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/usr/emc/www/15817-f09/bdd-asgn1.c">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="http://www.cs.cmu.edu/afs/cs.cmu.edu/usr/emc/www/15817-f09/bdd-asgn1.c" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>