Gringo::IntervalSet< T > Struct Template Reference

#include <intervals.hh>

Inheritance diagram for Gringo::IntervalSet< T >:

Collaboration diagram for Gringo::IntervalSet< T >:

Classes
struct	Interval
struct	LBound
struct	RBound

Public Types
using	Value = T
using	IntervalVec = std::vector< Interval >
using	const_iterator = typename IntervalVec::const_iterator

Public Member Functions
void	add (Interval const &x)
void	remove (Interval const &x)
bool	contains (Interval const &x) const
bool	intersects (Interval const &x) const
bool	empty () const
void	clear ()
void	add (Value const &a, bool ta, Value const &b, bool tb)
const_iterator	begin () const
const_iterator	end () const
void	remove (Value const &a, bool ta, Value const &b, bool tb)

Public Attributes
IntervalVec	vec

Member Typedef Documentation

template<class T>

using Gringo::IntervalSet< T >::const_iterator = typename IntervalVec::const_iterator

template<class T>

using Gringo::IntervalSet< T >::IntervalVec = std::vector<Interval>

template<class T>

using Gringo::IntervalSet< T >::Value = T

Member Function Documentation

template<class T>

void Gringo::IntervalSet< T >::add ( Interval const &  x )

inline

template<class T>

void Gringo::IntervalSet< T >::add ( Value const &  a, bool  ta, Value const &  b, bool  tb  )

inline

template<class T>

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

inline

template<class T>

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

inline

template<class T>

bool Gringo::IntervalSet< T >::contains ( Interval const &  x ) const

inline

template<class T>

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

inline

template<class T>

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

inline

template<class T>

bool Gringo::IntervalSet< T >::intersects ( Interval const &  x ) const

inline

template<class T>

void Gringo::IntervalSet< T >::remove ( Interval const &  x )

inline

template<class T>

void Gringo::IntervalSet< T >::remove ( Value const &  a, bool  ta, Value const &  b, bool  tb  )

inline

Member Data Documentation

template<class T>

IntervalVec Gringo::IntervalSet< T >::vec

---

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

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