Enum 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 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 Debug for Bool

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

Formats the value using the given formatter.

impl From<bool> for Bool

fn from(item: bool) -> Self

Converts to this type from the input type.

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 Not for Bool

type Output = Bool

The resulting type after applying the ! operator.

fn not(self) -> Bool

Performs the unary ! operation.

impl PartialEq for Bool

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Bool

impl Eq for Bool

impl StructuralPartialEq for Bool