cprover
interval_template.h File Reference
#include <algorithm>
#include <iosfwd>
#include <util/threeval.h>
Include dependency graph for interval_template.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  interval_templatet< T >
 

Functions

template<class T >
tvt operator<= (const interval_templatet< T > &a, const interval_templatet< T > &b)
 
template<class T >
tvt operator>= (const interval_templatet< T > &a, const interval_templatet< T > &b)
 
template<class T >
tvt operator< (const interval_templatet< T > &a, const interval_templatet< T > &b)
 
template<class T >
tvt operator> (const interval_templatet< T > &a, const interval_templatet< T > &b)
 
template<class T >
bool operator== (const interval_templatet< T > &a, const interval_templatet< T > &b)
 
template<class T >
bool operator!= (const interval_templatet< T > &a, const interval_templatet< T > &b)
 
template<class T >
interval_templatet< T > upper_interval (const T &u)
 
template<class T >
interval_templatet< T > lower_interval (const T &l)
 
template<class T >
std::ostream & operator<< (std::ostream &out, const interval_templatet< T > &i)
 

Function Documentation

§ lower_interval()

template<class T >
interval_templatet<T> lower_interval ( const T &  l)

§ operator!=()

template<class T >
bool operator!= ( const interval_templatet< T > &  a,
const interval_templatet< T > &  b 
)

Definition at line 205 of file interval_template.h.

Referenced by bv_arithmetict::to_ansi_c_string().

§ operator<()

template<class T >
tvt operator< ( const interval_templatet< T > &  a,
const interval_templatet< T > &  b 
)

§ operator<<()

template<class T >
std::ostream& operator<< ( std::ostream &  out,
const interval_templatet< T > &  i 
)

Definition at line 229 of file interval_template.h.

References interval_templatet< T >::lower.

§ operator<=()

template<class T >
tvt operator<= ( const interval_templatet< T > &  a,
const interval_templatet< T > &  b 
)

§ operator==()

template<class T >
bool operator== ( const interval_templatet< T > &  a,
const interval_templatet< T > &  b 
)

§ operator>()

template<class T >
tvt operator> ( const interval_templatet< T > &  a,
const interval_templatet< T > &  b 
)

§ operator>=()

template<class T >
tvt operator>= ( const interval_templatet< T > &  a,
const interval_templatet< T > &  b 
)

§ upper_interval()

template<class T >
interval_templatet<T> upper_interval ( const T &  u)