12#ifndef __CODAC_POLYGON_ARITHMETIC_H__
13#define __CODAC_POLYGON_ARITHMETIC_H__
17#include "codac_ConvexPolygon.h"
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);
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);
29 const ConvexPolygon operator*(
const IntervalMatrix& m,
const ConvexPolygon& x);
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);
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);
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)