![]() |
irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
|
#include <intervalHull.h>
Public Member Functions | |
IntervalHull () | |
default constructor More... | |
IntervalHull (const IntervalHull &intervalHull)=default | |
copy constructor with given interval hull More... | |
IntervalHull (IntervalHull &&intervalHull) noexcept=default | |
move constructor with given interval hull More... | |
IntervalHull (const std::vector< capd::interval > &constraints) | |
constructor with given constraints More... | |
IntervalHull (const std::vector< Point > &points) | |
constructor with given points More... | |
IntervalHull (const Point ¢er, double radius) | |
constructor with one given center and related radius which can specify the variance of each dimension More... | |
IntervalHull (const capd::C0Rect2Set &set) | |
constructor with given state set More... | |
IntervalHull (const Eigen::VectorXd ¢er, double radius) | |
constructor with given coordinate of the center and related radius More... | |
~IntervalHull () override=default | |
destructor More... | |
std::vector< capd::interval > | constraints () const |
get the constraints of the interval hull More... | |
bool | empty () const override |
check if the interval hull is empty or not More... | |
int | dimension () const override |
get the dimension of the space which the interval hull in More... | |
std::vector< Point > | extremeVertices () const |
get the extreme vertices of the interval hull More... | |
Point | randInnerPoint () const |
randomly sample a point from the domain defined by the interval hull More... | |
Point | centroid () const |
get the centroid of the interval hull More... | |
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 More... | |
IntervalHull | unite (const IntervalHull &rhs) const override |
get the union of the current interval hull and right hand side interval hull More... | |
bool | contains (const Point &point) const override |
check if the given point inside the domain defined by the interval hull or not More... | |
bool | contains (const Eigen::VectorXd &coordinate) const override |
check if the given coordinate inside the domain defined by the interval hull or not More... | |
bool | contains (const IntervalHull &rhs) const |
check if the given interval hull inside the current interval hull or not More... | |
capd::interval & | operator[] (std::size_t index) |
get the constraint of specified dimension More... | |
const capd::interval & | operator[] (std::size_t index) const |
get the constraint of specified dimension More... | |
bool | operator== (const IntervalHull &rhs) const |
relational operator More... | |
bool | operator!= (const IntervalHull &rhs) const |
relational operator More... | |
bool | operator< (const IntervalHull &rhs) const |
relational operator More... | |
bool | operator<= (const IntervalHull &rhs) const |
relational operator More... | |
bool | operator> (const IntervalHull &rhs) const |
relational operator More... | |
bool | operator>= (const IntervalHull &rhs) const |
relational operator More... | |
IntervalHull & | operator= (const IntervalHull &rhs)=default |
assignment operator More... | |
IntervalHull & | operator= (IntervalHull &&rhs)=default |
assignment operator More... | |
![]() | |
virtual | ~Geometry ()=default |
destructor More... | |
Static Public Member Functions | |
static IntervalHull | Empty (std::size_t dimension=0) |
static constructor of Empty interval hull in specified space More... | |
Private Attributes | |
std::vector< capd::interval > | constraints_ |
interval constraints of each dimension related entries More... | |
irafhy::IntervalHull::IntervalHull | ( | ) |
|
default |
copy constructor with given interval hull
intervalHull | given interval hull |
|
defaultnoexcept |
move constructor with given interval hull
intervalHull | given interval hull |
|
explicit |
constructor with given constraints
constraints | given constraints |
References constraints(), and constraints_.
|
explicit |
constructor with given points
points | given points |
References constraints_, and dimension().
irafhy::IntervalHull::IntervalHull | ( | const Point & | center, |
double | radius | ||
) |
constructor with one given center and related radius which can specify the variance of each dimension
center | point which specify the center of the interval hull |
radius | given radius |
References constraints_, irafhy::Point::dimension(), and irafhy::Point::empty().
|
explicit |
constructor with given state set
set | given state set |
References constraints_, and dimension().
irafhy::IntervalHull::IntervalHull | ( | const Eigen::VectorXd & | center, |
double | radius | ||
) |
constructor with given coordinate of the center and related radius
center | coordinate of the center |
radius | gvien radius |
References constraints_.
|
overridedefault |
destructor
Point irafhy::IntervalHull::centroid | ( | ) | const |
get the centroid of the interval hull
References constraints_, and dimension().
std::vector< capd::interval > irafhy::IntervalHull::constraints | ( | ) | const |
get the constraints of the interval hull
References constraints_.
Referenced by irafhy::CSPSolver::branchPruneSolve(), contains(), irafhy::CSPSolver::exactBoundarySolve(), intersect(), IntervalHull(), operator<(), irafhy::operator<<(), operator<=(), operator==(), irafhy::Condition::set(), and unite().
|
overridevirtual |
check if the given point inside the domain defined by the interval hull or not
point | the given point |
Implements irafhy::Geometry< IntervalHull >.
References constraints_, irafhy::Point::dimension(), and dimension().
Referenced by contains().
|
overridevirtual |
check if the given coordinate inside the domain defined by the interval hull or not
coordinate | the given coordinate |
Implements irafhy::Geometry< IntervalHull >.
References constraints_, contains(), and dimension().
bool irafhy::IntervalHull::contains | ( | const IntervalHull & | rhs | ) | const |
check if the given interval hull inside the current interval hull or not
rhs | right hand side interval hull |
References constraints(), constraints_, and dimension().
|
overridevirtual |
get the dimension of the space which the interval hull in
Implements irafhy::Geometry< IntervalHull >.
References constraints_.
Referenced by irafhy::CSPSolver::branchPruneSolve(), centroid(), contains(), empty(), irafhy::CSPSolver::exactBoundarySolve(), extremeVertices(), intersect(), IntervalHull(), operator<(), irafhy::operator<<(), operator<=(), operator==(), irafhy::Condition::set(), and unite().
|
static |
static constructor of Empty interval hull in specified space
dimension | dimension of the space which the interval hull in |
References IntervalHull().
Referenced by irafhy::Condition::Condition(), irafhy::Condition::Empty(), irafhy::Condition::intersect(), and intersect().
|
overridevirtual |
check if the interval hull is empty or not
Implements irafhy::Geometry< IntervalHull >.
References constraints_, and dimension().
Referenced by intersect(), irafhy::viewer::intervalHullMatrix(), and unite().
std::vector< Point > irafhy::IntervalHull::extremeVertices | ( | ) | const |
get the extreme vertices of the interval hull
References constraints_, and dimension().
|
overridevirtual |
check if the current interval hull intersects with the right hand side interval hull or not
rhs | right hand side interval hull |
result | intersection of two interval hulls if exists |
Implements irafhy::Geometry< IntervalHull >.
References constraints(), constraints_, dimension(), Empty(), empty(), and IntervalHull().
Referenced by irafhy::Condition::intersect().
bool irafhy::IntervalHull::operator!= | ( | const IntervalHull & | rhs | ) | const |
relational operator
rhs | right hand side interval hull |
bool irafhy::IntervalHull::operator< | ( | const IntervalHull & | rhs | ) | const |
relational operator
rhs | right hand side interval hull |
References constraints(), constraints_, and dimension().
bool irafhy::IntervalHull::operator<= | ( | const IntervalHull & | rhs | ) | const |
relational operator
rhs | right hand side interval hull |
References constraints(), constraints_, and dimension().
|
default |
assignment operator
rhs | right hand side interval hull |
|
default |
assignment operator
rhs | right hand side interval hull |
bool irafhy::IntervalHull::operator== | ( | const IntervalHull & | rhs | ) | const |
relational operator
rhs | right hand side interval hull |
References constraints(), constraints_, and dimension().
bool irafhy::IntervalHull::operator> | ( | const IntervalHull & | rhs | ) | const |
relational operator
rhs | right hand side interval hull |
bool irafhy::IntervalHull::operator>= | ( | const IntervalHull & | rhs | ) | const |
relational operator
rhs | right hand side interval hull |
capd::interval & irafhy::IntervalHull::operator[] | ( | std::size_t | index | ) |
get the constraint of specified dimension
index | index of the dimension |
References constraints_.
const capd::interval & irafhy::IntervalHull::operator[] | ( | std::size_t | index | ) | const |
get the constraint of specified dimension
index | index of the dimension |
References constraints_.
Point irafhy::IntervalHull::randInnerPoint | ( | ) | const |
randomly sample a point from the domain defined by the interval hull
|
overridevirtual |
get the union of the current interval hull and right hand side interval hull
rhs | right hand side interval hull |
Implements irafhy::Geometry< IntervalHull >.
References constraints(), constraints_, dimension(), empty(), and IntervalHull().
Referenced by irafhy::Condition::unite().
|
private |
interval constraints of each dimension related entries
Referenced by centroid(), constraints(), contains(), dimension(), empty(), extremeVertices(), intersect(), IntervalHull(), operator<(), operator<=(), operator==(), operator[](), and unite().