10 #ifndef CPROVER_ANALYSES_INTERVAL_TEMPLATE_H 11 #define CPROVER_ANALYSES_INTERVAL_TEMPLATE_H 57 return upper_set && lower_set && lower>
upper;
72 return upper_set && lower_set && lower==
upper;
122 lower=std::max(lower, i.
lower);
135 upper=std::min(upper, i.
upper);
148 lower=std::min(lower, i.
lower);
153 upper=std::max(upper, i.
upper);
162 if(a.upper_set && b.lower_set && a.upper<=b.lower)
164 if(a.lower_set && b.upper_set && a.lower>b.upper)
229 std::ostream &operator << (std::ostream &out, const interval_templatet<T> &i)
232 out <<
'[' << i.
lower;
239 out << i.upper <<
']';
246 #endif // CPROVER_ANALYSES_INTERVAL_TEMPLATE_H void intersect_with(const interval_templatet &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
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)
interval_templatet< T > lower_interval(const T &l)
const T & get_upper() const