irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
irafhy::convexConstraints Struct Reference

#include <convexHull.hpp>

Collaboration diagram for irafhy::convexConstraints:
Collaboration graph

Public Member Functions

 convexConstraints ()=default
 constructor More...
 
 convexConstraints (const convexConstraints &constraints)=default
 copy constructor More...
 
 convexConstraints (convexConstraints &&constraints) noexcept=default
 move constructor More...
 
 convexConstraints (std::vector< Point > &pointConstraints, std::vector< HalfSpace > &halfSpaceConstraints, std::vector< std::vector< HalfSpace >> neighborHalfSpaces, std::vector< std::vector< Point >> facetVertices, std::vector< std::vector< int >> facetVerticesIdx, double volume, int dimension)
 constructor with given information More...
 
std::vector< PointpointConstraints () const
 get the extreme vertices which define the convex hull More...
 
std::vector< HalfSpacehalfSpaceConstraints () const
 get the half space constraints which define the convex hull More...
 
std::vector< std::vector< HalfSpace > > neighborHalfSpaces () const
 get the vector storing each facet's neighbor facets More...
 
std::vector< std::vector< Point > > faceVertices () const
 get the vertices of each facet More...
 
std::vector< std::vector< int > > faceVerticesIdx () const
 get the indexes of each facet More...
 
double volume () const
 get the volume of the convex hull More...
 
int dimension () const
 get the dimension of the space which the convex hull in More...
 

Private Attributes

std::vector< PointpointConstraints_
 extreme vertices which define the convex hull More...
 
std::vector< HalfSpacehalfSpaceConstraints_
 boundary half spaces which define the convex hull More...
 
std::vector< std::vector< HalfSpace > > neighborHalfSpaces_
 each half space's neighbor half spaces More...
 
std::vector< std::vector< Point > > facetVertices_
 each facet's extreme vertices More...
 
std::vector< std::vector< int > > facetVerticesIdx_
 indexes of each facet's extreme vertices in whole convex hull extreme vertices More...
 
double volume_ {}
 volume of the convex hull More...
 
int dimension_ {}
 dimension of the space which the convex hull in More...
 

Constructor & Destructor Documentation

◆ convexConstraints() [1/4]

irafhy::convexConstraints::convexConstraints ( )
default

constructor

Referenced by irafhy::ConvexHull::constraints().

◆ convexConstraints() [2/4]

irafhy::convexConstraints::convexConstraints ( const convexConstraints constraints)
default

copy constructor

Parameters
constraintsgiven constraint which defines the convex hull

◆ convexConstraints() [3/4]

irafhy::convexConstraints::convexConstraints ( convexConstraints &&  constraints)
defaultnoexcept

move constructor

Parameters
constraintsconstraints which defines the convex hull

◆ convexConstraints() [4/4]

irafhy::convexConstraints::convexConstraints ( std::vector< Point > &  pointConstraints,
std::vector< HalfSpace > &  halfSpaceConstraints,
std::vector< std::vector< HalfSpace >>  neighborHalfSpaces,
std::vector< std::vector< Point >>  facetVertices,
std::vector< std::vector< int >>  facetVerticesIdx,
double  volume,
int  dimension 
)
inline

constructor with given information

Parameters
pointConstraintsextreme vertices which define the convex hull
halfSpaceConstraintshalf space constraints which define the convex hull
neighborHalfSpacesvector storing each facet's neighbor facets
facetVerticesextreme vertices of each facet
facetVerticesIdxindexes of each facet's extreme vertices in whole convex hull extreme vertices
volumevolume of the convex hull
dimensiondimension which the convex hull in

Member Function Documentation

◆ dimension()

int irafhy::convexConstraints::dimension ( ) const
inline

get the dimension of the space which the convex hull in

Returns
the dimension of the space which the convex hull in

References dimension_.

Referenced by irafhy::ConvexHull::constraints(), and irafhy::Polytope::init().

◆ faceVertices()

std::vector<std::vector<Point> > irafhy::convexConstraints::faceVertices ( ) const
inline

get the vertices of each facet

Returns
the vertices of each facet

References facetVertices_.

◆ faceVerticesIdx()

std::vector<std::vector<int> > irafhy::convexConstraints::faceVerticesIdx ( ) const
inline

get the indexes of each facet

Returns
indexes of each facet

References facetVerticesIdx_.

Referenced by irafhy::Polytope::verticesEnumerationDualPly().

◆ halfSpaceConstraints()

std::vector<HalfSpace> irafhy::convexConstraints::halfSpaceConstraints ( ) const
inline

get the half space constraints which define the convex hull

Returns
the half space constraints of the convex hull

References halfSpaceConstraints_.

Referenced by irafhy::ConvexHull::constraints(), and irafhy::Polytope::init().

◆ neighborHalfSpaces()

std::vector<std::vector<HalfSpace> > irafhy::convexConstraints::neighborHalfSpaces ( ) const
inline

get the vector storing each facet's neighbor facets

Returns
the vector storing each facet's neighbor facets

References neighborHalfSpaces_.

Referenced by irafhy::ConvexHull::constraints().

◆ pointConstraints()

std::vector<Point> irafhy::convexConstraints::pointConstraints ( ) const
inline

get the extreme vertices which define the convex hull

Returns
the extreme vertices of the convex hull

References pointConstraints_.

Referenced by irafhy::ConvexHull::constraints(), and irafhy::Polytope::init().

◆ volume()

double irafhy::convexConstraints::volume ( ) const
inline

get the volume of the convex hull

Returns
the volume of the convex hull

References volume_.

Referenced by irafhy::Polytope::init().

Member Data Documentation

◆ dimension_

int irafhy::convexConstraints::dimension_ {}
private

dimension of the space which the convex hull in

Referenced by dimension().

◆ facetVertices_

std::vector<std::vector<Point> > irafhy::convexConstraints::facetVertices_
private

each facet's extreme vertices

Referenced by faceVertices().

◆ facetVerticesIdx_

std::vector<std::vector<int> > irafhy::convexConstraints::facetVerticesIdx_
private

indexes of each facet's extreme vertices in whole convex hull extreme vertices

Referenced by faceVerticesIdx().

◆ halfSpaceConstraints_

std::vector<HalfSpace> irafhy::convexConstraints::halfSpaceConstraints_
private

boundary half spaces which define the convex hull

Referenced by halfSpaceConstraints().

◆ neighborHalfSpaces_

std::vector<std::vector<HalfSpace> > irafhy::convexConstraints::neighborHalfSpaces_
private

each half space's neighbor half spaces

Referenced by neighborHalfSpaces().

◆ pointConstraints_

std::vector<Point> irafhy::convexConstraints::pointConstraints_
private

extreme vertices which define the convex hull

Referenced by pointConstraints().

◆ volume_

double irafhy::convexConstraints::volume_ {}
private

volume of the convex hull

Referenced by volume().


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