Dot files for better images

[gimmelemons]

Hi,

Is it possible to remove the id's when printing the dots? I just want the variable name.

Nice Project btw.

[SSoelvsten]

This should be easy to fix; I'll look at it tomorrow.

P.S. Sorry I first see this now - I have somehow set up my email notifications for this repo incorrectly.

[SSoelvsten]

I have added an optional last argument include_id (type bool) which by default is false. That is, bdd_printdot(f, ..., false)/bdd_printdot(f, ...) render a result as follows

As you can see, I also made the internal nodes round; this way it follows the conventional depiction of BDDs

Using bdd_printdot(f, ..., true) behaves as before (for development debugging purposes). But, I removed the id in the print, to better align the output with the paper(s).