Struct satoxid::constraints::LessCardinality [−][src]
pub struct LessCardinality<I1, I2> { /* fields omitted */ }
Expand description
Constraint which encodes that fewer literals are true in smaller
than in larger
.
Trait Implementations
impl<I1: Clone, I2: Clone> Clone for LessCardinality<I1, I2>
[src]
impl<I1: Clone, I2: Clone> Clone for LessCardinality<I1, I2>
[src]fn clone(&self) -> LessCardinality<I1, I2>
[src]
fn clone(&self) -> LessCardinality<I1, I2>
[src]Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]Performs copy-assignment from source
. Read more
Auto Trait Implementations
impl<I1, I2> RefUnwindSafe for LessCardinality<I1, I2> where
I1: RefUnwindSafe,
I2: RefUnwindSafe,
I1: RefUnwindSafe,
I2: RefUnwindSafe,
impl<I1, I2> Send for LessCardinality<I1, I2> where
I1: Send,
I2: Send,
I1: Send,
I2: Send,
impl<I1, I2> Sync for LessCardinality<I1, I2> where
I1: Sync,
I2: Sync,
I1: Sync,
I2: Sync,
impl<I1, I2> Unpin for LessCardinality<I1, I2> where
I1: Unpin,
I2: Unpin,
I1: Unpin,
I2: Unpin,
impl<I1, I2> UnwindSafe for LessCardinality<I1, I2> where
I1: UnwindSafe,
I2: UnwindSafe,
I1: UnwindSafe,
I2: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more