veripb-formula 0.1.1

VeriPB library to handle pseudo-Boolean constraints, formulas, and more data structures.
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

//! Implementation of [`VarType`] for Boolean variables.

use crate::{prelude::Negate, var_type::VarType};

/// A [`BooleanVar`] is a variable which takes boolean variables. The [`BooleanVar`] implements the [`VarType`] trait.
#[derive(Debug, Clone, Default)]
pub struct BooleanVar {
    value: BoolValue,
}

/// A Boolean value that is either `Unassigned`, `Assigned(true)`, or `Assigned(false)`.
#[derive(Debug, Clone, Copy, PartialEq, PartialOrd)]
pub enum BoolValue {
    Unassigned,
    Assigned(bool),
}

impl VarType for BooleanVar {
    type Value = BoolValue;

    #[inline]
    fn new() -> Self
    where
        Self: Sized,
    {
        BooleanVar {
            value: BoolValue::Unassigned,
        }
    }

    #[inline]
    fn set_value(&mut self, value: Self::Value) {
        self.value = value;
    }

    #[inline]
    fn get_value(&self) -> Self::Value {
        self.value
    }
}

impl Negate for BoolValue {
    #[inline]
    fn negate(self) -> Self {
        match self {
            Self::Unassigned => Self::Unassigned,
            Self::Assigned(value) => Self::Assigned(!value),
        }
    }
}

impl Default for BoolValue {
    #[inline]
    fn default() -> Self {
        Self::Unassigned
    }
}