CppClingo::Util::index_sequence< T > Class Template Reference

Container to store integer sequences. More...

#include <index_sequence.hh>

Classes
class	iterator
	Const iterator for index sequence. More...

Public Member Functions
void	add (T value)
	Add an integer to the sequence.
void	assign (T l, T r)
	Set the sequence to the interval [l,r-1].
auto	operator[] (size_t index) const -> T
	Get the i-th integer in the sequence.
auto	find (T value) const -> size_t
	Check if the sequence contains an element.
auto	size () const -> size_t
	Get the number of indices in the sequence.
auto	empty () const -> bool
	Check whether the sequence is empty.
auto	begin () const -> iterator
	Get an iterator to the beginning of the sequence.
auto	end () const -> iterator
	Get an iterator to the end of the sequence.

Detailed Description

template<class T>
class CppClingo::Util::index_sequence< T >

Container to store integer sequences.

Consecutive integers are stored in an interval.

---

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

• clingo/util/index_sequence.hh