Function biodivine_lib_bdd::_impl_bdd::_impl_export_dot::bdd_to_dot_string

source · [−]
fn bdd_to_dot_string(
    bdd: &Bdd, 
    var_names: &[String], 
    zero_pruned: bool
) -> String
Expand description

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

See also: bdd_as_dot