Trait ConstraintArrayLogicOps 

pub trait ConstraintArrayLogicOps<'model>: Sealed {
    // Required methods
    fn and(self) -> Constraint<'model>;
    fn or(self) -> Constraint<'model>;
}

Logical operations on slices of Constraints/BoolVars

Required Methods

fn and(self) -> Constraint<'model>

AND of Constraints

Arguments

• constraints - slice of Constraints/BoolVars

Returns

Constraint representing the AND of the Constraints/BoolVars

Panic:

if slice is empty

fn or(self) -> Constraint<'model>

OR of Constraints

Arguments

• constraints - slice of Constraints/BoolVars

Returns

Constraint representing the OR of the Constraints/BoolVars

Panic:

if slice is empty

Implementations on Foreign Types

impl<'model, Q: Borrow<Constraint<'model>> + Sealed> ConstraintArrayLogicOps<'model> for &[Q]

fn and(self) -> Constraint<'model>

fn or(self) -> Constraint<'model>

Implementors