[−][src]Trait zdd::ZddTreeOps

pub trait ZddTreeOps<Label: Ord + Clone> {
    fn is_zero(&self) -> bool;

    fn is_one(&self) -> bool;

    fn has_one(&self) -> bool;

    fn top(&self) -> Result<Label, bool>;

    fn to_set(&self) -> BTreeSet<BTreeSet<Label>>;

    fn iter(&self) -> Iterator<Label>;
}

Basic operations on ZDD.

Required methods

fn is_zero(&self) -> bool

Returns true iff the ZDD is zero.

fn is_one(&self) -> bool

Returns true iff the ZDD is one.

fn has_one(&self) -> bool

Returns true for all ZDDs containing the empty combination.

fn top(&self) -> Result<Label, bool>

Returns the top label if the ZDD is a node, an error of true if the ZDD is one and false if it is zero.

fn to_set(&self) -> BTreeSet<BTreeSet<Label>>

Turns a ZDD in the corresponding set of sets of labels.

fn iter(&self) -> Iterator<Label>

Returns an iterator over a ZDD.

Loading content...

Implementors

impl<Label: Eq + Hash + Ord + Clone> ZddTreeOps<Label> for zdd::wrapped::Zdd<Label>[src]

impl<Label: Ord + Clone> ZddTreeOps<Label> for zdd::Zdd<Label>[src]

Loading content...