Trait batsat::clause::DeletePred

pub trait DeletePred<V> {
    pub fn deleted(&self, v: &V) -> bool;
}

Predicate that decides whether a value V is deleted or not

Required methods

pub fn deleted(&self, v: &V) -> bool

Loading content...

Implementors

Loading content...