Struct interval::interval::Interval

pub struct Interval<Bound> { /* private fields */ }

Closed interval (endpoints included).

Trait Implementations

impl<'a, 'b, Bound> Add<&'b Bound> for &'a Interval<Bound>

where Bound: Num + Width + Clone,

type Output = Interval<Bound>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = Interval<Bound>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a, 'b, Bound> Add<&'b Interval<Bound>> for &'a Interval<Bound>

where Bound: Num + Width,

type Output = Interval<Bound>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = Interval<Bound>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = Interval<Bound>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = Interval<Bound>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = Interval<Bound>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = Interval<Bound>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<Bound> Bot for Interval<Bound>

where Bound: Width + Num,

fn bot() -> Interval<Bound>

impl<Bound> Bounded for Interval<Bound>

where Bound: Num + Width + Clone,

fn lower(&self) -> Bound

fn upper(&self) -> Bound

impl<Bound> Cardinality for Interval<Bound>

where Bound: Width + Num,

IsSingleton and IsEmpty are defined automatically in gcollections.

type Size = <Bound as Width>::Output

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

impl<Bound: Clone> Clone for Interval<Bound>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Bound> Collection for Interval<Bound>

type Item = Bound

impl<Bound> Contains for Interval<Bound>

where Bound: Ord,

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

impl<Bound: Debug> Debug for Interval<Bound>

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

Formats the value using the given formatter.

impl<Bound> Difference<Bound> for Interval<Bound>

where Bound: Num + Clone,

type Output = Interval<Bound>

fn difference(&self, value: &Bound) -> Interval<Bound>

impl Difference<Interval<i16>> for Optional<i16>

type Output = Optional<i16>

fn difference(&self, other: &Interval<i16>) -> Optional<i16>

impl Difference<Interval<i32>> for Optional<i32>

type Output = Optional<i32>

fn difference(&self, other: &Interval<i32>) -> Optional<i32>

impl Difference<Interval<i64>> for Optional<i64>

type Output = Optional<i64>

fn difference(&self, other: &Interval<i64>) -> Optional<i64>

impl Difference<Interval<i8>> for Optional<i8>

type Output = Optional<i8>

fn difference(&self, other: &Interval<i8>) -> Optional<i8>

impl Difference<Interval<isize>> for Optional<isize>

type Output = Optional<isize>

fn difference(&self, other: &Interval<isize>) -> Optional<isize>

impl Difference<Interval<u16>> for Optional<u16>

type Output = Optional<u16>

fn difference(&self, other: &Interval<u16>) -> Optional<u16>

impl Difference<Interval<u32>> for Optional<u32>

type Output = Optional<u32>

fn difference(&self, other: &Interval<u32>) -> Optional<u32>

impl Difference<Interval<u64>> for Optional<u64>

type Output = Optional<u64>

fn difference(&self, other: &Interval<u64>) -> Optional<u64>

impl Difference<Interval<u8>> for Optional<u8>

type Output = Optional<u8>

fn difference(&self, other: &Interval<u8>) -> Optional<u8>

impl Difference<Interval<usize>> for Optional<usize>

type Output = Optional<usize>

fn difference(&self, other: &Interval<usize>) -> Optional<usize>

impl<Bound> Difference<Optional<Bound>> for Interval<Bound>

where Bound: Ord + Num + Clone,

type Output = Interval<Bound>

fn difference(&self, value: &Optional<Bound>) -> Interval<Bound>

impl<Bound> Difference for Interval<Bound>

where Bound: Width + Num,

type Output = Interval<Bound>

fn difference(&self, other: &Interval<Bound>) -> Interval<Bound>

impl<Bound> Disjoint<Bound> for Interval<Bound>

where Bound: Num + Ord,

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

impl Disjoint<Interval<i16>> for Optional<i16>

fn is_disjoint(&self, value: &Interval<i16>) -> bool

impl Disjoint<Interval<i16>> for i16

fn is_disjoint(&self, value: &Interval<i16>) -> bool

impl Disjoint<Interval<i32>> for Optional<i32>

fn is_disjoint(&self, value: &Interval<i32>) -> bool

impl Disjoint<Interval<i32>> for i32

fn is_disjoint(&self, value: &Interval<i32>) -> bool

impl Disjoint<Interval<i64>> for Optional<i64>

fn is_disjoint(&self, value: &Interval<i64>) -> bool

impl Disjoint<Interval<i64>> for i64

fn is_disjoint(&self, value: &Interval<i64>) -> bool

impl Disjoint<Interval<i8>> for Optional<i8>

fn is_disjoint(&self, value: &Interval<i8>) -> bool

impl Disjoint<Interval<i8>> for i8

fn is_disjoint(&self, value: &Interval<i8>) -> bool

impl Disjoint<Interval<isize>> for Optional<isize>

fn is_disjoint(&self, value: &Interval<isize>) -> bool

impl Disjoint<Interval<isize>> for isize

