Re: changing cudd_zddCountMinterms

From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Mon Oct 11 2004 - 17:36:23 MDT


>>>>> "lg" == luca gambardella <espuma_party_at_yahoo.it> writes:

 lg> Hi,

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

Luca,

Can you briefly describe your attempts?

Thanks

Fabio



This archive was generated by hypermail 2.1.7 : Mon Oct 11 2004 - 17:38:30 MDT