Trait zdd::factory::FactoryUnOps

pub trait FactoryUnOps<Label: Ord + Eq + Hash + Clone, ZDD> {
    fn count(&self, z: ZDD) -> usize;
}

Unary operations on ZDDs.

Required methods

fn count(&self, z: ZDD) -> usize

The number of combinations in a ZDD. Cached.

Loading content...

Implementors

impl<'a, Label: Ord + Eq + Hash + Clone> FactoryUnOps<Label, &'a HConsed<ZddTree<Label>>> for Factory<Label>

fn count(&self, zdd: &'a Zdd<Label>) -> usize

impl<Label: Ord + Eq + Hash + Clone> FactoryUnOps<Label, HConsed<ZddTree<Label>>> for Factory<Label>

fn count(&self, zdd: Zdd<Label>) -> usize

Loading content...