Enum inari::Overlap [−][src]
pub enum Overlap {
Show 16 variants
BothEmpty,
FirstEmpty,
SecondEmpty,
Before,
Meets,
Overlaps,
Starts,
ContainedBy,
Finishes,
Equals,
FinishedBy,
Contains,
StartedBy,
OverlappedBy,
MetBy,
After,
}
Expand description
The overlapping state between intervals, returned by Interval::overlap
.
Quick Reference
self
relative to rhs
:
rhs
c d
β’ββββββββ’
ββ a b : :
β B β’ββββ’ : :
β M β’ββββ’ : rhs
β O β’ββββ’ : c=d
β S β’ββββ’ : β’
β S β’ : ββ a b :
β Cb : β’ββββ’ : β B β’ββββ’ :
β : β’ββββ’ F β β’ E
self β : β’ F self β β’ββββ’ Fb
β β’ββββββββ’ E β β’ββββ’ C
β β’ββββββββββ’ Fb β β’ββββ’ Sb
β β’ββββββββββββ’ C β : β’ββββ’ A
β β’ββββββββββ’ Sb ββ : a b
β : β’ββββ’ Ob β’
β : β’ββββ’ Mb c=d
β : : β’ββββ’ A
ββ : : a b
β’ββββββββ’
c d
rhs
relative to self
:
self
a b
β’ββββββββ’
ββ : : c d
β : : β’ββββ’ B
β : β’ββββ’ M self
β : β’ββββ’ O a=b
β β’ββββββββββ’ S β’
β β’ββββββββββββ’ Cb ββ : c d
β β’ββββββββββ’ F β : β’ββββ’ B
β β’ββββββββ’ E β β’ββββ’ S
rhs β : β’ββββ’ Fb rhs β β’ββββ’ Cb
β : β’ Fb β β’ββββ’ F
β C : β’ββββ’ : β β’ E
β Sb β’ββββ’ : β A β’ββββ’ :
β Sb β’ : ββ c d :
β Ob β’ββββ’ : β’
β Mb β’ββββ’ : a=b
β A β’ββββ’ : :
ββ c d : :
β’ββββββββ’
a b
Variants
Both self
and rhs
are empty.
Equivalently, $\self = \rhs = β $.
self
is empty while rhs
is not.
Equivalently, $\self = β β§ \rhs β β $.
rhs
is empty while self
is not.
Equivalently, $\self β β β§ \rhs = β $.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $b < c$.
Equivalently,
$$ \self β β β§ \rhs β β β§ βx β \self, βy β \rhs : x < y. $$
a b
self: β’βββββββ’
rhs: β’βββββββ’
c d
Inverse: Overlap::After
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $a < b β§ b = c β§ c < d$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βx β \self, βy β \rhs : x β€ y \\ &β§ βx β \self, βy β \rhs : x < y \\ &β§ βx β \self, βy β \rhs : x = y. \end{align*} $$
a b
self: β’βββββββ’
rhs: β’βββββββ’
c d
Inverse: Overlap::MetBy
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $a < c β§ c < b β§ b < d$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βx β \self, βy β \rhs : x < y \\ &β§ βy β \rhs, βx β \self : x < y \\ &β§ βx β \self, βy β \rhs : y < x. \end{align*} $$
a b
self: β’βββββββ’
rhs: β’βββββββ’
c d
Inverse: Overlap::OverlappedBy
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $a = c β§ b < d$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βy β \rhs, βx β \self : x β€ y \\ &β§ βx β \self, βy β \rhs : y β€ x \\ &β§ βy β \rhs, βx β \self : x < y. \end{align*} $$
a b : a=b
self: β’βββββ’ : self: β’
rhs: β’βββββββββ’ : rhs: β’βββββββ’
c d : c d
Inverse: Overlap::StartedBy
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $c < a β§ b < d$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βy β \rhs, βx β \self : y < x \\ &β§ βy β \rhs, βx β \self : x < y. \end{align*} $$
a b
self: β’βββββ’
rhs: β’βββββββββ’
c d
Inverse: Overlap::Contains
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $c < a β§ b = d$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βy β \rhs, βx β \self : y < x \\ &β§ βy β \rhs, βx β \self : y β€ x \\ &β§ βx β \self, βy β \rhs : x β€ y. \end{align*} $$
a b : a=b
self: β’βββββ’ : self: β’
rhs: β’βββββββββ’ : rhs: β’βββββββ’
c d : c d
Inverse: Overlap::FinishedBy
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $a = c β§ b = d$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βx β \self, βy β \rhs : x = y \\ &β§ βy β \rhs, βx β \self : y = x. \end{align*} $$
a b : a=b
self: β’βββββββ’ : self: β’
rhs: β’βββββββ’ : rhs: β’
c d : c=d
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $a < c β§ b = d$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βx β \self, βy β \rhs : x < y \\ &β§ βx β \self, βy β \rhs : x β€ y \\ &β§ βy β \rhs, βx β \self : y β€ x. \end{align*} $$
a b : a b
self: β’βββββββββ’ : self: β’βββββββ’
rhs: β’βββββ’ : rhs: β’
c d : c=d
Inverse: Overlap::Finishes
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $a < c β§ d < b$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βx β \self, βy β \rhs : x < y \\ &β§ βx β \self, βy β \rhs : y < x. \end{align*} $$
a b
self: β’βββββββββ’
rhs: β’βββββ’
c d
Inverse: Overlap::ContainedBy
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $a = c β§ d < b$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βx β \self, βy β \rhs : y β€ x \\ &β§ βy β \rhs, βx β \self : x β€ y \\ &β§ βx β \self, βy β \rhs : y < x. \end{align*} $$
a b : a b
self: β’βββββββββ’ : self: β’βββββββ’
rhs: β’βββββ’ : rhs: β’
c d : c=d
Inverse: Overlap::Starts
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $c < a β§ a < d β§ d < b$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βy β \rhs, βx β \self : y < x \\ &β§ βx β \self, βy β \rhs : y < x \\ &β§ βy β \rhs, βx β \self : x < y. \end{align*} $$
a b
self: β’βββββββ’
rhs: β’βββββββ’
c d
Inverse: Overlap::Overlaps
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $c < d β§ a = d β§ a < b$.
Equivalently,
$$ \begin{align*} \self β β β§ \rhs β β &β§ βy β \rhs, βx β \self : y β€ x \\ &β§ βy β \rhs, βx β \self : y = x \\ &β§ βy β \rhs, βx β \self : y < x. \end{align*} $$
a b
self: β’βββββββ’
rhs: β’βββββββ’
c d
Inverse: Overlap::Meets
.
Both $\self = [a, b]$ and $rhs = [c, d]$ are nonempty and $d < a$.
Equivalently,
$$ \self β β β§ \rhs β β β§ βy β \rhs, βx β \self : y < x. $$
a b
self: β’βββββββ’
rhs: β’βββββββ’
c d
Inverse: Overlap::Before
.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Overlap
impl UnwindSafe for Overlap
Blanket Implementations
Mutably borrows from an owned value. Read more
Casts the value.
Casts the value.
Casts the value.
Casts the value.
Casts the value.