Storm
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: