codac  1.5.7
codac_PdcInPolygon.h
1 //============================================================================
2 // P Y I B E X
3 // File : ibex_PdcInPolygon.h
4 // Author : Benoit Desrochers, Gilles Chabert
5 // Copyright : Benoit Desrochers
6 // License : See the LICENSE file
7 // Created : Oct 31, 2014
8 //============================================================================
9 
10 #ifndef __IBEX_PDC_IN_POLYGON_H__
11 #define __IBEX_PDC_IN_POLYGON_H__
12 
13 #include "ibex_Pdc.h"
14 #include <vector>
15 
16 using ibex::Interval;
17 using ibex::IntervalVector;
18 using ibex::Pdc;
19 using ibex::BoolInterval;
20 
21 namespace codac {
22 
57 class PdcInPolygon : public Pdc {
58 public:
59 
68  PdcInPolygon(std::vector< std::vector< std::vector<double> > >& points);
69 
78  PdcInPolygon(std::vector< std::vector<double> > &vertices);
79 
91  PdcInPolygon(std::vector<double>& ax, std::vector<double>& ay, std::vector<double>& bx, std::vector<double>& by);
92 
99  virtual BoolInterval test(const IntervalVector& box);
100 
101 protected:
105  std::vector<double> ax;
106  std::vector<double> ay;
107  std::vector<double> bx;
108  std::vector<double> by;
109 };
110 
111 } // namespace pyibex
112 
113 #endif // __IBEX_PDC_IN_POLYGON_H__
Tests if a box is inside a polygon.
Definition: codac_PdcInPolygon.h:57
std::vector< double > ax
Definition: codac_PdcInPolygon.h:105
PdcInPolygon(std::vector< double > &ax, std::vector< double > &ay, std::vector< double > &bx, std::vector< double > &by)
Create the predicate with the list of segments passed as argument.
PdcInPolygon(std::vector< std::vector< std::vector< double > > > &points)
Create the predicate with the list of segments passed as argument.
virtual BoolInterval test(const IntervalVector &box)
Test the box.
PdcInPolygon(std::vector< std::vector< double > > &vertices)
Create the predicate with the list of segments passed as argument.
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9