irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
irafhy::Geometry< DerivedGeometry > Class Template Referenceabstract

#include <geometry.h>

Inheritance diagram for irafhy::Geometry< DerivedGeometry >:
Inheritance graph
Collaboration diagram for irafhy::Geometry< DerivedGeometry >:
Collaboration graph

Public Member Functions

virtual ~Geometry ()=default
 destructor More...
 
virtual int dimension () const =0
 get the dimension of the space which the geometry object in More...
 
virtual bool empty () const =0
 check if the geometry object is empty or not More...
 
virtual bool intersect (const DerivedGeometry &, DerivedGeometry &result) const =0
 check if the current geometry object intersect with given geometry object or not More...
 
virtual DerivedGeometry unite (const DerivedGeometry &) const =0
 get the union of the current geometry object and given geometry object More...
 
virtual bool contains (const Point &point) const =0
 check if the given point is inside the domain defined by the geometry object or not More...
 
virtual bool contains (const Eigen::VectorXd &coordinate) const =0
 check if the given coordinate is inside the domain defined by the geometry object or not More...
 

Constructor & Destructor Documentation

◆ ~Geometry()

template<typename DerivedGeometry>
virtual irafhy::Geometry< DerivedGeometry >::~Geometry ( )
virtualdefault

destructor

Member Function Documentation

◆ contains() [1/2]

template<typename DerivedGeometry>
virtual bool irafhy::Geometry< DerivedGeometry >::contains ( const Point point) const
pure virtual

check if the given point is inside the domain defined by the geometry object or not

Parameters
pointthe given point
Returns
TRUE if the given point is inside the domain defined by the geometry object

Implemented in irafhy::Polytope, and irafhy::IntervalHull.

◆ contains() [2/2]

template<typename DerivedGeometry>
virtual bool irafhy::Geometry< DerivedGeometry >::contains ( const Eigen::VectorXd &  coordinate) const
pure virtual

check if the given coordinate is inside the domain defined by the geometry object or not

Parameters
coordinatethe given coordinate
Returns
TRUE if the given point is inside the domain defined by the geometry object

Implemented in irafhy::Polytope, and irafhy::IntervalHull.

◆ dimension()

template<typename DerivedGeometry>
virtual int irafhy::Geometry< DerivedGeometry >::dimension ( ) const
pure virtual

get the dimension of the space which the geometry object in

Returns
the dimension of the space which the geometry object in

Implemented in irafhy::Polytope, and irafhy::IntervalHull.

◆ empty()

template<typename DerivedGeometry>
virtual bool irafhy::Geometry< DerivedGeometry >::empty ( ) const
pure virtual

check if the geometry object is empty or not

Returns
TRUE if the geometry object is empty

Implemented in irafhy::Polytope, and irafhy::IntervalHull.

◆ intersect()

template<typename DerivedGeometry>
virtual bool irafhy::Geometry< DerivedGeometry >::intersect ( const DerivedGeometry< DerivedGeometry > &  ,
DerivedGeometry< DerivedGeometry > &  result 
) const
pure virtual

check if the current geometry object intersect with given geometry object or not

Parameters
resultthe intersection of two geometry objects if exist
Returns
TRUE if the intersection of two geometry objects isn't empty

Implemented in irafhy::Polytope, and irafhy::IntervalHull.

◆ unite()

template<typename DerivedGeometry>
virtual DerivedGeometry irafhy::Geometry< DerivedGeometry >::unite ( const DerivedGeometry< DerivedGeometry > &  ) const
pure virtual

get the union of the current geometry object and given geometry object

Returns
the union of two geometry objects

Implemented in irafhy::Polytope, and irafhy::IntervalHull.


The documentation for this class was generated from the following file: