Enum flatzinc::predicates::types::BasicPredParType
source · [−]pub enum BasicPredParType {
BasicParType(BasicParType),
BasicVarType(BasicVarType),
VarSetOfInt,
IntInRange(i128, i128),
IntInSet(Vec<i128>),
BoundedFloat(f64, f64),
FloatInSet(Vec<f64>),
SubSetOfIntSet(Vec<i128>),
SubSetOfIntRange(i128, i128),
}
Variants
BasicParType(BasicParType)
BasicVarType(BasicVarType)
VarSetOfInt
IntInRange(i128, i128)
IntInSet(Vec<i128>)
BoundedFloat(f64, f64)
FloatInSet(Vec<f64>)
SubSetOfIntSet(Vec<i128>)
SubSetOfIntRange(i128, i128)
Trait Implementations
sourceimpl Clone for BasicPredParType
impl Clone for BasicPredParType
sourcefn clone(&self) -> BasicPredParType
fn clone(&self) -> BasicPredParType
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for BasicPredParType
impl Debug for BasicPredParType
sourceimpl PartialEq<BasicPredParType> for BasicPredParType
impl PartialEq<BasicPredParType> for BasicPredParType
sourcefn eq(&self, other: &BasicPredParType) -> bool
fn eq(&self, other: &BasicPredParType) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &BasicPredParType) -> bool
fn ne(&self, other: &BasicPredParType) -> bool
This method tests for !=
.
impl StructuralPartialEq for BasicPredParType
Auto Trait Implementations
impl RefUnwindSafe for BasicPredParType
impl Send for BasicPredParType
impl Sync for BasicPredParType
impl Unpin for BasicPredParType
impl UnwindSafe for BasicPredParType
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more