Function biodivine_lib_bdd::_impl_bdd::_impl_export_dot::write_bdd_as_dot

fn write_bdd_as_dot(
    output: &mut dyn Write, 
    bdd: &Bdd, 
    var_names: &[String], 
    zero_pruned: bool
) -> Result<(), Error>

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).