Gringo::enum_interval_set< T > Class Template Reference

#include <intervals.hh>

Collaboration diagram for Gringo::enum_interval_set< T >:

Classes
class	const_iterator

Public Types
using	value_type = T

Public Member Functions
	enum_interval_set ()=default
	enum_interval_set (enum_interval_set const &x)=default
	enum_interval_set (enum_interval_set &&x)=default
void	add (value_type const &a, value_type const &b)
void	remove (value_type const &a, value_type const &b)
void	intersect (enum_interval_set const &set)
bool	contains (value_type const &a, value_type const &b) const
bool	intersects (value_type const &a, value_type const &b) const
bool	empty () const
void	clear ()
value_type	front () const
value_type	back () const
const_iterator	begin () const
const_iterator	end () const

Member Typedef Documentation

template<class T >

using Gringo::enum_interval_set< T >::value_type = T

Constructor & Destructor Documentation

template<class T >

Gringo::enum_interval_set< T >::enum_interval_set ( )

default

template<class T >

Gringo::enum_interval_set< T >::enum_interval_set ( enum_interval_set< T > const &  x )

default

template<class T >

Gringo::enum_interval_set< T >::enum_interval_set ( enum_interval_set< T > &&  x )

default

Member Function Documentation

template<class T >

void Gringo::enum_interval_set< T >::add ( value_type const &  a, value_type const &  b  )

inline

Here is the call graph for this function:

template<class T >

value_type Gringo::enum_interval_set< T >::back ( ) const

inline

template<class T >

const_iterator Gringo::enum_interval_set< T >::begin ( ) const

inline

Here is the call graph for this function:

template<class T >

void Gringo::enum_interval_set< T >::clear ( )

inline

template<class T >

bool Gringo::enum_interval_set< T >::contains ( value_type const &  a, value_type const &  b  ) const

inline

Here is the call graph for this function:

template<class T >

bool Gringo::enum_interval_set< T >::empty ( ) const

inline

template<class T >

const_iterator Gringo::enum_interval_set< T >::end ( ) const

inline

Here is the call graph for this function:

template<class T >

value_type Gringo::enum_interval_set< T >::front ( ) const

inline

template<class T >

void Gringo::enum_interval_set< T >::intersect ( enum_interval_set< T > const &  set )

inline

Here is the call graph for this function:

template<class T >

bool Gringo::enum_interval_set< T >::intersects ( value_type const &  a, value_type const &  b  ) const

inline

Here is the call graph for this function:

template<class T >

void Gringo::enum_interval_set< T >::remove ( value_type const &  a, value_type const &  b  )

inline

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/intervals.hh