From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Sun Dec 10 2006 - 18:33:30 MST
>>>>> "PM" == Pongstorn Maidee <maid0013_at_umn.edu> writes:
PM> Hi all,
PM> I tried a small example usign CUDD.
PM> 1: f = Cudd_ReadOne(ddman);
PM> 2: var = Cudd_bddIthVar(ddman,3);
PM> 3: temp = Cudd_bddAnd(ddman,Cudd_not(var),f);
PM> 4: Cudd_Ref(temp);
PM> I have 2 questions regarding this simple example.
PM> 1) Logically, "var AND one" is var. But, temp contains address which is
PM> not the same as var.
PM> Does this mean simple variables (projection
PM> functions) are handeled differently from internal nodes in CUDD?
No, it means that if you dereference a complement pointer you read
bogus information. (Note that you are negating the variable.) Are
you familiar with the difference between a regular pointer and a
complement pointer?
Fabio
This archive was generated by hypermail 2.1.7 : Sun Dec 10 2006 - 18:37:57 MST