#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	make_bottom ()

void	make_less_than_eq (interval_templatet &i)

void	make_less_than (interval_templatet &i)

bool	is_less_than_eq (const interval_templatet &i)

bool	is_less_than (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 19 of file interval_template.h.

Constructor & Destructor Documentation

◆ interval_templatet() [1/3]

template<class T >

interval_templatet< T >::interval_templatet ( )

inline

Definition at line 22 of file interval_template.h.

◆ interval_templatet() [2/3]

template<class T >

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

inlineexplicit

Definition at line 27 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 35 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 187 of file interval_template.h.

◆ empty()

template<class T >

bool interval_templatet< T >::empty ( ) const

inline

Definition at line 56 of file interval_template.h.

◆ get_lower()

template<class T >

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

inline

Definition at line 46 of file interval_template.h.

◆ get_upper()

template<class T >

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

inline

Definition at line 51 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 117 of file interval_template.h.

◆ is_bottom()

template<class T >

bool interval_templatet< T >::is_bottom ( ) const

inline

Definition at line 61 of file interval_template.h.

◆ is_less_than()

template<class T >

bool interval_templatet< T >::is_less_than ( const interval_templatet< T > & i )

inline

Definition at line 179 of file interval_template.h.

◆ is_less_than_eq()

template<class T >

bool interval_templatet< T >::is_less_than_eq ( const interval_templatet< T > & i )

inline

Definition at line 171 of file interval_template.h.

◆ is_top()

template<class T >

bool interval_templatet< T >::is_top ( ) const

inline

Definition at line 66 of file interval_template.h.

◆ join()

template<class T >

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

inline

Definition at line 106 of file interval_template.h.

◆ make_bottom()

template<class T >

void interval_templatet< T >::make_bottom ( )

inline

Definition at line 146 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 91 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 77 of file interval_template.h.

◆ make_less_than()

template<class T >

void interval_templatet< T >::make_less_than ( interval_templatet< T > & i )

inline

Definition at line 161 of file interval_template.h.

◆ make_less_than_eq()

template<class T >

void interval_templatet< T >::make_less_than_eq ( interval_templatet< T > & i )

inline

Definition at line 153 of file interval_template.h.

◆ meet()

template<class T >

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

inline

Definition at line 112 of file interval_template.h.

◆ singleton()

template<class T >

bool interval_templatet< T >::singleton ( ) const

inline

Definition at line 71 of file interval_template.h.

Member Data Documentation

◆ lower

template<class T >

T interval_templatet< T >::lower

Definition at line 44 of file interval_template.h.

◆ lower_set

template<class T >

bool interval_templatet< T >::lower_set

Definition at line 43 of file interval_template.h.

◆ upper

template<class T >

T interval_templatet< T >::upper

Definition at line 44 of file interval_template.h.

◆ upper_set

template<class T >

bool interval_templatet< T >::upper_set

Definition at line 43 of file interval_template.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/interval_template.h

Public Member Functions

Public Attributes

Detailed Description

template<class T> class interval_templatet< T >

Constructor & Destructor Documentation

◆ interval_templatet() [1/3]

◆ interval_templatet() [2/3]

◆ interval_templatet() [3/3]

Member Function Documentation

◆ approx_union_with()

◆ empty()

◆ get_lower()

◆ get_upper()

◆ intersect_with()

◆ is_bottom()

◆ is_less_than()

◆ is_less_than_eq()

◆ is_top()

◆ join()

◆ make_bottom()

◆ make_ge_than()

◆ make_le_than()

◆ make_less_than()

◆ make_less_than_eq()

◆ meet()

◆ singleton()

Member Data Documentation

◆ lower

◆ lower_set

◆ upper

◆ upper_set

template<class T>
class interval_templatet< T >