pub enum IntegerConstraint {
Continuous,
Integer,
Binary,
NonNegativeInteger,
}Expand description
Per-variable integrality specification.
Variants§
Continuous
Variable is continuous (real-valued).
Integer
Variable must take an integer value.
Binary
Variable is binary: must be 0 or 1.
NonNegativeInteger
Variable must be a non-negative integer.
Implementations§
Source§impl IntegerConstraint
impl IntegerConstraint
Sourcepub fn to_kind(self) -> IntegerKind
pub fn to_kind(self) -> IntegerKind
Convert to the lower-level IntegerKind.
Trait Implementations§
Source§impl Clone for IntegerConstraint
impl Clone for IntegerConstraint
Source§fn clone(&self) -> IntegerConstraint
fn clone(&self) -> IntegerConstraint
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for IntegerConstraint
impl Debug for IntegerConstraint
Source§impl Hash for IntegerConstraint
impl Hash for IntegerConstraint
Source§impl PartialEq for IntegerConstraint
impl PartialEq for IntegerConstraint
impl Copy for IntegerConstraint
impl Eq for IntegerConstraint
impl StructuralPartialEq for IntegerConstraint
Auto Trait Implementations§
impl Freeze for IntegerConstraint
impl RefUnwindSafe for IntegerConstraint
impl Send for IntegerConstraint
impl Sync for IntegerConstraint
impl Unpin for IntegerConstraint
impl UnsafeUnpin for IntegerConstraint
impl UnwindSafe for IntegerConstraint
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.