The Interval class represents a range of real numbers. Intervals may be open (a, b), left-closed [a, b), right-closed (a, b], or fully closed [a, b]. More...

#include <gz/math/Interval.hh>

Public Member Functions
	Interval ()=default
	Constructor. More...

constexpr	Interval (T _leftValue, bool _leftClosed, T _rightValue, bool _rightClosed)
	Constructor. More...

bool	Contains (const Interval< T > &_other) const
	Check if the interval contains `_other` interval. More...

bool	Contains (const T &_value) const
	Check if the interval contains `_value` More...

bool	Empty () const
	Check if the interval is empty Some examples of empty intervals include (a, a), [a, a), and [a + 1, a]. More...

bool	Intersects (const Interval< T > &_other) const
	Check if the interval intersects `_other` interval. More...

bool	IsLeftClosed () const
	Check if the interval is left-closed. More...

bool	IsRightClosed () const
	Check if the interval is right-closed. More...

const T &	LeftValue () const
	Get the leftmost interval value. More...

bool	operator!= (const Interval< T > &_other) const
	Inequality test operator. More...

bool	operator== (const Interval< T > &_other) const
	Equality test operator. More...

const T &	RightValue () const
	Get the rightmost interval value. More...

Static Public Member Functions
static constexpr Interval< T >	Closed (T _leftValue, T _rightValue)
	Make a closed interval [`_leftValue`, `_rightValue`]. More...

static constexpr Interval< T >	LeftClosed (T _leftValue, T _rightValue)
	Make a left-closed interval [`_leftValue`, `_rightValue`) More...

static constexpr Interval< T >	Open (T _leftValue, T _rightValue)
	Make an open interval (`_leftValue`, `_rightValue`) More...

static constexpr Interval< T >	RightClosed (T _leftValue, T _rightValue)
	Make a right-closed interval (`_leftValue`, `_rightValue`]. More...

Static Public Attributes
static const Interval< T > &	Unbounded = detail::gUnboundedInterval<T>
	An unbounded interval (-∞, ∞) More...

Detailed Description

template<typename T>
class gz::math::Interval< T >

The Interval class represents a range of real numbers. Intervals may be open (a, b), left-closed [a, b), right-closed (a, b], or fully closed [a, b].

Example

#include <iostream>
#include <gz/math/Interval.hh>
 
int main(int argc, char **argv)
{
  std::cout << std::boolalpha;
 
  const gz::math::Intervald defaultInterval;
  // A default constructed interval should be empty.
  std::cout << "The " << defaultInterval << " interval is empty: "
            << defaultInterval.Empty() << std::endl;
 
  const gz::math::Intervald openInterval =
      gz::math::Intervald::Open(-1., 1.);
  // An open interval should exclude its endpoints.
  std::cout << "The " << openInterval << " interval contains its endpoints: "
            << (openInterval.Contains(openInterval.LeftValue()) ||
                openInterval.Contains(openInterval.RightValue()))
            << std::endl;
 
  const gz::math::Intervald closedInterval =
      gz::math::Intervald::Closed(0., 1.);
 
  // A closed interval should include its endpoints.
  std::cout << "The " << closedInterval << " interval contains its endpoints: "
            << (closedInterval.Contains(closedInterval.LeftValue()) ||
                closedInterval.Contains(closedInterval.RightValue()))
            << std::endl;
 
  // Closed and open intervals may intersect.
  std::cout << "Intervals " << closedInterval << " and " << openInterval
            << " intersect: " << closedInterval.Intersects(openInterval)
            << std::endl;
 
  // The unbounded interval should include all non-empty intervals.
  std::cout << "The " << gz::math::Intervald::Unbounded
            << " interval contains all previous non-empty intervals: "
            << (gz::math::Intervald::Unbounded.Contains(openInterval) ||
                gz::math::Intervald::Unbounded.Contains(closedInterval))
            << std::endl;
 
}

Constructor & Destructor Documentation

◆ Interval() [1/2]

Interval ( )

default

Constructor.

◆ Interval() [2/2]

constexpr Interval	(	T	_leftValue,
		bool	_leftClosed,
		T	_rightValue,
		bool	_rightClosed
	)

inlineconstexpr

Constructor.

Parameters

[in]	_leftValue	leftmost interval value
[in]	_leftClosed	whether the interval is left-closed or not
[in]	_rightValue	rightmost interval value
[in]	_rightClosed	whether the interval is right-closed or not

Member Function Documentation

◆ Closed()

static constexpr Interval<T> Closed	(	T	_leftValue,
		T	_rightValue
	)

inlinestaticconstexpr

Make a closed interval [_leftValue, _rightValue].

Parameters

[in]	_leftValue	leftmost interval value
[in]	_rightValue	rightmost interval value

Returns: the closed interval

◆ Contains() [1/2]

