CBMC
|
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) |
interval_templatet<T> lower_interval | ( | const T & | l | ) |
Definition at line 262 of file interval_template.h.
bool operator!= | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 247 of file interval_template.h.
tvt operator< | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 219 of file interval_template.h.
std::ostream& operator<< | ( | std::ostream & | out, |
const interval_templatet< T > & | i | ||
) |
Definition at line 271 of file interval_template.h.
tvt operator<= | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 202 of file interval_template.h.
bool operator== | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 231 of file interval_template.h.
tvt operator> | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 225 of file interval_template.h.
tvt operator>= | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 213 of file interval_template.h.
interval_templatet<T> upper_interval | ( | const T & | u | ) |
Definition at line 253 of file interval_template.h.