Struct batsat::clause::OccListsData

pub struct OccListsData<K: AsIndex, V> { /* private fields */ }

List of occurrences of objects of type K (e.g. literals) in values of type V (e.g. clauses)

Implementations

impl<K: AsIndex, V> OccListsData<K, V>

pub fn new() -> Self

pub fn init(&mut self, idx: K)

Initialize occurrence list for the given idx

pub fn promote<P: DeletePred<V>>(&mut self, pred: P) -> OccLists<'_, K, V, P>

Obtain a fully usable occurrence list using the given predicate

pub fn lookup_mut_pred<P: DeletePred<V>>(
    &mut self,
    idx: K,
    pred: &P
) -> &mut OccVec<V>

oclist.lookup_mut_pred(idx, p) returns an up-to-date list of occurrences for idx. It will clean up the occurrence list with p if it’s dirty.

pub fn clean_all_pred<P: DeletePred<V>>(&mut self, pred: &P)

Cleanup entries marked as dirty (remove elements for which the predicate specifies they’re deleted)

pub fn clean_pred<P: DeletePred<V>>(&mut self, idx: K, pred: &P)

Cleanup entry at idx

pub fn smudge(&mut self, idx: K)

Mark index K as dirty, so it can be cleaned up later

pub fn clear(&mut self)

Reset internal data

pub fn free(&mut self)

Reset internal data and free memory

Trait Implementations

impl<K: Clone + AsIndex, V: Clone> Clone for OccListsData<K, V>

fn clone(&self) -> OccListsData<K, V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K: Debug + AsIndex, V: Debug> Debug for OccListsData<K, V>

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

Formats the value using the given formatter.

impl<K: AsIndex, V> Index<K> for OccListsData<K, V>

type Output = SmallVec<[V; 4]>

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl<K: AsIndex, V> IndexMut<K> for OccListsData<K, V>

fn index_mut(&mut self, index: K) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.