cprover
Loading...
Searching...
No Matches
interval_templatet< T > Class Template Reference

#include <interval_template.h>

Inheritance 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
lower
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: