Merge pull request #1025 from DanielNeville/danielneville/fix/add_t_to_interval_template

Added a 't' to the name of interval_template

Author: Daniel Kroening

src/analyses/interval_domain.h

@@ -18,8 +18,8 @@ Author: Daniel Kroening, [email protected]
 #include "ai.h"
 #include "interval_template.h"
 
-typedef interval_template<mp_integer> integer_intervalt;
-typedef interval_template<ieee_floatt> ieee_float_intervalt;
+typedef interval_templatet<mp_integer> integer_intervalt;
+typedef interval_templatet<ieee_floatt> ieee_float_intervalt;
 
 class interval_domaint:public ai_domain_baset
 {

src/analyses/interval_template.h

@@ -15,23 +15,23 @@ Author: Daniel Kroening, [email protected]
 
 #include <util/threeval.h>
 
-template<class T> class interval_template
+template<class T> class interval_templatet
 {
 public:
-  interval_template():lower_set(false), upper_set(false)
+  interval_templatet():lower_set(false), upper_set(false)
   {
     // this is 'top'
   }
 
-  explicit interval_template(const T &x):
+  explicit interval_templatet(const T &x):
     lower_set(true),
     upper_set(true),
     lower(x),
     upper(x)
   {
   }
 
-  explicit interval_template(const T &l, const T &u):
+  explicit interval_templatet(const T &l, const T &u):
     lower_set(true),
     upper_set(true),
     lower(l),
@@ -102,18 +102,18 @@ template<class T> class interval_template
   }
 
   // Union or disjunction
-  void join(const interval_template<T> &i)
+  void join(const interval_templatet<T> &i)
   {
     approx_union_with(i);
   }
 
   // Intersection or conjunction
-  void meet(const interval_template<T> &i)
+  void meet(const interval_templatet<T> &i)
   {
     intersect_with(i);
   }
 
-  void intersect_with(const interval_template &i)
+  void intersect_with(const interval_templatet &i)
   {
     if(i.lower_set)
     {
@@ -142,7 +142,7 @@ template<class T> class interval_template
     }
   }
 
-  void approx_union_with(const interval_template &i)
+  void approx_union_with(const interval_templatet &i)
   {
     if(i.lower_set && lower_set)
       lower=std::min(lower, i.lower);
@@ -157,7 +157,7 @@ template<class T> class interval_template
 };
 
 template<class T>
-tvt operator<=(const interval_template<T> &a, const interval_template<T> &b)
+tvt operator<=(const interval_templatet<T> &a, const interval_templatet<T> &b)
 {
   if(a.upper_set && b.lower_set && a.upper<=b.lower)
     return tvt(true);
@@ -168,25 +168,25 @@ tvt operator<=(const interval_template<T> &a, const interval_template<T> &b)
 }
 
 template<class T>
-tvt operator>=(const interval_template<T> &a, const interval_template<T> &b)
+tvt operator>=(const interval_templatet<T> &a, const interval_templatet<T> &b)
 {
   return b<=a;
 }
 
 template<class T>
-tvt operator<(const interval_template<T> &a, const interval_template<T> &b)
+tvt operator<(const interval_templatet<T> &a, const interval_templatet<T> &b)
 {
   return !(a>=b);
 }
 
 template<class T>
-tvt operator>(const interval_template<T> &a, const interval_template<T> &b)
+tvt operator>(const interval_templatet<T> &a, const interval_templatet<T> &b)
 {
   return !(a<=b);
 }
 
 template<class T>
-bool operator==(const interval_template<T> &a, const interval_template<T> &b)
+bool operator==(const interval_templatet<T> &a, const interval_templatet<T> &b)
 {
   if(a.lower_set!=b.lower_set)
     return false;
@@ -202,31 +202,31 @@ bool operator==(const interval_template<T> &a, const interval_template<T> &b)
 }
 
 template<class T>
-bool operator!=(const interval_template<T> &a, const interval_template<T> &b)
+bool operator!=(const interval_templatet<T> &a, const interval_templatet<T> &b)
 {
   return !(a==b);
 }
 
 template<class T>
-interval_template<T> upper_interval(const T &u)
+interval_templatet<T> upper_interval(const T &u)
 {
-  interval_template<T> i;
+  interval_templatet<T> i;
   i.upper_set=true;
   i.upper=u;
   return i;
 }
 
 template<class T>
-interval_template<T> lower_interval(const T &l)
+interval_templatet<T> lower_interval(const T &l)
 {
-  interval_template<T> i;
+  interval_templatet<T> i;
   i.lower_set=true;
   i.lower=l;
   return i;
 }
 
 template<class T>
-std::ostream &operator << (std::ostream &out, const interval_template<T> &i)
+std::ostream &operator << (std::ostream &out, const interval_templatet<T> &i)
 {
   if(i.lower_set)
     out << '[' << i.lower;

src/analyses/invariant_set.h

@@ -88,7 +88,7 @@ class invariant_sett
   ineq_sett ne_set;
 
   // bounds
-  typedef interval_template<mp_integer> boundst;
+  typedef interval_templatet<mp_integer> boundst;
   typedef std::map<unsigned, boundst> bounds_mapt;
   bounds_mapt bounds_map;