Struct BoolVar 

pub struct BoolVar<'model> { /* private fields */ }

A boolean decision variable (domain 0/1) belonging to a Model.

BoolVar is a thin wrapper over an underlying IntVar whose domain is restricted to [0, 1] and supports boolean and logical operations.

Implementations

impl<'model> BoolVar<'model>

pub fn if_then_else( &self, then_constraint: &Constraint<'model>, else_constraint: &Constraint<'model>, )

Posts a constraint ensuring that if self BoolVar is true, then then_constraint must be satisfied as well. Otherwise, else_constraint must be satisfied.

pub fn if_then(&self, then_constraint: &Constraint<'model>)

Creates an if-then constraint: self BoolVar -> then_constraint.

pub fn if_only_if(&self, constraint: &Constraint<'model>)

Posts an equivalence constraint stating that: self BoolVar is true <=> constraint is satisfied.

Trait Implementations

impl<'model> BitAnd<&BoolVar<'model>> for bool

type Output = BoolVar<'model>

The resulting type after applying the & operator.

fn bitand(self, rhs: &BoolVar<'model>) -> Self::Output

Performs the & operation.

impl<'model> BitAnd<bool> for &BoolVar<'model>

type Output = BoolVar<'model>

The resulting type after applying the & operator.

fn bitand(self, rhs: bool) -> Self::Output

Performs the & operation.

impl<'model> BitAnd for &BoolVar<'model>

type Output = BoolVar<'model>

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl<'model> BitOr<&BoolVar<'model>> for bool

type Output = BoolVar<'model>

The resulting type after applying the | operator.

fn bitor(self, rhs: &BoolVar<'model>) -> Self::Output

Performs the | operation.

impl<'model> BitOr<bool> for &BoolVar<'model>

type Output = BoolVar<'model>

The resulting type after applying the | operator.

fn bitor(self, rhs: bool) -> Self::Output

Performs the | operation.

impl<'model> BitOr for &BoolVar<'model>

type Output = BoolVar<'model>

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl<'model> Borrow<IntVar<'model>> for BoolVar<'model>

fn borrow(&self) -> &IntVar<'model>

Immutably borrows from an owned value.

impl<'model> From<BoolVar<'model>> for IntVar<'model>

fn from(bool_var: BoolVar<'model>) -> Self

Converts to this type from the input type.

impl<'model> Not for &BoolVar<'model>

type Output = BoolVar<'model>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<'model> TryFrom<IntVar<'model>> for BoolVar<'model>

type Error = SolverError

The type returned in the event of a conversion error.

fn try_from(int_var: IntVar<'model>) -> Result<Self, Self::Error>

Performs the conversion.