From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Thu Oct 19 2006 - 08:48:05 MDT
>>>>> "z" == 062052002 <062052002_at_fudan.edu.cn> writes:
z> Thanks very much to you all. Now I get some understanding of
z> complementation.
z> According to my current comprehension, the terminal node should be
z> considered as "1", for a specific path, if the number of complement
z> arcs from root to the terminal is even, and regarded as "0" if odd.
z> Is that correct?
Yes, that's correct. If you really want both terminals, you can
create ADDs with these functions:
Cudd_ReadOne()
Cudd_ReadZero()
Cudd_addTimes()
Cudd_addOr()
Cudd_addNand()
Cudd_addNor()
Cudd_addXor()
Cudd_addXnor()
Cudd_addCmpl()
Fabio
This archive was generated by hypermail 2.1.7 : Thu Oct 19 2006 - 09:11:19 MDT