cprover
|
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 221 of file interval_template.h.
bool operator!= | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 206 of file interval_template.h.
tvt operator< | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 178 of file interval_template.h.
std::ostream& operator<< | ( | std::ostream & | out, |
const interval_templatet< T > & | i | ||
) |
Definition at line 230 of file interval_template.h.
tvt operator<= | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 161 of file interval_template.h.
bool operator== | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 190 of file interval_template.h.
tvt operator> | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 184 of file interval_template.h.
tvt operator>= | ( | const interval_templatet< T > & | a, |
const interval_templatet< T > & | b | ||
) |
Definition at line 172 of file interval_template.h.
interval_templatet<T> upper_interval | ( | const T & | u | ) |
Definition at line 212 of file interval_template.h.