CppClingo::Util::interval_set< T >::interval Struct Reference

An interval determined by a left and a right bound. More...

#include <interval_set.hh>

Public Member Functions
constexpr	interval (left_bound left, right_bound right)
	Construct the bound.
auto	contains (value_type const &x) const -> bool
	Whether the interval contains the given value.
auto	empty () const -> bool
	Whether the interval is empty.

Public Attributes
left_bound	left
	The left bound of the interval.
right_bound	right
	The right bound of the interval.

Detailed Description

template<class T>
struct CppClingo::Util::interval_set< T >::interval

An interval determined by a left and a right bound.

---

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

• clingo/util/interval_set.hh