Trait zdd::factory::FactoryUnLblOps

pub trait FactoryUnLblOps<Label: Ord + Eq + Hash + Clone, ZDD, LabelParam> {
    fn offset(&self, zdd: ZDD, lbl: LabelParam) -> Zdd<Label>;
    fn onset(&self, zdd: ZDD, lbl: LabelParam) -> Zdd<Label>;
    fn change(&self, zdd: ZDD, lbl: LabelParam) -> Zdd<Label>;
}

Unary operations on ZDDs taking a label as parameter.

Required methods

fn offset(&self, zdd: ZDD, lbl: LabelParam) -> Zdd<Label>

The set of combinations of zdd in which lbl does not appear. Cached.

fn onset(&self, zdd: ZDD, lbl: LabelParam) -> Zdd<Label>

The set of combinations of zdd in which lbl appears, without lbl in them. Cached.

fn change(&self, zdd: ZDD, lbl: LabelParam) -> Zdd<Label>

Switches lbl in each combination of zdd. Inverts offset and onset. Cached.

Loading content...

Implementors

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

fn offset(&self, zdd: &'a Zdd<Label>, lbl: &'b Label) -> Zdd<Label>

fn onset(&self, zdd: &'a Zdd<Label>, lbl: &'b Label) -> Zdd<Label>

fn change(&self, zdd: &'a Zdd<Label>, lbl: &'b Label) -> Zdd<Label>

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

fn offset(&self, zdd: &'a Zdd<Label>, lbl: Label) -> Zdd<Label>

fn onset(&self, zdd: &'a Zdd<Label>, lbl: Label) -> Zdd<Label>

fn change(&self, zdd: &'a Zdd<Label>, lbl: Label) -> Zdd<Label>

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

fn offset(&self, zdd: Zdd<Label>, lbl: &'a Label) -> Zdd<Label>

fn onset(&self, zdd: Zdd<Label>, lbl: &'a Label) -> Zdd<Label>

fn change(&self, zdd: Zdd<Label>, lbl: &'a Label) -> Zdd<Label>

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

fn offset(&self, zdd: Zdd<Label>, lbl: Label) -> Zdd<Label>

fn onset(&self, zdd: Zdd<Label>, lbl: Label) -> Zdd<Label>

fn change(&self, zdd: Zdd<Label>, lbl: Label) -> Zdd<Label>

Loading content...