logicng 0.1.0-alpha.3

A Library for Creating, Manipulating, and Solving Boolean Formulas
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

use dashmap::DashMap;

use crate::formulas::EncodedFormula;

use super::formula_cache::formula_encoding::FormulaEncoding;

pub type FormulaCache<V> = DashMap<FormulaEncoding, V>;

pub struct OperationCache<V> {
    cache: DashMap<FormulaEncoding, V>,
}

impl<V> OperationCache<V> {
    pub fn new() -> Self {
        Self { cache: DashMap::new() }
    }

    pub fn insert(&self, formula: EncodedFormula, value: V) {
        self.cache.entry(formula.encoding).or_insert(value);
    }

    #[cfg(test)]
    pub(crate) fn len(&self) -> usize {
        self.cache.len()
    }
}

impl<V: Clone> OperationCache<V> {
    pub fn get(&self, formula: EncodedFormula) -> Option<V> {
        self.cache.get(&formula.encoding).map(|v| v.clone())
    }

    #[allow(dead_code)]
    pub fn get_or_insert<F: FnOnce() -> V>(&mut self, formula: EncodedFormula, computation: F) -> V {
        self.cache.entry(formula.encoding).or_insert_with(computation).clone()
    }
}