codac 1.5.6
Loading...
Searching...
No Matches
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
17#include "codac_ConvexPolygon.h"
18
19namespace 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)