10 #ifndef CPROVER_ANALYSES_INTERVAL_TEMPLATE_H 11 #define CPROVER_ANALYSES_INTERVAL_TEMPLATE_H 232 out <<
'[' << i.
lower;
239 out << i.
upper <<
']';
246 #endif // CPROVER_ANALYSES_INTERVAL_TEMPLATE_H void intersect_with(const interval_templatet &i)
std::ostream & operator<<(std::ostream &out, const interval_templatet< T > &i)
void make_le_than(const T &v)
bool operator!=(const interval_templatet< T > &a, const interval_templatet< T > &b)
void join(const interval_templatet< T > &i)
tvt operator>(const interval_templatet< T > &a, const interval_templatet< T > &b)
interval_templatet< T > upper_interval(const T &u)
const T & get_lower() const
tvt operator<=(const interval_templatet< T > &a, const interval_templatet< T > &b)
interval_templatet(const T &x)
void meet(const interval_templatet< T > &i)
interval_templatet(const T &l, const T &u)
bool operator==(const interval_templatet< T > &a, const interval_templatet< T > &b)
void make_ge_than(const T &v)
tvt operator>=(const interval_templatet< T > &a, const interval_templatet< T > &b)
void approx_union_with(const interval_templatet &i)
tvt operator<(const interval_templatet< T > &a, const interval_templatet< T > &b)
interval_templatet< T > lower_interval(const T &l)
const T & get_upper() const