Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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: