pub struct IndicatorConstraint {
pub name: SmolStr,
pub trigger: VarId,
pub active_value: bool,
pub lhs: ExprId,
pub lower: f64,
pub upper: f64,
pub active: bool,
}Expand description
A binary-triggered affine row, stored canonically as
trigger == active_value => lower <= lhs <= upper.
Fields§
§name: SmolStr§trigger: VarId§active_value: bool§lhs: ExprId§lower: f64§upper: f64§active: boolImplementations§
Trait Implementations§
Source§impl Clone for IndicatorConstraint
impl Clone for IndicatorConstraint
Auto Trait Implementations§
impl Freeze for IndicatorConstraint
impl RefUnwindSafe for IndicatorConstraint
impl Send for IndicatorConstraint
impl Sync for IndicatorConstraint
impl Unpin for IndicatorConstraint
impl UnsafeUnpin for IndicatorConstraint
impl UnwindSafe for IndicatorConstraint
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more