Trait casuarius::Constrainable

pub trait Constrainable<Var> where
    Var: Sized,
    Self: Sized, {
    fn equal_to<X>(self, x: X) -> Constraint<Var>
    where
        X: Into<Expression<Var>> + Clone;
    fn greater_than_or_equal_to<X>(self, x: X) -> Constraint<Var>
    where
        X: Into<Expression<Var>> + Clone;
    fn less_than_or_equal_to<X>(self, x: X) -> Constraint<Var>
    where
        X: Into<Expression<Var>> + Clone;

    fn is<X>(self, x: X) -> Constraint<Var>
    where
        X: Into<Expression<Var>> + Clone,
    { ... }
    fn is_ge<X>(self, x: X) -> Constraint<Var>
    where
        X: Into<Expression<Var>> + Clone,
    { ... }
    fn is_le<X>(self, x: X) -> Constraint<Var>
    where
        X: Into<Expression<Var>> + Clone,
    { ... }
}

A trait for creating constraints using custom variable types.

Required Methods

fn equal_to<X>(self, x: X) -> Constraint<Var> where
    X: Into<Expression<Var>> + Clone, 

fn greater_than_or_equal_to<X>(self, x: X) -> Constraint<Var> where
    X: Into<Expression<Var>> + Clone, 

fn less_than_or_equal_to<X>(self, x: X) -> Constraint<Var> where
    X: Into<Expression<Var>> + Clone, 

Provided Methods

fn is<X>(self, x: X) -> Constraint<Var> where
    X: Into<Expression<Var>> + Clone, 

fn is_ge<X>(self, x: X) -> Constraint<Var> where
    X: Into<Expression<Var>> + Clone, 

fn is_le<X>(self, x: X) -> Constraint<Var> where
    X: Into<Expression<Var>> + Clone, 

Implementors

impl Constrainable<Variable> for Variable

impl<Var: Clone> Constrainable<Var> for Expression<Var>