|
From: Qin Y. <qin...@ya...> - 2005-08-05 23:27:17
|
Dear Haim Cohen,
I am a new user of BuDDy. To find all the satisfying
assignments of a bdd, I find that "bdd_allsat()" is
not enough for me. For example,
bdd a = bdd_ithvar(0);
bdd b = bdd_ithvar(1);
bdd c = bdd_ithvar(2);
bdd x = a & !b & c;
x |= a & !b & !c;
The satisfying assignments of x are [1,0,1] and
[1,0,0]. However, "allsatHandler()" provides the
assignment of [1,0,X] ('X' means notcare). Could you
tell me if there is any interface that I can use to
obtain all the unique assignments (not including 'X')
similarly?
Thanks a lot!
Best Regards,
Qin
____________________________________________________
Start your day with Yahoo! - make it your home page
http://www.yahoo.com/r/hs
|