![]() |
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... | |
Public Member Functions inherited from irafhy::Geometry< IntervalHull > | |
| 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().