![]() |
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().