From: Saqib Bin Sohail (Saqib.Sohail_at_colorado.edu)
Date: Mon Jan 05 2009 - 16:51:32 MST
Hi Aly
I have been using bdd_print_cover() and bdd_print_minterm(). These
function calls do not depend on the 'bdd order' rather use the ascending
order of bddIds.
I don't know of any function which will display a bdd graphically,
although I can help you if you would like to write something up which
would display a bdd graphically.
Saqib bin Sohail
PhD ECE Univ of Colorado at Boulder
(303) 786 0658
http://webfiles.colorado.edu/sohail/www/
On Mon, 5 Jan 2009, Aly Farahat wrote:
> Can anybody direct me to a library function that "pretty-prints" or displays in a friendly way BDD's or MDD's?
>
This archive was generated by hypermail 2.1.7 : Mon Jan 05 2009 - 16:52:20 MST