Trait casuarius::Constrainable
source · [−]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,
{ ... }
}
Expand description
A trait for creating constraints using custom variable types.
Required Methods
sourcefn equal_to<X>(self, x: X) -> Constraint<Var> where
fn equal_to<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,
sourcefn greater_than_or_equal_to<X>(self, x: X) -> Constraint<Var> where
fn greater_than_or_equal_to<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,
sourcefn less_than_or_equal_to<X>(self, x: X) -> Constraint<Var> where
fn less_than_or_equal_to<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,
Provided Methods
sourcefn is<X>(self, x: X) -> Constraint<Var> where
fn is<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,
sourcefn is_ge<X>(self, x: X) -> Constraint<Var> where
fn is_ge<X>(self, x: X) -> Constraint<Var> where
X: Into<Expression<Var>> + Clone,
sourcefn is_le<X>(self, x: X) -> Constraint<Var> where