Struct interval::interval_set::IntervalSet

pub struct IntervalSet<Bound: Width> { /* private fields */ }

Implementations

impl<Bound: Width> IntervalSet<Bound>

pub fn iter(&self) -> Iter<'_, Interval<Bound>>

pub fn iter_mut(&mut self) -> IterMut<'_, Interval<Bound>>

impl<Bound> IntervalSet<Bound>

where Bound: Width + Num,

pub fn interval_count(&self) -> usize

Trait Implementations

impl<'a, 'b, Bound: Num + Width + Clone> Add<&'b Bound> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the + operator.

fn add(self, other: &Bound) -> IntervalSet<Bound>

Performs the + operation.

impl<'b, Bound: Num + Width + Clone> Add<&'b Bound> for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the + operator.

fn add(self, other: &Bound) -> IntervalSet<Bound>

Performs the + operation.

impl<'a, 'b, Bound: Num + Width> Add<&'b IntervalSet<Bound>> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the + operator.

fn add(self, other: &IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the + operation.

impl<'b, Bound: Num + Width> Add<&'b IntervalSet<Bound>> for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the + operator.

fn add(self, other: &IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the + operation.

impl<'a, Bound: Num + Width + Clone> Add<Bound> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the + operator.

fn add(self, other: Bound) -> IntervalSet<Bound>

Performs the + operation.

impl<Bound: Num + Width + Clone> Add<Bound> for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the + operator.

fn add(self, other: Bound) -> IntervalSet<Bound>

Performs the + operation.

impl<'a, Bound: Num + Width> Add<IntervalSet<Bound>> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the + operator.

fn add(self, other: IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the + operation.

impl<Bound: Num + Width> Add for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the + operator.

fn add(self, other: IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the + operation.

impl<Bound> Bot for IntervalSet<Bound>

where Bound: Width + Num,

fn bot() -> IntervalSet<Bound>

impl<Bound> Bounded for IntervalSet<Bound>

where Bound: Width + Num + PartialOrd,

fn lower(&self) -> Bound

fn upper(&self) -> Bound

impl<Bound: Width + Num> Cardinality for IntervalSet<Bound>

IsSingleton and IsEmpty are defined automatically in gcollections.

type Size = <Bound as Width>::Output

fn size(&self) -> <Bound as Width>::Output

impl<Bound: Clone + Width> Clone for IntervalSet<Bound>

where Bound::Output: Clone,

fn clone(&self) -> IntervalSet<Bound>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Bound: Width> Collection for IntervalSet<Bound>

type Item = Bound

impl<Bound: Width + Num> Complement for IntervalSet<Bound>

fn complement(&self) -> IntervalSet<Bound>

impl<Bound: Width + Num> Contains for IntervalSet<Bound>

fn contains(&self, value: &Bound) -> bool

impl<Bound: Debug + Width> Debug for IntervalSet<Bound>

where Bound::Output: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Bound> Difference<Bound> for IntervalSet<Bound>

where Bound: Width + Num + Clone,

type Output = IntervalSet<Bound>

fn difference(&self, rhs: &Bound) -> IntervalSet<Bound>

impl<Bound: Width + Num> Difference for IntervalSet<Bound>

type Output = IntervalSet<Bound>

fn difference(&self, rhs: &IntervalSet<Bound>) -> IntervalSet<Bound>

impl<Bound: Width + Num> Disjoint for IntervalSet<Bound>

fn is_disjoint(&self, rhs: &IntervalSet<Bound>) -> bool

impl<Bound: Display + Width + Num> Display for IntervalSet<Bound>

where <Bound as Width>::Output: Display,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<Bound: Width + Num> Empty for IntervalSet<Bound>

fn empty() -> IntervalSet<Bound>

impl<Bound> Entailment for IntervalSet<Bound>

where Bound: Width + Num,

fn entail(&self, other: &IntervalSet<Bound>) -> SKleene

impl<Bound> Extend<Interval<Bound>> for IntervalSet<Bound>

where Bound: Width + Num,

fn extend<I>(&mut self, iterable: I)

where I: IntoIterator<Item = Interval<Bound>>,

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

🔬This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl<Bound> Intersection<Bound> for IntervalSet<Bound>

where Bound: Width + Num + Clone,

type Output = IntervalSet<Bound>

fn intersection(&self, rhs: &Bound) -> IntervalSet<Bound>

impl<Bound: Width + Num> Intersection for IntervalSet<Bound>

type Output = IntervalSet<Bound>

fn intersection(&self, rhs: &IntervalSet<Bound>) -> IntervalSet<Bound>

impl<'a, Bound: Width> IntoIterator for &'a IntervalSet<Bound>

type Item = &'a Interval<Bound>

The type of the elements being iterated over.

type IntoIter = Iter<'a, Interval<Bound>>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a, Bound: Width> IntoIterator for &'a mut IntervalSet<Bound>

type Item = &'a mut Interval<Bound>

The type of the elements being iterated over.

type IntoIter = IterMut<'a, Interval<Bound>>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<Bound: Width> IntoIterator for IntervalSet<Bound>

type Item = Interval<Bound>

The type of the elements being iterated over.

type IntoIter = IntoIter<<IntervalSet<Bound> as IntoIterator>::Item>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<Bound> Join for IntervalSet<Bound>

where Bound: Width + Num,

fn join(self, other: IntervalSet<Bound>) -> IntervalSet<Bound>

impl<Bound> Meet for IntervalSet<Bound>

where Bound: Width + Num,

fn meet(self, other: IntervalSet<Bound>) -> IntervalSet<Bound>

impl<'a, 'b, Bound: Num + Width + Clone> Mul<&'b Bound> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the * operator.

fn mul(self, other: &Bound) -> IntervalSet<Bound>

Performs the * operation.

impl<'b, Bound: Num + Width + Clone> Mul<&'b Bound> for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the * operator.

fn mul(self, other: &Bound) -> IntervalSet<Bound>

Performs the * operation.

impl<'a, 'b, Bound: Num + Width> Mul<&'b IntervalSet<Bound>> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the * operator.

fn mul(self, other: &IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the * operation.

impl<'b, Bound: Num + Width> Mul<&'b IntervalSet<Bound>> for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the * operator.

fn mul(self, other: &IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the * operation.

impl<'a, Bound: Num + Width + Clone> Mul<Bound> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the * operator.

fn mul(self, other: Bound) -> IntervalSet<Bound>

Performs the * operation.

impl<Bound: Num + Width + Clone> Mul<Bound> for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the * operator.

fn mul(self, other: Bound) -> IntervalSet<Bound>

Performs the * operation.

impl<'a, Bound: Num + Width> Mul<IntervalSet<Bound>> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the * operator.

fn mul(self, other: IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the * operation.

impl<Bound: Num + Width> Mul for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the * operator.

fn mul(self, other: IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the * operation.

impl<Bound: Width + Num> Overlap<Bound> for IntervalSet<Bound>

fn overlap(&self, value: &Bound) -> bool

impl Overlap<IntervalSet<i16>> for i16

fn overlap(&self, other: &IntervalSet<i16>) -> bool

impl Overlap<IntervalSet<i32>> for i32

fn overlap(&self, other: &IntervalSet<i32>) -> bool

impl Overlap<IntervalSet<i64>> for i64

fn overlap(&self, other: &IntervalSet<i64>) -> bool

impl Overlap<IntervalSet<i8>> for i8

fn overlap(&self, other: &IntervalSet<i8>) -> bool

impl Overlap<IntervalSet<isize>> for isize

fn overlap(&self, other: &IntervalSet<isize>) -> bool

impl Overlap<IntervalSet<u16>> for u16

fn overlap(&self, other: &IntervalSet<u16>) -> bool

impl Overlap<IntervalSet<u32>> for u32

fn overlap(&self, other: &IntervalSet<u32>) -> bool

impl Overlap<IntervalSet<u64>> for u64

fn overlap(&self, other: &IntervalSet<u64>) -> bool

impl Overlap<IntervalSet<u8>> for u8

fn overlap(&self, other: &IntervalSet<u8>) -> bool

impl Overlap<IntervalSet<usize>> for usize

fn overlap(&self, other: &IntervalSet<usize>) -> bool

impl<Bound: Width + Num> Overlap<Optional<Bound>> for IntervalSet<Bound>

fn overlap(&self, value: &Optional<Bound>) -> bool

impl<Bound: Width + Num> Overlap for IntervalSet<Bound>

fn overlap(&self, rhs: &IntervalSet<Bound>) -> bool

impl<Bound> PartialEq for IntervalSet<Bound>

where Bound: Width + Num,

fn eq(&self, other: &IntervalSet<Bound>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Bound: Width + Num> ProperSubset for IntervalSet<Bound>

fn is_proper_subset(&self, other: &IntervalSet<Bound>) -> bool

impl<Bound> Range for IntervalSet<Bound>

where Bound: Width + Num,

fn new(lb: Bound, ub: Bound) -> IntervalSet<Bound>

impl<Bound: Width + Num> ShrinkLeft for IntervalSet<Bound>

where <Bound as Width>::Output: Clone,

fn shrink_left(&self, lb: Bound) -> IntervalSet<Bound>

impl<Bound: Width + Num> ShrinkRight for IntervalSet<Bound>

where <Bound as Width>::Output: Clone,

fn shrink_right(&self, ub: Bound) -> IntervalSet<Bound>

impl<Bound: Width + Num> Singleton for IntervalSet<Bound>

fn singleton(x: Bound) -> IntervalSet<Bound>

impl<'a, 'b, Bound: Num + Width + Clone> Sub<&'b Bound> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the - operator.

fn sub(self, other: &Bound) -> IntervalSet<Bound>

Performs the - operation.

impl<'b, Bound: Num + Width + Clone> Sub<&'b Bound> for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the - operator.

fn sub(self, other: &Bound) -> IntervalSet<Bound>

Performs the - operation.

impl<'a, 'b, Bound: Num + Width> Sub<&'b IntervalSet<Bound>> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the - operator.

fn sub(self, other: &IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the - operation.

impl<'b, Bound: Num + Width> Sub<&'b IntervalSet<Bound>> for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the - operator.

fn sub(self, other: &IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the - operation.

impl<'a, Bound: Num + Width + Clone> Sub<Bound> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the - operator.

fn sub(self, other: Bound) -> IntervalSet<Bound>

Performs the - operation.

impl<Bound: Num + Width + Clone> Sub<Bound> for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the - operator.

fn sub(self, other: Bound) -> IntervalSet<Bound>

Performs the - operation.

impl<'a, Bound: Num + Width> Sub<IntervalSet<Bound>> for &'a IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the - operator.

fn sub(self, other: IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the - operation.

impl<Bound: Num + Width> Sub for IntervalSet<Bound>

type Output = IntervalSet<Bound>

The resulting type after applying the - operator.

fn sub(self, other: IntervalSet<Bound>) -> IntervalSet<Bound>

Performs the - operation.

impl<Bound: Width + Num> Subset for IntervalSet<Bound>

fn is_subset(&self, other: &IntervalSet<Bound>) -> bool

impl<Bound> SymmetricDifference<Bound> for IntervalSet<Bound>

where Bound: Width + Num + Clone,

type Output = IntervalSet<Bound>

fn symmetric_difference(&self, rhs: &Bound) -> IntervalSet<Bound>

impl<Bound: Width + Num> SymmetricDifference for IntervalSet<Bound>

type Output = IntervalSet<Bound>

fn symmetric_difference(&self, rhs: &IntervalSet<Bound>) -> IntervalSet<Bound>

impl<Bound> Top for IntervalSet<Bound>

where Bound: Width + Num,

fn top() -> IntervalSet<Bound>

impl<Bound> Union<Bound> for IntervalSet<Bound>

where Bound: Width + Num + Clone,

type Output = IntervalSet<Bound>

fn union(&self, rhs: &Bound) -> IntervalSet<Bound>

impl<Bound: Width + Num> Union for IntervalSet<Bound>

type Output = IntervalSet<Bound>

fn union(&self, rhs: &IntervalSet<Bound>) -> IntervalSet<Bound>

impl<Bound> Whole for IntervalSet<Bound>

where Bound: Width + Num,

fn whole() -> IntervalSet<Bound>

impl<Bound: Width + Num> Eq for IntervalSet<Bound>

impl<Bound: Width> IntervalKind for IntervalSet<Bound>