logicrs 0.6.1

Rust library for logic expression
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use super::{Term, TermResult};
use giputils::hash::GHashMap;

impl Term {
    pub fn simplify(&self, map: &mut GHashMap<Term, Term>) -> Term {
        if let Some(res) = map.get(self) {
            return res.clone();
        }
        let simp = if let Some(op_term) = self.try_op() {
            let terms: Vec<Term> = op_term.terms.iter().map(|s| s.simplify(map)).collect();
            if let TermResult::Some(new) = op_term.op.simplify(&terms) {
                new
            } else {
                Term::new_op(op_term.op.clone(), &terms)
            }
        } else {
            self.clone()
        };
        map.insert(self.clone(), simp);
        map.get(self).unwrap().clone()
    }
}