cprover
interval_templatet< T > Class Template Reference

#include <interval_template.h>

Collaboration diagram for interval_templatet< T >:
[legend]

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

§ empty()

template<class T>
bool interval_templatet< T >::empty ( ) const
inline

Definition at line 55 of file interval_template.h.

References interval_templatet< T >::upper.

Referenced by interval_templatet< T >::is_bottom().

§ get_lower()

template<class T>
const T& interval_templatet< T >::get_lower ( ) const
inline

Definition at line 45 of file interval_template.h.

References interval_templatet< T >::lower.

§ get_upper()

template<class T>
const T& interval_templatet< T >::get_upper ( ) const
inline

Definition at line 50 of file interval_template.h.

References interval_templatet< T >::upper.

§ intersect_with()

§ is_bottom()

template<class T>
bool interval_templatet< T >::is_bottom ( ) const
inline

§ is_top()

template<class T>
bool interval_templatet< T >::is_top ( ) const
inline

Definition at line 65 of file interval_template.h.

References interval_templatet< T >::upper_set.

Referenced by interval_domaint::make_expression().

§ join()

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

Definition at line 105 of file interval_template.h.

References interval_templatet< T >::approx_union_with().

Referenced by interval_domaint::join().

§ 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.

Referenced by interval_domaint::assume_rec().

§ 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.

Referenced by interval_domaint::assume_rec().

§ meet()

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

§ singleton()

template<class T>
bool interval_templatet< T >::singleton ( ) const
inline

Definition at line 70 of file interval_template.h.

References interval_templatet< T >::upper.

Member Data Documentation

§ lower

§ lower_set

§ upper

§ upper_set


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