irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
condition.h File Reference
Include dependency graph for condition.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  irafhy::geoEntityVisitor
 
class  irafhy::Condition
 

Namespaces

 irafhy
 

Typedefs

using irafhy::GeoEntity = boost::variant< IntervalHull, Polytope >
 geometry entity which used for represent the interval hull or polytope and any other objects shall be supported in the future. More...
 

Functions

std::ostream & irafhy::operator<< (std::ostream &out, const Condition &rhs)
 output the right hand side condition to the standard out stream More...