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