computing g*h

From: luca gambardella (espuma_party_at_yahoo.it)
Date: Thu Sep 30 2004 - 02:56:12 MDT

• Next message: Fabio Somenzi: "Re: computing g*h"
• Previous message: luca gambardella: "computing g*h"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

let g and h are Zdd nodes. I've to compute their product g*h, which function? Cudd_zddProduct or Cudd_zddUnion.
Also: if the product between two internal nodes is done, an additional node representing g*h should be added to the zdd, isn't it?
 
Thanks in advance.
 
Luca

                                
---------------------------------
Scopri Mister Yahoo! - il fantatorneo sul calcio di Yahoo! Sport'

• Next message: Fabio Somenzi: "Re: computing g*h"
• Previous message: luca gambardella: "computing g*h"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Thu Sep 30 2004 - 03:03:31 MDT