Trait boolean_expression::BDDOutput [] [src]

pub trait BDDOutput<T, E> {
    fn write_label(&self, label: T, label_id: u64) -> Result<(), E>;
fn write_node(
        node_id: BDDFunc,
        label_id: u64,
        lo: BDDFunc,
        hi: BDDFunc
    ) -> Result<(), E>; }

The BDDOutput trait provides an interface to inform a listener about new BDD nodes that are created. It allows the user to persist a BDD to a stream (e.g., a log or trace file) as a long-running process executes. A BDDOutput instance may be provided to all BDD operations.

Required Methods