positron 0.2.4

parse and execute boolean expressions
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

/*
 * positron - parse and execute boolean expressions
 * Copyright (C) 2021 DevHyperCoder
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */

use crate::{
    circuit::{Circuit, CircuitData},
    parser::Parsed,
    product_repeat::product_repeat,
};
use std::collections::HashMap;

/// Contains a data and boolean result
/// Normally used as a Vec<TruthEntry> in which all possible values of each variables are put in
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
pub struct TruthEntry {
    pub data: CircuitData,
    pub result: bool,
}

/// Returns a vector of CircuitData and result
pub fn truth(p: Parsed) -> Vec<TruthEntry> {
    let repeat = p.variables.len();
    let bool_arr = vec![true, false];

    let mut data = HashMap::new();

    let variable_list = p.variables.into_iter().collect::<Vec<String>>();

    let mut results = vec![];

    // One row of the truth table
    for i in product_repeat(bool_arr.iter(), repeat) {
        // Insert to map
        for (idx, var) in variable_list.iter().enumerate() {
            data.insert(var.clone(), *i[idx]);
        }

        let circuit = Circuit {
            data: data.clone(),
            gate: p.root_gate.clone(),
        };

        results.push(TruthEntry {
            data: data.clone(),
            result: circuit.execute().unwrap(), // This is safe
        });
    }
    results
}