interval_templatet< T > Class Template Reference

#include <interval_template.h>

Collaboration diagram for interval_templatet< T >:

Public Member Functions
	interval_templatet ()
	interval_templatet (const T &x)
	interval_templatet (const T &l, const T &u)
const T &	get_lower () const
const T &	get_upper () const
bool	empty () const
bool	is_bottom () const
bool	is_top () const
bool	singleton () const
void	make_le_than (const T &v)
void	make_ge_than (const T &v)
void	join (const interval_templatet< T > &i)
void	meet (const interval_templatet< T > &i)
void	intersect_with (const interval_templatet &i)
void	approx_union_with (const interval_templatet &i)

Public Attributes
bool	lower_set
bool	upper_set
T	lower
T	upper

Detailed Description

template<class T>
class interval_templatet< T >

Definition at line 18 of file interval_template.h.

Constructor & Destructor Documentation

interval_templatet() [1/3]

template<class T>

interval_templatet< T >::interval_templatet ( )

inline

Definition at line 21 of file interval_template.h.

interval_templatet() [2/3]

template<class T>

interval_templatet< T >::interval_templatet ( const T &  x )

inlineexplicit

Definition at line 26 of file interval_template.h.

interval_templatet() [3/3]

template<class T>

interval_templatet< T >::interval_templatet ( const T &  l, const T &  u  )

inlineexplicit

Definition at line 34 of file interval_template.h.

Member Function Documentation

approx_union_with()

template<class T>

void interval_templatet< T >::approx_union_with ( const interval_templatet< T > &  i )

inline

Definition at line 145 of file interval_template.h.

empty()

template<class T>

bool interval_templatet< T >::empty ( ) const

inline

Definition at line 55 of file interval_template.h.

get_lower()

template<class T>

const T& interval_templatet< T >::get_lower ( ) const

inline

Definition at line 45 of file interval_template.h.

get_upper()

template<class T>

const T& interval_templatet< T >::get_upper ( ) const

inline

Definition at line 50 of file interval_template.h.

intersect_with()

template<class T>

void interval_templatet< T >::intersect_with ( const interval_templatet< T > &  i )

inline

Definition at line 116 of file interval_template.h.

is_bottom()

template<class T>

bool interval_templatet< T >::is_bottom ( ) const

inline

Definition at line 60 of file interval_template.h.

is_top()

template<class T>

bool interval_templatet< T >::is_top ( ) const

inline

Definition at line 65 of file interval_template.h.

join()

template<class T>

void interval_templatet< T >::join ( const interval_templatet< T > &  i )

inline

Definition at line 105 of file interval_template.h.

make_ge_than()

template<class T>

void interval_templatet< T >::make_ge_than ( const T &  v )

inline

Definition at line 90 of file interval_template.h.

make_le_than()

template<class T>

void interval_templatet< T >::make_le_than ( const T &  v )

inline

Definition at line 76 of file interval_template.h.

meet()

template<class T>

void interval_templatet< T >::meet ( const interval_templatet< T > &  i )

inline

Definition at line 111 of file interval_template.h.

singleton()

template<class T>

bool interval_templatet< T >::singleton ( ) const

inline

Definition at line 70 of file interval_template.h.

Member Data Documentation

lower

template<class T>

T interval_templatet< T >::lower

Definition at line 43 of file interval_template.h.

lower_set

template<class T>

bool interval_templatet< T >::lower_set

Definition at line 42 of file interval_template.h.

upper

template<class T>

T interval_templatet< T >::upper

Definition at line 43 of file interval_template.h.

upper_set

template<class T>

bool interval_templatet< T >::upper_set

Definition at line 42 of file interval_template.h.

---

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

• analyses/interval_template.h