search

com-github-javabdd / com.github.javabdd

JavaBDD: A Java library for Binary Decision Diagrams (BDDs)
Other
5 stars 6 forks source link

Allow saturation to provide debug info #66

Closed wytseoortwijn closed 1 month ago

wytseoortwijn commented 3 months ago

Currently the saturation operations don't provide any debug information. This makes it difficult for users to e.g. see how some reachability computation progresses.

We should provide some debugging option. Possibly we could add some debug configuration flag that, if set, lets saturation print some things to output. Or, alternatively, lets saturation call some callback function every once in a while.

dhendriks commented 3 months ago

I think I would opt for a callback, since that allows more flexibility for the caller to decide the output, in their own format, and to their own target. We may for instance not want to print to stdout, but to an in-memory stream, the Eclipse console, a file, etc, etc.