From: Pongstorn Maidee (maid0013_at_umn.edu)
Date: Sun Dec 10 2006 - 16:01:18 MST
Hi all,
I tried a small example usign CUDD.
1: f = Cudd_ReadOne(ddman);
2: var = Cudd_bddIthVar(ddman,3);
3: temp = Cudd_bddAnd(ddman,Cudd_not(var),f);
4: Cudd_Ref(temp);
I have 2 questions regarding this simple example.
1) Logically, "var AND one" is var. But, temp contains address which is
not the same as var. Does this mean simple variables (projection
functions) are handeled differently from internal nodes in CUDD?
2) temp obtained at line 3 has 0x....dc1, index 256, ref 30720. I expect
ref will increase and others remain unchanges after Cudd_Ref at line 4.
But, temp becomes 0x....dc1, index 512, ref 30720. Does anyone know what
is going on?
Thank you very much,
Pongstorn
This archive was generated by hypermail 2.1.7 : Sun Dec 10 2006 - 16:06:33 MST