fn is_disjoint(&self, value: &Interval<isize>) -> bool

impl Disjoint<Interval<u16>> for Optional<u16>

fn is_disjoint(&self, value: &Interval<u16>) -> bool

impl Disjoint<Interval<u16>> for u16

fn is_disjoint(&self, value: &Interval<u16>) -> bool

impl Disjoint<Interval<u32>> for Optional<u32>

fn is_disjoint(&self, value: &Interval<u32>) -> bool

impl Disjoint<Interval<u32>> for u32

fn is_disjoint(&self, value: &Interval<u32>) -> bool

impl Disjoint<Interval<u64>> for Optional<u64>

fn is_disjoint(&self, value: &Interval<u64>) -> bool

impl Disjoint<Interval<u64>> for u64

fn is_disjoint(&self, value: &Interval<u64>) -> bool

impl Disjoint<Interval<u8>> for Optional<u8>

fn is_disjoint(&self, value: &Interval<u8>) -> bool

impl Disjoint<Interval<u8>> for u8

fn is_disjoint(&self, value: &Interval<u8>) -> bool

impl Disjoint<Interval<usize>> for Optional<usize>

fn is_disjoint(&self, value: &Interval<usize>) -> bool

impl Disjoint<Interval<usize>> for usize

fn is_disjoint(&self, value: &Interval<usize>) -> bool

impl<Bound> Disjoint<Optional<Bound>> for Interval<Bound>

where Bound: Num + Ord,

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

impl<Bound> Disjoint for Interval<Bound>

where Bound: Width + Num,

fn is_disjoint(&self, other: &Interval<Bound>) -> bool

impl<Bound> Display for Interval<Bound>

where Bound: Display + Width + Num,

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

Formats the value using the given formatter.

impl<Bound> Empty for Interval<Bound>

where Bound: Width + Num,

fn empty() -> Interval<Bound>

impl<Bound> Entailment for Interval<Bound>

where Bound: Width + Num,

