Trait IteTable 

pub trait IteTable<'a, T: DDNNFPtr<'a>> {
    // Required methods
    fn hash(&self, ite: &Ite<T>) -> u64;
    fn insert(&mut self, ite: Ite<T>, res: T, hash: u64);
    fn get(&self, ite: Ite<T>, hash: u64) -> Option<T>;
}

Required Methods

fn hash(&self, ite: &Ite<T>) -> u64

fn insert(&mut self, ite: Ite<T>, res: T, hash: u64)

fn get(&self, ite: Ite<T>, hash: u64) -> Option<T>

Implementors

impl<'a, T: DDNNFPtr<'a>> IteTable<'a, T> for AllIteTable<T>

impl<'a, T: DDNNFPtr<'a>> IteTable<'a, T> for LruIteTable<T>