irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
point.cpp File Reference
Include dependency graph for point.cpp:

Namespaces

 irafhy
 

Functions

std::ostream & irafhy::operator<< (std::ostream &out, const Point &point)
 out the right hand side point to standard out stream More...
 
const Point irafhy::operator+ (const Point &lhs, const Point &rhs)
 binary addition operator More...
 
const Point irafhy::operator+ (const Point &lhs, const Eigen::VectorXd &rhs)
 binary addition operator More...
 
const Point irafhy::operator+ (const Eigen::VectorXd &lhs, const Point &rhs)
 binary addition operator More...
 
const Point irafhy::operator- (const Point &lhs, const Point &rhs)
 binary subtraction operator More...
 
const Point irafhy::operator- (const Point &lhs, const Eigen::VectorXd &rhs)
 binary subtraction operator More...
 
const Point irafhy::operator- (const Eigen::VectorXd &lhs, const Point &rhs)
 binary subtraction operator More...
 
const Point irafhy::operator/ (const Point &lhs, double divisor)
 binary division operator More...
 
const Point irafhy::operator* (const Point &lhs, double factor)
 binary multiplication operator More...
 
const Point irafhy::operator* (double factor, const Point &rhs)
 binary multiplication operator More...