bool Contains ( const Interval< T > & _other ) const

inline

Check if the interval contains _other interval.

Parameters

[in] _other interval to check for membership

Returns: true if it is contained, false otherwise

◆ Contains() [2/2]

bool Contains ( const T & _value ) const

inline

Check if the interval contains _value

Parameters

[in] _value value to check for membership

Returns: true if it is contained, false otherwise

Referenced by Polynomial3< T >::Minimum(), Interval< ScalarT >::operator!=(), and Interval< ScalarT >::operator==().

◆ Empty()

bool Empty ( ) const

inline

Check if the interval is empty Some examples of empty intervals include (a, a), [a, a), and [a + 1, a].

Returns: true if it is empty, false otherwise

Referenced by Interval< ScalarT >::Contains(), Interval< ScalarT >::Intersects(), and Polynomial3< T >::Minimum().

◆ Intersects()

bool Intersects ( const Interval< T > & _other ) const

inline

Check if the interval intersects _other interval.

Parameters

[in] _other interval to check for intersection

Returns: true if both intervals intersect, false otherwise

◆ IsLeftClosed()

bool IsLeftClosed ( ) const

inline

Check if the interval is left-closed.

Returns: true if the interval is left-closed, false otherwise

◆ IsRightClosed()

bool IsRightClosed ( ) const

inline

Check if the interval is right-closed.

Returns: true if the interval is right-closed, false otherwise

◆ LeftClosed()

static constexpr Interval<T> LeftClosed	(	T	_leftValue,
		T	_rightValue
	)

inlinestaticconstexpr

Make a left-closed interval [_leftValue, _rightValue)

Parameters

[in]	_leftValue	leftmost interval value
[in]	_rightValue	rightmost interval value

Returns: the left-closed interval

◆ LeftValue()

const T& LeftValue ( ) const

inline

Get the leftmost interval value.

Returns: the leftmost interval value

Referenced by Polynomial3< T >::Minimum().

◆ Open()

static constexpr Interval<T> Open	(	T	_leftValue,
		T	_rightValue
	)

inlinestaticconstexpr

Make an open interval (_leftValue, _rightValue)

Parameters

[in]	_leftValue	leftmost interval value
[in]	_rightValue	rightmost interval value

Returns: the open interval

◆ operator!=()

bool operator!= ( const Interval< T > & _other ) const

inline

Inequality test operator.

Parameters

_other interval to check for inequality

Returns: true if intervals are unequal, false otherwise

◆ operator==()

bool operator== ( const Interval< T > & _other ) const

inline

Equality test operator.

Parameters

_other interval to check for equality

Returns: true if intervals are equal, false otherwise

◆ RightClosed()

static constexpr Interval<T> RightClosed	(	T	_leftValue,
		T	_rightValue
	)

inlinestaticconstexpr

Make a right-closed interval (_leftValue, _rightValue].

Parameters

[in]	_leftValue	leftmost interval value
[in]	_rightValue	rightmost interval value

Returns: the left-closed interval

◆ RightValue()

const T& RightValue ( ) const

inline

Get the rightmost interval value.

Returns: the rightmost interval value

Referenced by Polynomial3< T >::Minimum().

Member Data Documentation

◆ Unbounded

const Interval< T > & Unbounded = detail::gUnboundedInterval<T>

static

An unbounded interval (-∞, ∞)

The documentation for this class was generated from the following file:

gz/math/Interval.hh

Gazebo Math

API Reference

Public Member Functions

Static Public Member Functions

Static Public Attributes

Detailed Description

template<typename T>
class gz::math::Interval< T >

Example

Constructor & Destructor Documentation

◆ Interval() [1/2]

◆ Interval() [2/2]

Member Function Documentation

◆ Closed()

◆ Contains() [1/2]

◆ Contains() [2/2]

◆ Empty()

◆ Intersects()

◆ IsLeftClosed()

◆ IsRightClosed()

◆ LeftClosed()

◆ LeftValue()

◆ Open()

◆ operator!=()

◆ operator==()

◆ RightClosed()

◆ RightValue()

Member Data Documentation

◆ Unbounded

Public Member Functions

Static Public Member Functions

Static Public Attributes

Detailed Description

template<typename T> class gz::math::Interval< T >

Example

Constructor & Destructor Documentation

◆ Interval() [1/2]

◆ Interval() [2/2]

Member Function Documentation

◆ Closed()

◆ Contains() [1/2]

◆ Contains() [2/2]

◆ Empty()

◆ Intersects()

◆ IsLeftClosed()

◆ IsRightClosed()

◆ LeftClosed()

◆ LeftValue()

◆ Open()

◆ operator!=()

◆ operator==()

◆ RightClosed()

◆ RightValue()

Member Data Documentation

◆ Unbounded

template<typename T>
class gz::math::Interval< T >