Function biodivine_lib_bdd::_impl_bdd::_impl_export_dot::bdd_to_dot_string

pub(in _impl_bdd::_impl_export_dot) fn bdd_to_dot_string(
    bdd: &Bdd, 
    var_names: &[String], 
    zero_pruned: bool
) -> String

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

See also: bdd_as_dot