/* ************** */
static T infinity() ;
+ static String T_to_str (T arg);
T center() { return (left + right) / T(2);}
void translate (T t) {
return *this;
}
String str() const;
+ void print () const;
bool elt_b (T r);
+ void negate () {
+ T r = -left;
+ T l = -right;
+ left = l;
+ right =r;
+ }
};
return i;
}
+template<class T>
+inline
+Interval_t<T> operator - (Interval_t<T> i, T a)
+{
+ i += -a;
+ return i;
+}
+
+template<class T>
+inline
+Interval_t<T> operator - (T a,Interval_t<T> i)
+{
+ i.negate ();
+ i += a;
+ return i;
+}
+
template<class T>
inline
Interval_t<T> operator +(Interval_t<T> i,T a){