Trait boolean_expression::BDDOutput

pub trait BDDOutput<T, E> {
    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