Module biodivine_lib_bdd::_impl_bdd::_impl_export_dot

(internal) Simple export functions for printing Bdds as .dot files.

Functions

bdd_to_dot_string

Converts the given BDD to a .dot graph string using given variable names.

write_bdd_as_dot

Write given Bdd into the output buffer as .dot graph. Use var_names to specify custom names for individual variables. If pruned is true, the output will only contain edges leading to the 1 terminal node (this is often much easier to read than the full graph while preserving all the information).