oxidd 0.11.0

A safe, concurrent, modular, and performant decision diagram framework.
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

pub struct Progress {
    enabled: bool,
    current: u64,
    total: u64,
    percent: u32,
}

impl Progress {
    pub fn new(total: u64) -> Self {
        assert_ne!(total, 0);
        let enabled =
            std::env::var("OXIDD_TESTING_PROGRESS").is_ok_and(|v| !v.is_empty() && v != "0");
        let mut this = Self {
            enabled,
            current: 0,
            total,
            percent: 1, // value != 0 ensures that we print below
        };
        this.print();
        this
    }

    pub fn step(&mut self) {
        self.current += 1;
        self.print()
    }

    pub fn done(&mut self) {
        if self.enabled {
            eprintln!();
        }
        if self.current != self.total {
            eprintln!(
                "WARNING: total number has changed ({} -> {})",
                self.total, self.current,
            );
        }
    }

    pub fn print(&mut self) {
        if !self.enabled {
            return;
        }
        let percent = (self.current * 100 / self.total) as u32;
        if percent != self.percent {
            self.percent = percent;
            eprint!("\r{percent} %");
            std::io::Write::flush(&mut std::io::stderr()).unwrap();
        }
    }
}