Trait ConstraintEquality 

pub trait ConstraintEquality<'model, Rhs> {
    // Required methods
    fn eq(self, other: Rhs) -> Constraint<'model>;
    fn ne(self, other: Rhs) -> Constraint<'model>;
}

Trait for creating equality constraints between variables or constants.

Provides methods to create equality (eq) and inequality (ne) constraints.

Required Methods

fn eq(self, other: Rhs) -> Constraint<'model>

Creates an equality constraint (=).

fn ne(self, other: Rhs) -> Constraint<'model>

Creates an inequality constraint (!=).

Implementations on Foreign Types

impl<'model, A> ConstraintEquality<'model, bool> for &A

where A: Borrow<IntVar<'model>>,

fn eq(self, other: bool) -> Constraint<'model>

fn ne(self, other: bool) -> Constraint<'model>

impl<'model, A> ConstraintEquality<'model, i32> for &A

where A: Borrow<IntVar<'model>>,

fn eq(self, other: i32) -> Constraint<'model>

fn ne(self, other: i32) -> Constraint<'model>

impl<'model, A> ConstraintEquality<'model, &A> for bool

where A: Borrow<IntVar<'model>>,

fn eq(self, other: &A) -> Constraint<'model>

fn ne(self, other: &A) -> Constraint<'model>

impl<'model, A> ConstraintEquality<'model, &A> for i32

where A: Borrow<IntVar<'model>>,

fn eq(self, other: &A) -> Constraint<'model>

fn ne(self, other: &A) -> Constraint<'model>

impl<'model, A, B> ConstraintEquality<'model, &A> for &B

where A: Borrow<IntVar<'model>>, B: Borrow<IntVar<'model>>,

fn eq(self, other: &A) -> Constraint<'model>

fn ne(self, other: &A) -> Constraint<'model>

Implementors