codac 1.5.6
Loading...
Searching...
No Matches
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
16using ibex::Interval;
17using ibex::IntervalVector;
18using ibex::Pdc;
19using ibex::BoolInterval;
20
21namespace codac {
22
57class PdcInPolygon : public Pdc {
58public:
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
101protected:
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