changing cudd_zddCountMinterms

From: luca gambardella (espuma_party_at_yahoo.it)
Date: Mon Oct 11 2004 - 09:12:30 MDT


Hi,
I've to change cudd_zddCountMinterms in order to get the number of minterms normalized by 2^n (the entire space). I need to modify cuddZddCountDouble Step, and I've tried so much ways to do it, but all wrongs. Who can help me?
 
Thanks in advance
Luca

                                
---------------------------------
Nuovo Yahoo! Messenger E' molto più divertente: Audibles, Avatar, Webcam, Giochi, Rubrica… Scaricalo ora!



This archive was generated by hypermail 2.1.7 : Mon Oct 11 2004 - 09:19:34 MDT