Boolean

equal

bool equal(interval<T> a, interval<T> b)

[source]

Details

Returns true if intervals $a$ and $b$ are equal.

±0 ulps

$=: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{B}$

---

subset

bool subset(interval<T> a, interval<T> b)

[source]

Details

Returns true if $a$ is a subset of $b$.

±0 ulps

$\subseteq: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{B}$

---

interior

bool interior(interval<T> a, interval<T> b)

[source]

Details

Returns true if $a$ is in the interior of $b$.

±0 ulps

$\mathrm{interior}: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{B}$

---

disjoint

bool disjoint(interval<T> a, interval<T> b)

[source]

Details

Returns true if intervals $a$ and $b$ are disjoint.

±0 ulps

$\mathrm{disjoint}: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{B}$

---

less

bool less(interval<T> a, interval<T> b)

[source]

Details

Returns true if $a \leq b$ for intervals.

±0 ulps

$\leq: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{B}$

---

precedes

bool precedes(interval<T> a, interval<T> b)

[source]

Details

Returns true if $a$ precedes $b$.

±0 ulps

$\preceq: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{B}$

---

empty

bool empty(interval<T> x)

[source]

Details

Returns true if interval $x$ is empty.

±0 ulps

$\mathrm{isEmpty}: \mathbb{IR} \rightarrow \mathbb{B}$

---

entire

bool entire(interval<T> x)

[source]

Details

Returns true if interval $x$ is entire (covers all values).

±0 ulps

$\mathrm{isEntire}: \mathbb{IR} \rightarrow \mathbb{B}$

---

just_zero

bool just_zero(interval<T> x)

[source]

Details

Returns true if interval $x$ is exactly zero.

±0 ulps

$\mathrm{justZero}: \mathbb{IR} \rightarrow \mathbb{B}$

---

contains

bool contains(interval<T> x, T y)

[source]

Details

Returns true if interval $x$ contains value $y$.

±0 ulps

$\mathrm{contains}: \mathbb{IR}\times\mathbb{R} \rightarrow \mathbb{B}$

---

bounded

bool bounded(interval<T> x)

[source]

Details

Returns true if interval $x$ is bounded.

±0 ulps

$\mathrm{bounded}: \mathbb{IR} \rightarrow \mathbb{B}$

---

isfinite

bool isfinite(interval<T> x)

[source]

Details

Returns true if interval $x$ is finite.

±0 ulps

$\mathrm{isfinite}: \mathbb{IR} \rightarrow \mathbb{B}$

---

strict_less_or_both_inf

bool strict_less_or_both_inf(T x, T y)

[source]

Details

Returns true if $x < y$ or both are infinite.

±0 ulps

$\mathrm{strictLessOrBothInf}: \mathbb{R}\times\mathbb{R} \rightarrow \mathbb{B}$

---

strict_less

bool strict_less(interval<T> a, interval<T> b)

[source]

Details

Returns true if $a < b$ strictly.

±0 ulps

$<: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{B}$

---

strict_precedes

bool strict_precedes(interval<T> a, interval<T> b)

[source]

Details

Returns true if $a$ strictly precedes $b$.

±0 ulps

$\prec: \mathbb{IR}\times\mathbb{IR} \rightarrow \mathbb{B}$

---

isinf

bool isinf(interval<T> x)

[source]

Details

Returns true if interval $x$ is infinite.

±0 ulps

$\mathrm{isinf}: \mathbb{IR} \rightarrow \mathbb{B}$

---

isnai

bool isnai(interval<T> x)

[source]

Details

Returns true if interval $x$ is Not an Interval (NAI).

±0 ulps

$\mathrm{isnai}: \mathbb{IR} \rightarrow \mathbb{B}$

---

is_member

bool is_member(T x, interval<T> y)

[source]

Details

Returns true if $x \in y$.

±0 ulps

$\in: \mathbb{R}\times\mathbb{IR} \rightarrow \mathbb{B}$

---

is_singleton

bool is_singleton(interval<T> x)

[source]

Details

Returns true if interval $x$ is a singleton.

±0 ulps

$\mathrm{isSingleton}: \mathbb{IR} \rightarrow \mathbb{B}$

---

is_common_interval

bool is_common_interval(interval<T> x)

[source]

Details

Returns true if interval $x$ is a common interval.

±0 ulps

$\mathrm{isCommonInterval}: \mathbb{IR} \rightarrow \mathbb{B}$

---

isnormal

bool isnormal(interval<T> x)

[source]

Details

Returns true if interval $x$ is normal.

±0 ulps

$\mathrm{isnormal}: \mathbb{IR} \rightarrow \mathbb{B}$

---

is_atomic

bool is_atomic(interval<T> x)

[source]

Details

Returns true if interval $x$ is atomic.

±0 ulps

$\mathrm{isAtomic}: \mathbb{IR} \rightarrow \mathbb{B}$

---