![]() |
irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
|
#include <point.h>

Public Member Functions | |
| Point () | |
| default constructor More... | |
| Point (const Point &point)=default | |
| copy constructor More... | |
| Point (Point &&point)=default | |
| move constructor More... | |
| Point (double value) | |
| constructor of the point in one dimensional space with given value as coordinate More... | |
| Point (const std::vector< double > &coordinate) | |
| constructor with given coordinate More... | |
| Point (const Eigen::VectorXd &coordinate) | |
| constructor with given coordinate More... | |
| Point (Eigen::VectorXd &&coordinate) | |
| constructor with given coordinate More... | |
| virtual | ~Point ()=default |
| destructor More... | |
| Eigen::VectorXd | coordinate () const |
| get the coordinate of the point More... | |
| double | value (std::size_t index) const |
| get the value of coordinate in specified dimension More... | |
| int | dimension () const |
| get the dimension of the space which the point in More... | |
| bool | empty () const |
| check if the point in valid space or not More... | |
| bool | operator< (const Point &rhs) const |
| relational operator More... | |
| bool | operator<= (const Point &rhs) const |
| relational operator More... | |
| bool | operator> (const Point &rhs) const |
| relational operator More... | |
| bool | operator>= (const Point &rhs) const |
| relational operator More... | |
| bool | operator== (const Point &rhs) const |
| relational operator More... | |
| bool | operator!= (const Point &rhs) const |
| relational operator More... | |
| Point & | operator+= (const Eigen::VectorXd &rhs) |
| addition assignment operator More... | |
| Point & | operator+= (const Point &rhs) |
| addition assignment operator More... | |
| Point & | operator-= (const Eigen::VectorXd &rhs) |
| subtraction assignment operator More... | |
| Point & | operator-= (const Point &rhs) |
| subtraction assignment operator More... | |
| Point & | operator- () |
| unary minus operator More... | |
| Point & | operator/= (double divisor) |
| division assignment operator More... | |
| Point & | operator*= (double factor) |
| multiplication assignment operator More... | |
| Point & | operator= (const Eigen::VectorXd &rhs) |
| assignment operator More... | |
| Point & | operator= (Eigen::VectorXd &&rhs) |
| assignment operator More... | |
| Point & | operator= (const Point &rhs)=default |
| assignment operator More... | |
| Point & | operator= (Point &&rhs) noexcept=default |
| assignment operator More... | |
| double & | operator[] (std::size_t index) |
| get the value of the specified dimension More... | |
| const double & | operator[] (std::size_t index) const |
| get the value of the specified dimension More... | |
Static Public Member Functions | |
| static Point | zero (std::size_t dimension=0) |
| constructor of the origin of the given target space More... | |
| static Point | one (std::size_t dimension=0) |
| constructor of a point which all elements of the coordinate are ones in given target space More... | |
Private Attributes | |
| Eigen::VectorXd | coordinate_ |
| coordinate of the point More... | |
| irafhy::Point::Point | ( | ) |
default constructor
References coordinate_.
Referenced by one(), irafhy::operator*(), irafhy::operator+(), irafhy::operator-(), irafhy::operator/(), and zero().
|
default |
copy constructor
| point | given point |
|
default |
move constructor
| point | given point |
|
explicit |
constructor of the point in one dimensional space with given value as coordinate
| value | given value |
References coordinate_, and value().

|
explicit |
constructor with given coordinate
| coordinate | given coordinate of the point |
References coordinate_.
|
explicit |
constructor with given coordinate
| coordinate | given coordinate of the point |
References coordinate(), and coordinate_.

|
explicit |
constructor with given coordinate
| coordinate | given coordinate of the point |
References coordinate(), and coordinate_.

