codac  1.5.7
codac_polygon_arithmetic.h
Go to the documentation of this file.
1 
12 #ifndef __CODAC_POLYGON_ARITHMETIC_H__
13 #define __CODAC_POLYGON_ARITHMETIC_H__
14 
15 #include "codac_IntervalVector.h"
16 #include "codac_IntervalMatrix.h"
17 #include "codac_ConvexPolygon.h"
18 
19 namespace codac
20 {
21  const ConvexPolygon operator+(const ConvexPolygon& x);
22  const ConvexPolygon operator+(const ConvexPolygon& x, const IntervalVector& v);
23  const ConvexPolygon operator+(const IntervalVector& v, const ConvexPolygon& x);
24 
25  const ConvexPolygon operator-(const ConvexPolygon& x);
26  const ConvexPolygon operator-(const ConvexPolygon& x, const IntervalVector& v);
27  const ConvexPolygon operator-(const IntervalVector& v, const ConvexPolygon& x);
28 
29  const ConvexPolygon operator*(const IntervalMatrix& m, const ConvexPolygon& x);
30 
31  std::vector<ThickPoint> inter_thickpoints(const ConvexPolygon& p1, const ConvexPolygon& p2);
32  const ConvexPolygon operator&(const ConvexPolygon& p1, const ConvexPolygon& p2);
33  const ConvexPolygon operator&(const IntervalVector& p1, const ConvexPolygon& p2);
34  const ConvexPolygon operator&(const ConvexPolygon& p1, const IntervalVector& p2);
35 
36  const ConvexPolygon operator|(const ConvexPolygon& p1, const ConvexPolygon& p2);
37  const ConvexPolygon operator|(const IntervalVector& p1, const ConvexPolygon& p2);
38  const ConvexPolygon operator|(const ConvexPolygon& p1, const IntervalVector& p2);
39 }
40 
41 #endif
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
const IntervalMatrix operator&(const IntervalMatrix &x, const IntervalMatrix &y)
const IntervalMatrix operator|(const IntervalMatrix &x, const IntervalMatrix &y)