1 #ifndef REPRESENTATION_GEOMETRIC_INTERVAL_HULL_H 2 #define REPRESENTATION_GEOMETRIC_INTERVAL_HULL_H 4 #include <capd/capdlib.h> 69 IntervalHull(
const Eigen::VectorXd& center,
double radius);
78 [[nodiscard]] std::vector<capd::interval>
constraints()
const;
83 [[nodiscard]]
bool empty()
const override;
88 [[nodiscard]]
int dimension()
const override;
122 [[nodiscard]]
bool contains(
const Point& point)
const override;
128 [[nodiscard]]
bool contains(
const Eigen::VectorXd& coordinate)
const override;
140 capd::interval&
operator[](std::size_t index);
146 const capd::interval&
operator[](std::size_t index)
const;
205 #endif //REPRESENTATION_GEOMETRIC_INTERVAL_HULL_H IntervalHull()
default constructor
Definition: intervalHull.cpp:7
bool operator>=(const IntervalHull &rhs) const
relational operator
Definition: intervalHull.cpp:248
bool operator<(const IntervalHull &rhs) const
relational operator
Definition: intervalHull.cpp:226
std::ostream & operator<<(std::ostream &out, const Condition &rhs)
output the right hand side condition to the standard out stream
Definition: condition.cpp:246
IntervalHull & operator=(const IntervalHull &rhs)=default
assignment operator
std::vector< Point > extremeVertices() const
get the extreme vertices of the interval hull
Definition: intervalHull.cpp:99
Definition: intervalHull.h:12
std::vector< capd::interval > constraints_
interval constraints of each dimension related entries
Definition: intervalHull.h:18
bool operator>(const IntervalHull &rhs) const
relational operator
Definition: intervalHull.cpp:246
IntervalHull unite(const IntervalHull &rhs) const override
get the union of the current interval hull and right hand side interval hull
Definition: intervalHull.cpp:162
bool operator!=(const IntervalHull &rhs) const
relational operator
Definition: intervalHull.cpp:224
bool empty() const override
check if the interval hull is empty or not
Definition: intervalHull.cpp:80
~IntervalHull() override=default
destructor
bool operator<=(const IntervalHull &rhs) const
relational operator
Definition: intervalHull.cpp:236
Definition: condition.cpp:3
std::vector< capd::interval > constraints() const
get the constraints of the interval hull
Definition: intervalHull.cpp:78
bool operator==(const IntervalHull &rhs) const
relational operator
Definition: intervalHull.cpp:217
int dimension() const override
get the dimension of the space which the interval hull in
Definition: intervalHull.cpp:97
Definition: geometry.h:11
capd::interval & operator[](std::size_t index)
get the constraint of specified dimension
Definition: intervalHull.cpp:205
static IntervalHull Empty(std::size_t dimension=0)
static constructor of Empty interval hull in specified space
Definition: intervalHull.cpp:5
bool contains(const Point &point) const override
check if the given point inside the domain defined by the interval hull or not
Definition: intervalHull.cpp:175
bool intersect(const IntervalHull &rhs, IntervalHull &result) const override
check if the current interval hull intersects with the right hand side interval hull or not ...
Definition: intervalHull.cpp:140
Point randInnerPoint() const
randomly sample a point from the domain defined by the interval hull
Definition: intervalHull.cpp:124
Point centroid() const
get the centroid of the interval hull
Definition: intervalHull.cpp:130