irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
Eigen Namespace Reference

Functions

bool operator< (const Eigen::VectorXd &lhs, const Eigen::VectorXd &rhs)
 relational operator More...
 
bool operator<= (const Eigen::VectorXd &lhs, const Eigen::VectorXd &rhs)
 relational operator More...
 
bool operator> (const Eigen::VectorXd &lhs, const Eigen::VectorXd &rhs)
 relational operator More...
 
bool operator>= (const Eigen::VectorXd &lhs, const Eigen::VectorXd &rhs)
 relational operator More...
 
bool operator== (const Eigen::VectorXd &lhs, const Eigen::VectorXd &rhs)
 relational operator More...
 
bool operator!= (const Eigen::VectorXd &lhs, const Eigen::VectorXd &rhs)
 relational operator More...
 
std::ostream & operator<< (std::ostream &out, const Eigen::VectorXd &rhs)
 out the right hand side vector to standard out stream More...
 

Function Documentation

◆ operator!=()

bool Eigen::operator!= ( const Eigen::VectorXd &  lhs,
const Eigen::VectorXd &  rhs 
)

relational operator

Parameters
lhsleft hand side operand
rhsright hand side operand
Returns
TRUE if two vectors in same space and all entries are equal the corresponding one of right hand side one's

◆ operator<()

bool Eigen::operator< ( const Eigen::VectorXd &  lhs,
const Eigen::VectorXd &  rhs 
)

relational operator

Parameters
lhsleft hand side operand
rhsright hand side operand
Returns
FALSE if two vectors in different space or there exist at least one dimension in which the value of the left hand side one's is greater than or equal to the right hand side one's

◆ operator<<()

std::ostream & Eigen::operator<< ( std::ostream &  out,
const Eigen::VectorXd &  rhs 
)

out the right hand side vector to standard out stream

Parameters
outgiven out stream
rhsright hand side vector
Returns
resulting out stream

◆ operator<=()

bool Eigen::operator<= ( const Eigen::VectorXd &  lhs,
const Eigen::VectorXd &  rhs 
)

relational operator

Parameters
lhsleft hand side operand
rhsright hand side operand
Returns
FALSE if two vectors in different space or there exist at least one dimension in which the value of the left hand side one's is greater than the right hand side one's

◆ operator==()

bool Eigen::operator== ( const Eigen::VectorXd &  lhs,
const Eigen::VectorXd &  rhs 
)

relational operator

Parameters
lhsleft hand side operand
rhsright hand side operand
Returns
FALSE if two vectors in different space or there exist at least one dimension in which the value of left hand side one's isn't equal to the right hand side one's

◆ operator>()

bool Eigen::operator> ( const Eigen::VectorXd &  lhs,
const Eigen::VectorXd &  rhs 
)

relational operator

Parameters
lhsleft hand side operand
rhsright hand side operand
Returns
FALSE if two vectors in different space or there exist at least one dimension in which the value of left hand side one's is less than or equal to the right hand side one's

◆ operator>=()

bool Eigen::operator>= ( const Eigen::VectorXd &  lhs,
const Eigen::VectorXd &  rhs 
)

relational operator

Parameters
lhsleft hand side operand
rhsright hand side operand
Returns
FALSE if two vectors in different space or there exist at least one dimension in which the value of left hand side one's is less than the right hand side one's