Enum inari::OverlappingState

pub enum OverlappingState {
    BothEmpty,
    FirstEmpty,
    SecondEmpty,
    Before,
    Meets,
    Overlaps,
    Starts,
    ContainedBy,
    Finishes,
    Equals,
    FinishedBy,
    Contains,
    StartedBy,
    OverlappedBy,
    MetBy,
    After,
}

States returned by Interval::overlap.

Variants

BothEmpty

Both self and rhs are empty.

Equivalently, $\self = \rhs = ∅$.

FirstEmpty

self is empty while rhs is not.

Equivalently, $\self = ∅ ∧ \rhs ≠ ∅$.

SecondEmpty

rhs is empty while self is not.

Equivalently, $\self ≠ ∅ ∧ \rhs = ∅$.

Before

       a      b
self:  •——————•
 rhs:             •——————•
                  c      d

Both self and rhs are nonempty and $b < c$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ ∀x ∈ \self, ∀y ∈ \rhs : x < y$.

Meets

       a      b
self:  •——————•
 rhs:         •——————•
              c      d

Both self and rhs are nonempty and $a < b ∧ b = c ∧ c < d$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∀x ∈ \self, ∀y ∈ \rhs : x ≤ y) ∧ (∃x ∈ \self, ∀y ∈ \rhs : x < y) ∧ (∃x ∈ \self, ∃y ∈ \rhs : x = y)$.

Overlaps

       a      b
self:  •——————•
 rhs:      •——————•
           c      d

Both self and rhs are nonempty and $a < c ∧ c < b ∧ b < d$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∃x ∈ \self, ∀y ∈ \rhs : x < y) ∧ (∃y ∈ \rhs, ∀x ∈ \self : x < y) ∧ (∃x ∈ \self, ∃y ∈ \rhs : y < x)$.

Starts

       a    b                a,b
self:  •————•          self:  • (point)
 rhs:  •————————•       rhs:  •——————•
       c        d             c      d

Both self and rhs are nonempty and $a = c ∧ b < d$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∀y ∈ \rhs, ∃x ∈ \self : x ≤ y) ∧ (∀x ∈ \self, ∃y ∈ \rhs : y ≤ x) ∧ (∃y ∈ \rhs, ∀x ∈ \self : x < y)$.

ContainedBy

         a    b
self:    •————•
 rhs:  •————————•
       c        d

Both self and rhs are nonempty and $c < a ∧ b < d$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∃y ∈ \rhs, ∀x ∈ \self : y < x) ∧ (∃y ∈ \rhs, ∀x ∈ \self : x < y)$.

Finishes

           a    b                   a,b
self:      •————•      self:         • (point)
 rhs:  •————————•       rhs:  •——————•
       c        d             c      d

Both self and rhs are nonempty and $c < a ∧ b = d$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∃y ∈ \rhs, ∀x ∈ \self : y < x) ∧ (∀y ∈ \rhs, ∃x ∈ \self : y ≤ x) ∧ (∀x ∈ \self, ∃y ∈ \rhs : x ≤ y)$.

Equals

       a      b            a,b
self:  •——————•      self:  • (point)
 rhs:  •——————•       rhs:  • (point)
       c      d            c,d

Both self and rhs are nonempty and $a = c ∧ b = d$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∀x ∈ \self, ∃y ∈ \rhs : x = y) ∧ (∀y ∈ \rhs, ∃x ∈ \self : y = x)$.

FinishedBy

       a        b             a      b
self:  •————————•      self:  •——————•
 rhs:      •————•       rhs:         • (point)
           c    d                   c,d

Both self and rhs are nonempty and $a < c ∧ b = d$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∃x ∈ \self, ∀y ∈ \rhs : x < y) ∧ (∀x ∈ \self, ∃y ∈ \rhs : x ≤ y) ∧ (∀y ∈ \rhs, ∃x ∈ \self : y ≤ x)$.

Contains

       a        b
self:  •————————•
 rhs:    •————•
         c    d

Both self and rhs are nonempty and $a < c ∧ d < b$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∃x ∈ \self, ∀y ∈ \rhs : x < y) ∧ (∃x ∈ \self, ∀y ∈ \rhs : y < x)$.

StartedBy

       a        b             a      b
self:  •————————•      self:  •——————•
 rhs:  •————•           rhs:  • (point)
       c    d                c,d

Both self and rhs are nonempty and $a = c ∧ d < b$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∀x ∈ \self, ∃y ∈ \rhs : y ≤ x) ∧ (∀y ∈ \rhs, ∃x ∈ \self : x ≤ y) ∧ (∃x ∈ \self, ∀y ∈ \rhs : y < x)$.

OverlappedBy

           a      b
self:      •——————•
 rhs:  •——————•
       c      d

Both self and rhs are nonempty and $c < a ∧ a < d ∧ d < b$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∃y ∈ \rhs, ∀x ∈ \self : y < x) ∧ (∃x ∈ \self, ∀y ∈ \rhs : y < x) ∧ (∃y ∈ \rhs, ∃x ∈ \self : x < y)$.

MetBy

              a      b
self:         •——————•
 rhs:  •——————•
       c      d

Both self and rhs are nonempty and $c < d ∧ a = d ∧ a < b$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ (∀y ∈ \rhs, ∀x ∈ \self : y ≤ x) ∧ (∃y ∈ \rhs, ∃x ∈ \self : y = x) ∧ (∃y ∈ \rhs, ∀x ∈ \self : y < x)$.

After

                  a      b
self:             •——————•
 rhs:  •——————•
       c      d

Both self and rhs are nonempty and $d < a$.

Equivalently, $\self ≠ ∅ ∧ \rhs ≠ ∅ ∧ ∀y ∈ \rhs, ∀x ∈ \self : y < x$.

Trait Implementations

impl Clone for OverlappingState

fn clone(&self) -> OverlappingState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for OverlappingState

impl Debug for OverlappingState

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

Formats the value using the given formatter.

impl Eq for OverlappingState

impl PartialEq<OverlappingState> for OverlappingState

fn eq(&self, other: &OverlappingState) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for OverlappingState

impl StructuralPartialEq for OverlappingState