storm::storage::geometry::Hyperrectangle< ValueType > Class Template Reference

#include <Hyperrectangle.h>

Public Member Functions
	Hyperrectangle (std::vector< ValueType > const &lowerBounds, std::vector< ValueType > const &upperBounds)
	Hyperrectangle (std::vector< ValueType > &&lowerBounds, std::vector< ValueType > &&upperBounds)
std::vector< ValueType > const &	lowerBounds () const
std::vector< ValueType > &	lowerBounds ()
std::vector< ValueType > const &	upperBounds () const
std::vector< ValueType > &	upperBounds ()
void	enlarge (std::vector< ValueType > const &point)
std::shared_ptr< Polytope< ValueType > >	asPolytope () const

Detailed Description

template<typename ValueType>
class storm::storage::geometry::Hyperrectangle< ValueType >

Definition at line 21 of file Hyperrectangle.h.

Constructor & Destructor Documentation

Hyperrectangle() [1/2]

template<typename ValueType >

storm::storage::geometry::Hyperrectangle< ValueType >::Hyperrectangle ( std::vector< ValueType > const &  lowerBounds, std::vector< ValueType > const &  upperBounds  )

inline

Definition at line 23 of file Hyperrectangle.h.

Hyperrectangle() [2/2]

template<typename ValueType >

storm::storage::geometry::Hyperrectangle< ValueType >::Hyperrectangle ( std::vector< ValueType > &&  lowerBounds, std::vector< ValueType > &&  upperBounds  )

inline

Definition at line 29 of file Hyperrectangle.h.

Member Function Documentation

asPolytope()

template<typename ValueType >

std::shared_ptr< Polytope< ValueType > > storm::storage::geometry::Hyperrectangle< ValueType >::asPolytope ( ) const

inline

Definition at line 62 of file Hyperrectangle.h.

enlarge()

template<typename ValueType >

void storm::storage::geometry::Hyperrectangle< ValueType >::enlarge ( std::vector< ValueType > const &  point )

inline

Definition at line 53 of file Hyperrectangle.h.

lowerBounds() [1/2]

template<typename ValueType >

std::vector< ValueType > & storm::storage::geometry::Hyperrectangle< ValueType >::lowerBounds ( )

inline

Definition at line 38 of file Hyperrectangle.h.

lowerBounds() [2/2]

template<typename ValueType >

std::vector< ValueType > const & storm::storage::geometry::Hyperrectangle< ValueType >::lowerBounds ( ) const

inline

Definition at line 34 of file Hyperrectangle.h.

upperBounds() [1/2]

template<typename ValueType >

std::vector< ValueType > & storm::storage::geometry::Hyperrectangle< ValueType >::upperBounds ( )

inline

Definition at line 46 of file Hyperrectangle.h.

upperBounds() [2/2]

template<typename ValueType >

std::vector< ValueType > const & storm::storage::geometry::Hyperrectangle< ValueType >::upperBounds ( ) const

inline

Definition at line 42 of file Hyperrectangle.h.

---

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

• src/storm/storage/geometry/Hyperrectangle.h