michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add is_empty & set_empty to interval

Browse source
This commit is contained in:
Soonho Kong 2013-08-07 19:27:37 -07:00
parent 93b99cf1ec
commit 8d06185694
2 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/interval/interval.h
View file

@ -107,6 +107,9 @@ public:
*/
bool contains(interval<T> & b) const;
bool is_empty() const;
void set_empty();
/**
\brief Return true is the interval contains only one value.
*/

13
src/interval/interval_def.h
View file

@ -118,6 +118,19 @@ bool interval<T>::contains(interval<T> & b) const {
return true;
}
template<typename T>
bool interval<T>::is_empty() const {
return m_lower == m_upper && m_lower_open && m_upper_open && !m_lower_inf && !m_upper_inf;
}
template<typename T>
void interval<T>::set_empty() {
numeric_traits<T>::reset(m_lower);
numeric_traits<T>::reset(m_upper);
m_lower_open = m_upper_open = true;
m_lower_inf = m_upper_inf = true;
}
template<typename T>
bool interval<T>::is_singleton() const {
return !m_lower_inf && !m_upper_inf && !m_lower_open && !m_upper_open && m_lower == m_upper;