inline Interval operator * (const Interval& t, double x) inline Interval operator * (const Interval& t, double x) Multiply an Interval by a double
Multiply an Interval by a double. The time interval is multiplied by an arbitrary number. Both the Interval*double and double*Interval operators exist.
alphabetic index hierarchy of classes
generated by doc++