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

/// Represents a state of a SAT-Solver.
///
/// You can obtain the current state of a [`MiniSat`](`crate::solver::minisat::MiniSat`)-Solver by calling
/// [`MiniSat::save_state()`](`crate::solver::minisat::MiniSat::save_state`).
#[derive(Clone, Eq, PartialEq, Debug)]
pub struct SolverState {
    pub(crate) id: usize,
    pub(crate) state: [usize; 7],
}

impl SolverState {
    /// Manual construction of a new state.
    pub const fn new(id: usize, state: [usize; 7]) -> Self {
        Self { id, state }
    }
}