Trait TopDownBuilder 

pub trait TopDownBuilder<'a, Ptr> {
    // Required methods
    fn var(&'a self, label: VarLabel, polarity: bool) -> Ptr;
    fn condition(&'a self, a: Ptr, v: VarLabel, value: bool) -> Ptr;
}

Required Methods

fn var(&'a self, label: VarLabel, polarity: bool) -> Ptr

fn condition(&'a self, a: Ptr, v: VarLabel, value: bool) -> Ptr

conditions f | v = value

Implementors

impl<'a, T> TopDownBuilder<'a, BddPtr<'a>> for T

where T: DecisionNNFBuilder<'a>,