Struct DagCnf

pub struct DagCnf {
    pub dep: VarMap<Vec<Var>>,
    /* private fields */
}

Fields

dep: VarMap<Vec<Var>>

Implementations

impl DagCnf

pub fn lower(&self) -> Cnf

impl DagCnf

pub fn simplify(&self, frozen: impl Iterator<Item = Var>) -> Self

impl DagCnf

pub fn var_sim(&mut self, n: Var, value: &mut VarAssign)

impl DagCnf

pub fn new() -> Self

pub fn new_var(&mut self) -> Var

pub fn new_var_to(&mut self, n: Var)

pub fn max_var(&self) -> Var

pub fn len(&self) -> usize

pub fn clause(&self) -> Flatten<Iter<'_, LitVvec>>

pub fn iter(&self) -> Zip<RangeInclusive<Var>, Iter<'_, LitVvec>>

pub fn add_rel(&mut self, n: Var, rel: &[LitVec])

pub fn del_rel(&mut self, n: Var)

pub fn has_rel(&self, n: Var) -> bool

pub fn new_and(&mut self, ands: impl IntoIterator<Item = Lit>) -> Lit

pub fn new_or(&mut self, ors: impl IntoIterator<Item = Lit>) -> Lit

pub fn new_xor(&mut self, x: Lit, y: Lit) -> Lit

pub fn new_xnor(&mut self, x: Lit, y: Lit) -> Lit

pub fn new_imply(&mut self, x: Lit, y: Lit) -> Lit

pub fn new_ite(&mut self, c: Lit, t: Lit, e: Lit) -> Lit

pub fn fanins(&self, var: impl Iterator<Item = Var>) -> GHashSet<Var>

pub fn fanouts(&self, var: impl Iterator<Item = Var>) -> GHashSet<Var>

pub fn root(&self) -> GHashSet<Var>

pub fn pol_filter(&mut self, pol: impl IntoIterator<Item = Lit>)

pub fn rearrange( &mut self, additional: impl Iterator<Item = Var>, ) -> GHashMap<Var, Var>

pub fn map(&self, map: impl Fn(Var) -> Var) -> Self

Trait Implementations

impl Clone for DagCnf

fn clone(&self) -> DagCnf

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DagCnf

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DagCnf

fn default() -> Self

Returns the “default value” for a type.

impl Index<Var> for DagCnf

type Output = [LitVec]

The returned type after indexing.

fn index(&self, index: Var) -> &Self::Output

Performs the indexing (container[index]) operation.