12 #ifndef __CODAC_TUBE_ARITHMETIC_H__ 13 #define __CODAC_TUBE_ARITHMETIC_H__ 29 const Tube
cos(
const Tube& x);
35 const Tube
sin(
const Tube& x);
41 const Tube
abs(
const Tube& x);
47 const Tube
sqr(
const Tube& x);
53 const Tube
sqrt(
const Tube& x);
59 const Tube
exp(
const Tube& x);
65 const Tube
log(
const Tube& x);
71 const Tube
tan(
const Tube& x);
77 const Tube
acos(
const Tube& x);
83 const Tube
asin(
const Tube& x);
89 const Tube
atan(
const Tube& x);
95 const Tube
cosh(
const Tube& x);
101 const Tube
sinh(
const Tube& x);
107 const Tube
tanh(
const Tube& x);
113 const Tube
acosh(
const Tube& x);
119 const Tube
asinh(
const Tube& x);
125 const Tube
atanh(
const Tube& x);
132 const Tube
atan2(
const Tube& y,
const Tube& x);
139 const Tube
atan2(
const Tube& y,
const Interval& x);
146 const Tube
atan2(
const Interval& y,
const Tube& x);
153 const Tube
pow(
const Tube& x,
int p);
160 const Tube
pow(
const Tube& x,
double p);
167 const Tube
pow(
const Tube& x,
const Interval& p);
174 const Tube
root(
const Tube& x,
int p);
183 const Tube
min(
const Tube& y,
const Tube& x);
190 const Tube
min(
const Tube& y,
const Interval& x);
197 const Tube
min(
const Interval& y,
const Tube& x);
204 const Tube
max(
const Tube& y,
const Tube& x);
211 const Tube
max(
const Tube& y,
const Interval& x);
218 const Tube
max(
const Interval& y,
const Tube& x);
224 const Tube operator+(
const Tube& x);
231 const Tube operator+(
const Tube& x,
const Tube& y);
238 const Tube operator+(
const Tube& x,
const Interval& y);
245 const Tube operator+(
const Interval& x,
const Tube& y);
252 const Tube operator+(
const Tube& x,
const Trajectory& y);
259 const Tube operator+(
const Trajectory& x,
const Tube& y);
265 const Tube operator-(
const Tube& x);
272 const Tube operator-(
const Tube& x,
const Tube& y);
279 const Tube operator-(
const Tube& x,
const Interval& y);
286 const Tube operator-(
const Interval& x,
const Tube& y);
293 const Tube operator-(
const Tube& x,
const Trajectory& y);
300 const Tube operator-(
const Trajectory& x,
const Tube& y);
307 const Tube operator*(
const Tube& x,
const Tube& y);
314 const Tube operator*(
const Tube& x,
const Interval& y);
321 const Tube operator*(
const Interval& x,
const Tube& y);
328 const Tube operator*(
const Tube& x,
const Trajectory& y);
335 const Tube operator*(
const Trajectory& x,
const Tube& y);
342 const Tube
operator/(
const Tube& x,
const Tube& y);
349 const Tube
operator/(
const Tube& x,
const Interval& y);
356 const Tube
operator/(
const Interval& x,
const Tube& y);
363 const Tube
operator/(
const Tube& x,
const Trajectory& y);
370 const Tube
operator/(
const Trajectory& x,
const Tube& y);
377 const Tube
operator|(
const Tube& x,
const Tube& y);
384 const Tube
operator|(
const Tube& x,
const Interval& y);
391 const Tube
operator|(
const Interval& x,
const Tube& y);
398 const Tube
operator|(
const Tube& x,
const Trajectory& y);
405 const Tube
operator|(
const Trajectory& x,
const Tube& y);
412 const Tube
operator&(
const Tube& x,
const Tube& y);
419 const Tube
operator&(
const Tube& x,
const Interval& y);
426 const Tube
operator&(
const Interval& x,
const Tube& y);
433 const Tube
operator&(
const Tube& x,
const Trajectory& y);
440 const Tube
operator&(
const Trajectory& x,
const Tube& y);
450 const TubeVector operator+(
const TubeVector& x);
457 const TubeVector operator+(
const TubeVector& x,
const TubeVector& y);
464 const TubeVector operator+(
const TubeVector& x,
const IntervalVector& y);
471 const TubeVector operator+(
const IntervalVector& x,
const TubeVector& y);
478 const TubeVector operator+(
const TubeVector& x,
const TrajectoryVector& y);
485 const TubeVector operator+(
const TrajectoryVector& x,
const TubeVector& y);
491 const TubeVector operator-(
const TubeVector& x);
498 const TubeVector operator-(
const TubeVector& x,
const TubeVector& y);
505 const TubeVector operator-(
const TubeVector& x,
const IntervalVector& y);
512 const TubeVector operator-(
const IntervalVector& x,
const TubeVector& y);
519 const TubeVector operator-(
const TubeVector& x,
const TrajectoryVector& y);
526 const TubeVector operator-(
const TrajectoryVector& x,
const TubeVector& y);
533 const TubeVector operator*(
const Tube& x,
const TubeVector& y);
540 const TubeVector operator*(
const Interval& x,
const TubeVector& y);
547 const TubeVector operator*(
const Tube& x,
const IntervalVector& y);
554 const TubeVector operator*(
const Trajectory& x,
const TubeVector& y);
561 const TubeVector
operator/(
const TubeVector& x,
const Tube& y);
568 const TubeVector
operator/(
const TubeVector& x,
const Interval& y);
575 const TubeVector
operator/(
const IntervalVector& x,
const Tube& y);
582 const TubeVector
operator/(
const TubeVector& x,
const Trajectory& y);
589 const TubeVector
operator|(
const TubeVector& x,
const TubeVector& y);
596 const TubeVector
operator|(
const TubeVector& x,
const IntervalVector& y);
603 const TubeVector
operator|(
const IntervalVector& x,
const TubeVector& y);
610 const TubeVector
operator|(
const TubeVector& x,
const TrajectoryVector& y);
617 const TubeVector
operator|(
const TrajectoryVector& x,
const TubeVector& y);
624 const TubeVector
operator&(
const TubeVector& x,
const TubeVector& y);
631 const TubeVector
operator&(
const TubeVector& x,
const IntervalVector& y);
638 const TubeVector
operator&(
const IntervalVector& x,
const TubeVector& y);
645 const TubeVector
operator&(
const TubeVector& x,
const TrajectoryVector& y);
652 const TubeVector
operator&(
const TrajectoryVector& x,
const TubeVector& y);
658 const TubeVector
abs(
const TubeVector& x);
const Trajectory sinh(const Trajectory &x)
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
const Trajectory pow(const Trajectory &x, int p)
const Trajectory tan(const Trajectory &x)
const Trajectory max(const Trajectory &y, const Trajectory &x)
const Trajectory cos(const Trajectory &x)
const Trajectory exp(const Trajectory &x)
const Trajectory sqr(const Trajectory &x)
const Trajectory atan(const Trajectory &x)
const Trajectory abs(const Trajectory &x)
const Trajectory atanh(const Trajectory &x)
const Trajectory cosh(const Trajectory &x)
const Trajectory min(const Trajectory &y, const Trajectory &x)
const Trajectory atan2(const Trajectory &y, const Trajectory &x)
const Trajectory acos(const Trajectory &x)
const Trajectory sin(const Trajectory &x)
const IntervalMatrix operator|(const IntervalMatrix &x, const IntervalMatrix &y)
const Trajectory asinh(const Trajectory &x)
const IntervalMatrix operator &(const IntervalMatrix &x, const IntervalMatrix &y)
const Trajectory log(const Trajectory &x)
const Trajectory root(const Trajectory &x, int p)
const Trajectory tanh(const Trajectory &x)
const Trajectory operator/(const Trajectory &x, const Trajectory &y)
const Trajectory sqrt(const Trajectory &x)
const Trajectory acosh(const Trajectory &x)
const Trajectory asin(const Trajectory &x)