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

◆ 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

◆ 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

◆ make_le_than()

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

◆ meet()

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

◆ singleton()

Member Data Documentation

◆ lower

◆ lower_set

◆ upper

◆ upper_set


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