Enum minisat::Bool

pub enum Bool {
    Const(bool),
    Lit(Lit),
}

Boolean value, either a constant (Bool::Const) or a literal (Bool::Lit). Create values by creating new variables (Solver::new_lit()) or from a constant boolean (true.into()).

Variants

Const(bool)

Lit(Lit)

Trait Implementations

impl ModelEq for Bool

fn assert_equal_or(solver: &mut Solver, prefix: Vec<Bool>, a: &Bool, b: &Bool)

fn assert_not_equal_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    a: &Bool,
    b: &Bool
)

fn is_equal(solver: &mut Solver, a: &Bool, b: &Bool) -> Bool

impl ModelOrd for Bool

fn assert_less_tuple_or<B: ModelOrd>(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    inclusive: bool,
    (x, p): (&Bool, &B),
    (y, q): (&Bool, &B)
)

fn new_less_lit(
    solver: &mut Solver,
    inclusive: bool,
    a: &Bool,
    b: &Bool
) -> Bool

fn assert_less_or(
    solver: &mut Solver,
    prefix: Vec<Bool>,
    inclusive: bool,
    a: &Self,
    b: &Self
)

impl<'a> ModelValue<'a> for Bool

type T = bool

fn value(&self, m: &Model) -> bool

impl From<bool> for Bool

fn from(item: bool) -> Self

Performs the conversion.

impl Clone for Bool

fn clone(&self) -> Bool

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Bool

impl Eq for Bool

impl PartialEq<Bool> for Bool

fn eq(&self, other: &Bool) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Bool) -> bool

This method tests for !=.

impl Debug for Bool

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Not for Bool

type Output = Bool

The resulting type after applying the ! operator.

fn not(self) -> Bool

Performs the unary ! operation.

impl StructuralPartialEq for Bool

impl StructuralEq for Bool