Variable names for BDD indices

From: Swarat Chaudhuri (swarat@gradient.cis.upenn.edu)
Date: Sun Sep 21 2003 - 16:52:12 MDT

Greetings,

I am using Cudd in conjunction with the Bmc package of Vis, to implement
a hybrid symbolic/sat-based model checking method. So, my problem is the
following: given a BDD node, I would like to know the CNF variable
corresponding to the "label variable" (index) of the node. Is there an
easy way of doing this?

Thanks,
-Swarat

This archive was generated by hypermail 2.1.7 : Sun Sep 21 2003 - 16:54:11 MDT