[−][src]Trait boolean_expression::BDDOutput
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>
&self,
node_id: BDDFunc,
label_id: u64,
lo: BDDFunc,
hi: BDDFunc
) -> Result<(), E>