raa_tt 0.9.1

Proves sentences of propositional calculus
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

use std::fmt::{Debug, Display, Error, Formatter};

#[derive(Debug)]
pub struct TruthTable {
    pub header: Vec<String>,
    pub lines: Vec<Vec<bool>>,
}

impl Display for TruthTable {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::result::Result<(), Error> {
        self.header
            .iter()
            .try_for_each(|var| write!(f, "{var} | "))?;
        writeln!(f)?;
        self.header
            .iter()
            .try_for_each(|var| write!(f, "{}", "-".repeat(var.len() + 3)))?;
        writeln!(f)?;
        self.lines.iter().try_for_each(|line| {
            debug_assert_eq!(line.len(), self.header.len());
            self.header.iter().enumerate().try_for_each(|(i, var)| {
                let b = line[i];
                let t = if b { "T" } else { "F" };
                if i == self.header.len() - 1 {
                    // Right-align the last column (expression result)
                    write!(f, "{t:>w$} | ", w = var.len())
                } else {
                    // Left-align all other columns
                    write!(f, "{t:w$} | ", w = var.len())
                }
            })?;
            writeln!(f)
        })
    }
}