Trait BDDOutput

pub trait BDDOutput<T, E> {
    // Required methods
    fn write_label(&self, label: T, label_id: u64) -> Result<(), E>;
    fn write_node(
        &self,
        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

fn write_label(&self, label: T, label_id: u64) -> Result<(), E>

fn write_node( &self, node_id: BDDFunc, label_id: u64, lo: BDDFunc, hi: BDDFunc, ) -> Result<(), E>

Implementors