template<>
Real
-Interval_t<Real>::infinity ()
+Interval_t<Real>::infinity ()
{
return HUGE_VAL;
}
template<>
int
-Interval_t<int>::infinity ()
+Interval_t<int>::infinity ()
{
return INT_MAX;
}
-
template<>
String
Interval_t<int>::T_to_string (int i)
template INTERVAL__INSTANTIATE (int);
template INTERVAL__INSTANTIATE (Real);
-