Trait rate_common::parser::HashTable

pub trait HashTable {
    fn add_clause(&mut self, clause: Clause);
    fn find_equal_clause(
        &mut self, 
        needle: Clause, 
        delete: bool
    ) -> Option<Clause>;
    fn clause_is_active(&self, needle: Clause) -> bool;
    fn delete_clause(&mut self, needle: Clause) -> bool;
}

A hash table that maps clauses (sets of literals) to clause identifiers.

Required methods

fn add_clause(&mut self, clause: Clause)

Add a new clause to the hashtable.

fn find_equal_clause(&mut self, needle: Clause, delete: bool) -> Option<Clause>

Find a clause that is equivalent to given clause.

If delete is true, delete the found clause.

fn clause_is_active(&self, needle: Clause) -> bool

Return true if this exact clause is active.

fn delete_clause(&mut self, needle: Clause) -> bool

Delete this exact clause, return true if that succeeded.

Loading content...

Implementors

impl HashTable for DynamicHashTable

fn add_clause(&mut self, clause: Clause)

fn find_equal_clause(&mut self, needle: Clause, delete: bool) -> Option<Clause>

fn clause_is_active(&self, needle: Clause) -> bool

fn delete_clause(&mut self, needle: Clause) -> bool

impl HashTable for FixedSizeHashTable

fn add_clause(&mut self, clause: Clause)

fn find_equal_clause(&mut self, needle: Clause, delete: bool) -> Option<Clause>

fn clause_is_active(&self, needle: Clause) -> bool

fn delete_clause(&mut self, needle: Clause) -> bool

Loading content...