fn entail(&self, other: &Interval<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> Hull<Bound> for Interval<Bound>

where Bound: Width + Num,

type Output = Interval<Bound>

fn hull(&self, other: &Bound) -> Interval<Bound>

impl Hull<Interval<i16>> for i16

type Output = Interval<i16>

fn hull(&self, other: &Interval<i16>) -> Interval<i16>

impl Hull<Interval<i32>> for i32

type Output = Interval<i32>

fn hull(&self, other: &Interval<i32>) -> Interval<i32>

impl Hull<Interval<i64>> for i64

type Output = Interval<i64>

fn hull(&self, other: &Interval<i64>) -> Interval<i64>

impl Hull<Interval<i8>> for i8

type Output = Interval<i8>

fn hull(&self, other: &Interval<i8>) -> Interval<i8>

impl Hull<Interval<isize>> for isize

type Output = Interval<isize>

fn hull(&self, other: &Interval<isize>) -> Interval<isize>

impl Hull<Interval<u16>> for u16

type Output = Interval<u16>

fn hull(&self, other: &Interval<u16>) -> Interval<u16>

impl Hull<Interval<u32>> for u32

type Output = Interval<u32>

fn hull(&self, other: &Interval<u32>) -> Interval<u32>

impl Hull<Interval<u64>> for u64

type Output = Interval<u64>

fn hull(&self, other: &Interval<u64>) -> Interval<u64>

impl Hull<Interval<u8>> for u8

type Output = Interval<u8>

fn hull(&self, other: &Interval<u8>) -> Interval<u8>

impl Hull<Interval<usize>> for usize

type Output = Interval<usize>

fn hull(&self, other: &Interval<usize>) -> Interval<usize>

impl<Bound> Hull for Interval<Bound>

where Bound: Width + Num,

type Output = Interval<Bound>

fn hull(&self, other: &Interval<Bound>) -> Interval<Bound>

impl<Bound> Intersection<Bound> for Interval<Bound>

where Bound: Width + Num,

type Output = Interval<Bound>

fn intersection(&self, value: &Bound) -> Interval<Bound>

impl Intersection<Interval<i16>> for Optional<i16>

type Output = Optional<i16>

fn intersection(&self, other: &Interval<i16>) -> Optional<i16>

impl Intersection<Interval<i32>> for Optional<i32>

type Output = Optional<i32>

fn intersection(&self, other: &Interval<i32>) -> Optional<i32>

impl Intersection<Interval<i64>> for Optional<i64>

type Output = Optional<i64>

fn intersection(&self, other: &Interval<i64>) -> Optional<i64>

impl Intersection<Interval<i8>> for Optional<i8>

type Output = Optional<i8>

fn intersection(&self, other: &Interval<i8>) -> Optional<i8>

impl Intersection<Interval<isize>> for Optional<isize>

type Output = Optional<isize>

fn intersection(&self, other: &Interval<isize>) -> Optional<isize>

impl Intersection<Interval<u16>> for Optional<u16>

type Output = Optional<u16>

fn intersection(&self, other: &Interval<u16>) -> Optional<u16>

impl Intersection<Interval<u32>> for Optional<u32>

type Output = Optional<u32>

fn intersection(&self, other: &Interval<u32>) -> Optional<u32>

impl Intersection<Interval<u64>> for Optional<u64>

type Output = Optional<u64>

fn intersection(&self, other: &Interval<u64>) -> Optional<u64>

impl Intersection<Interval<u8>> for Optional<u8>

type Output = Optional<u8>

fn intersection(&self, other: &Interval<u8>) -> Optional<u8>

impl Intersection<Interval<usize>> for Optional<usize>

type Output = Optional<usize>

fn intersection(&self, other: &Interval<usize>) -> Optional<usize>

impl<Bound> Intersection<Optional<Bound>> for Interval<Bound>

where Bound: Width + Num,

type Output = Interval<Bound>

fn intersection(&self, value: &Optional<Bound>) -> Interval<Bound>

impl<Bound> Intersection for Interval<Bound>

where Bound: Width + Num,

type Output = Interval<Bound>

fn intersection(&self, other: &Interval<Bound>) -> Interval<Bound>

impl<Bound> Join for Interval<Bound>

where Bound: Width + Num,

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

impl<Bound> Meet for Interval<Bound>

where Bound: Width + Num,

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

impl<'a, 'b, Bound> Mul<&'b Bound> for &'a Interval<Bound>

where Bound: Num + Width + Clone,

type Output = Interval<Bound>

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = Interval<Bound>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'a, 'b, Bound> Mul<&'b Interval<Bound>> for &'a Interval<Bound>

where Bound: Num + Width,

type Output = Interval<Bound>

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = Interval<Bound>

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = Interval<Bound>

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = Interval<Bound>

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = Interval<Bound>

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = Interval<Bound>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<Bound> Overlap<Bound> for Interval<Bound>

where Bound: Width + Num,

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

impl Overlap<Interval<i16>> for Optional<i16>

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

impl Overlap<Interval<i16>> for i16

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

impl Overlap<Interval<i32>> for Optional<i32>

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

impl Overlap<Interval<i32>> for i32

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

impl Overlap<Interval<i64>> for Optional<i64>

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

impl Overlap<Interval<i64>> for i64

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

impl Overlap<Interval<i8>> for Optional<i8>

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

impl Overlap<Interval<i8>> for i8

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

impl Overlap<Interval<isize>> for Optional<isize>

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

impl Overlap<Interval<isize>> for isize

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

impl Overlap<Interval<u16>> for Optional<u16>

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

impl Overlap<Interval<u16>> for u16

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

impl Overlap<Interval<u32>> for Optional<u32>

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

impl Overlap<Interval<u32>> for u32

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

impl Overlap<Interval<u64>> for Optional<u64>

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

impl Overlap<Interval<u64>> for u64

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

impl Overlap<Interval<u8>> for Optional<u8>

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

impl Overlap<Interval<u8>> for u8

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

impl Overlap<Interval<usize>> for Optional<usize>

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

impl Overlap<Interval<usize>> for usize

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

impl<Bound> Overlap<Optional<Bound>> for Interval<Bound>

where Bound: Width + Num,

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

impl<Bound> Overlap for Interval<Bound>

where Bound: Width + Num,

fn overlap(&self, other: &Interval<Bound>) -> bool

impl<Bound> PartialEq for Interval<Bound>

where Bound: Width + Num,

fn eq(&self, other: &Interval<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> ProperSubset for Interval<Bound>

where Bound: Width + Num,

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

impl<Bound> Range for Interval<Bound>

where Bound: Width,

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

impl<Bound> ShrinkLeft for Interval<Bound>

where Bound: Num + Width,

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

impl<Bound> ShrinkRight for Interval<Bound>

where Bound: Num + Width,

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

impl<Bound> Singleton for Interval<Bound>

where Bound: Width + Clone,

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

impl<'a, 'b, Bound> Sub<&'b Bound> for &'a Interval<Bound>

where Bound: Num + Width + Clone,

type Output = Interval<Bound>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Interval<Bound>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a, 'b, Bound> Sub<&'b Interval<Bound>> for &'a Interval<Bound>

where Bound: Num + Width,

type Output = Interval<Bound>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Interval<Bound>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Interval<Bound>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Interval<Bound>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Interval<Bound>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Interval<Bound>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<Bound> Subset for Interval<Bound>

where Bound: Width + Num,

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

impl<Bound> ToInterval<Bound> for Interval<Bound>

fn to_interval(self) -> Interval<Bound>

impl<Bound> Top for Interval<Bound>

where Bound: Width + Num,

fn top() -> Interval<Bound>

impl<Bound> Whole for Interval<Bound>

where Bound: Width + Num,

fn whole() -> Interval<Bound>

impl<Bound: Copy> Copy for Interval<Bound>

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

impl<Bound> IntervalKind for Interval<Bound>