|
virtualdefault |
destructor
| Eigen::VectorXd irafhy::Point::coordinate | ( | ) | const |
get the coordinate of the point
References coordinate_.
Referenced by irafhy::HalfSpace::contains(), irafhy::HalfSpace::holds(), operator!=(), irafhy::operator*(), irafhy::operator+(), irafhy::operator-(), irafhy::operator/(), operator<(), irafhy::operator<<(), operator<=(), operator==(), operator>(), operator>=(), Point(), and irafhy::Polytope::Polytope().
| int irafhy::Point::dimension | ( | ) | const |
get the dimension of the space which the point in
References coordinate_.
Referenced by irafhy::IntervalHull::contains(), irafhy::IntervalHull::IntervalHull(), operator*=(), irafhy::operator+(), operator+=(), irafhy::operator-(), operator-=(), and operator/=().
| bool irafhy::Point::empty | ( | ) | const |
check if the point in valid space or not
References coordinate_.
Referenced by irafhy::IntervalHull::IntervalHull().
|
static |
constructor of a point which all elements of the coordinate are ones in given target space
| dimension | dimension of target space |
References Point().

| bool irafhy::Point::operator!= | ( | const Point & | rhs | ) | const |
relational operator
| rhs | right hand side of the operator |
References coordinate(), and coordinate_.

| Point & irafhy::Point::operator*= | ( | double | factor | ) |
multiplication assignment operator
| factor | given factor |
References coordinate_, and dimension().

| Point & irafhy::Point::operator+= | ( | const Eigen::VectorXd & | rhs | ) |
addition assignment operator
| rhs | right hand side of the operator |
References coordinate_, and dimension().

addition assignment operator
| rhs | right hand side of the operator |
References coordinate_, dimension(), and value().

| Point & irafhy::Point::operator- | ( | ) |
unary minus operator
References coordinate_.
| Point & irafhy::Point::operator-= | ( | const Eigen::VectorXd & | rhs | ) |
subtraction assignment operator
| rhs | right hand side of the operator |
References coordinate_, and dimension().

subtraction assignment operator
| rhs | right hand side of the operator |
References coordinate_, dimension(), and value().

| Point & irafhy::Point::operator/= | ( | double | divisor | ) |
division assignment operator
| divisor | given divisor |
References coordinate_, and dimension().

| bool irafhy::Point::operator< | ( | const Point & | rhs | ) | const |
relational operator
| rhs | right hand side of the operator |
References coordinate(), and coordinate_.

| bool irafhy::Point::operator<= | ( | const Point & | rhs | ) | const |
relational operator
| rhs | right hand side of the operator |
References coordinate(), and coordinate_.

| Point & irafhy::Point::operator= | ( | const Eigen::VectorXd & | rhs | ) |
assignment operator
| rhs | right hand side of the operator |
References coordinate_.
| Point & irafhy::Point::operator= | ( | Eigen::VectorXd && | rhs | ) |
assignment operator
| rhs | right hand side of the operator |
References coordinate_.
assignment operator
| rhs | right hand side of the operator |
assignment operator
| rhs | right hand side of the operator |
| bool irafhy::Point::operator== | ( | const Point & | rhs | ) | const |
relational operator
| rhs | right hand side of the operator |
References coordinate(), and coordinate_.

| bool irafhy::Point::operator> | ( | const Point & | rhs | ) | const |
relational operator
| rhs | right hand side of the operator |
References coordinate(), and coordinate_.

| bool irafhy::Point::operator>= | ( | const Point & | rhs | ) | const |
relational operator
| rhs | right hand side of the operator |
References coordinate(), and coordinate_.

| double & irafhy::Point::operator[] | ( | std::size_t | index | ) |
get the value of the specified dimension
| index | index of the dimension |
References coordinate_.
| const double & irafhy::Point::operator[] | ( | std::size_t | index | ) | const |
get the value of the specified dimension
| index | index of the dimension |
References coordinate_.
| double irafhy::Point::value | ( | std::size_t | index | ) | const |
get the value of coordinate in specified dimension
| index | index of the dimension |
References coordinate_.
Referenced by operator+=(), operator-=(), and Point().
|
static |
constructor of the origin of the given target space
| dimension | dimension of the target space |
References Point().
Referenced by irafhy::Polytope::Empty().

|
private |
coordinate of the point
Referenced by coordinate(), dimension(), empty(), operator!=(), operator*=(), operator+=(), operator-(), operator-=(), operator/=(), operator<(), operator<=(), operator=(), operator==(), operator>(), operator>=(), operator[](), Point(), and value().