(no subject)

From: Swarat Chaudhuri (swarat_at_gradient.cis.upenn.edu)
Date: Tue Mar 02 2004 - 14:26:13 MST

• Next message: 022021074_at_fudan.edu.cn: "(no subject)"
• Previous message: Jaime Washington: "Here's a new twist on Affiliate programs"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi folks,

I have been trying to modify Vis' image operators for some time, and one
of my modifications requires me to count the number of paths to the
constant 1 through a given mdd node. An important special case is where
one computes the cardinality of a set represented symbolically.

For this special case, I tried to use the bdd_count_minterm function in
Cudd. The third parameter is the "number of variables on which the bdd
depends". When I set that to get_var_num (manager), I seem to get
garbage values.

Am I doing something wrong? Any help would be appreciated.

Thanks,
-Swarat

• Next message: 022021074_at_fudan.edu.cn: "(no subject)"
• Previous message: Jaime Washington: "Here's a new twist on Affiliate programs"
• 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 : Tue Mar 02 2004 - 14:27:38 MST