smt-scope 0.1.7

A library for parsing and analysing SMT traces.
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

#[cfg(feature = "mem_dbg")]
use mem_dbg::{MemDbg, MemSize};

#[cfg_attr(feature = "mem_dbg", derive(MemSize, MemDbg))]
#[cfg_attr(feature = "mem_dbg", copy_type)]
#[derive(Debug, Default, Clone, Copy)]
pub(super) struct InterLine {
    prev: Data,
    curr: Data,
}

impl InterLine {
    pub fn newline(&mut self) {
        self.prev = self.curr;
        self.curr = Default::default();
    }
    pub fn prev(&self) -> Data {
        self.prev
    }
    pub fn curr(&mut self) -> &mut Data {
        &mut self.curr
    }
}

#[cfg_attr(feature = "mem_dbg", derive(MemSize, MemDbg))]
#[cfg_attr(feature = "mem_dbg", copy_type)]
#[derive(Debug, Default, Clone, Copy)]
pub(super) struct Data {
    pub(super) last_line_kind: LineKind,
}

#[cfg_attr(feature = "mem_dbg", derive(MemSize, MemDbg))]
#[cfg_attr(feature = "mem_dbg", copy_type)]
#[derive(Debug, Default, Clone, Copy, PartialEq, Eq)]
pub(super) enum LineKind {
    DecideAndOr,
    Conflict,
    Push,
    #[default]
    Other,
}