10#ifndef __IBEX_PDC_IN_POLYGON_H__
11#define __IBEX_PDC_IN_POLYGON_H__
17using ibex::IntervalVector;
19using ibex::BoolInterval;
68 PdcInPolygon(std::vector< std::vector< std::vector<double> > >& points);
91 PdcInPolygon(std::vector<double>&
ax, std::vector<double>& ay, std::vector<double>& bx, std::vector<double>& by);
99 virtual BoolInterval
test(
const IntervalVector& box);
105 std::vector<double>
ax;
106 std::vector<double> ay;
107 std::vector<double> bx;
108 std::vector<double> by;
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