logicng 0.1.0-alpha.3

A Library for Creating, Manipulating, and Solving Boolean Formulas
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use crate::solver::minisat::sat::Tristate;

/// A MiniSAT Variable
#[derive(Clone, PartialEq, Eq, Debug)]
pub struct MsVariable {
    pub assignment: Tristate,
    pub level: Option<usize>,
    pub polarity: bool,
    pub decision: bool,
}

impl MsVariable {
    pub const fn new(polarity: bool, decision: bool) -> Self {
        Self { assignment: Tristate::Undef, level: None, polarity, decision }
    }

    pub fn level_greater_zero(&self) -> bool {
        self.level.unwrap_or(0) > 0
    }
}