Trait IntDomain 

pub trait IntDomain:
    Bounded
    + Cardinality
    + Empty
    + IsEmpty
    + Singleton
    + IsSingleton
    + Range
    + Contains
    + ShrinkLeft
    + ShrinkRight
    + StrictShrinkLeft
    + StrictShrinkRight
    + Difference<<Self as Collection>::Item, Output = Self>
    + Intersection<Output = Self>
    + Difference<Output = Self>
    + Overlap
    + Subset
    + Disjoint
    + Add<<Self as Collection>::Item, Output = Self>
    + Sub<<Self as Collection>::Item, Output = Self>
    + Add<Output = Self>
    + Sub<Output = Self>
    + Mul<Output = Self>
    + Clone
    + Debug
where
    <Self as Collection>::Item: IntBound,
{ }

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<R> IntDomain for R

where R: Bounded + Cardinality + Empty + IsEmpty + Singleton + IsSingleton + Range + Contains + ShrinkLeft + ShrinkRight + StrictShrinkLeft + StrictShrinkRight + Difference<<R as Collection>::Item, Output = R> + Intersection<Output = R> + Difference<Output = R> + Overlap + Subset + Disjoint + Add<<R as Collection>::Item, Output = R> + Sub<<R as Collection>::Item, Output = R> + Add<Output = R> + Sub<Output = R> + Mul<Output = R> + Clone + Debug, <R as Collection>::Item: IntBound,