return infty;
}
-
template<>
string
Interval_t<Rational>::T_to_string (Rational a)
template INTERVAL__INSTANTIATE (Rational);
-
template<>
Moment
Interval_t<Moment>::infinity ()
{
Moment infty;
-
+
infty.main_part_.set_infinite (1);
return infty;
}
-
template<>
string
Interval_t<Moment>::T_to_string (Moment a)