CBMC
interval_templatet< T > Member List

This is the complete list of members for interval_templatet< T >, including all inherited members.

approx_union_with(const interval_templatet &i)interval_templatet< T >inline
empty() constinterval_templatet< T >inline
get_lower() constinterval_templatet< T >inline
get_upper() constinterval_templatet< T >inline
intersect_with(const interval_templatet &i)interval_templatet< T >inline
interval_templatet()interval_templatet< T >inline
interval_templatet(const T &x)interval_templatet< T >inlineexplicit
interval_templatet(const T &l, const T &u)interval_templatet< T >inlineexplicit
is_bottom() constinterval_templatet< T >inline
is_less_than(const interval_templatet &i)interval_templatet< T >inline
is_less_than_eq(const interval_templatet &i)interval_templatet< T >inline
is_top() constinterval_templatet< T >inline
join(const interval_templatet< T > &i)interval_templatet< T >inline
lowerinterval_templatet< T >
lower_setinterval_templatet< T >
make_bottom()interval_templatet< T >inline
make_ge_than(const T &v)interval_templatet< T >inline
make_le_than(const T &v)interval_templatet< T >inline
make_less_than(interval_templatet &i)interval_templatet< T >inline
make_less_than_eq(interval_templatet &i)interval_templatet< T >inline
meet(const interval_templatet< T > &i)interval_templatet< T >inline
singleton() constinterval_templatet< T >inline
upperinterval_templatet< T >
upper_setinterval_templatet< T >