ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
interval_template.h File Reference
#include <algorithm>
#include <iosfwd>
#include <util/base/threeval.h>
#include <util/message/message.h>
#include <sstream>
#include <util/arith/ieee_float.h>
#include <optional>
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 >
 This class is used to store intervals in the form of lower <= upper. More...

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 )

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

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