Storm
A Modern Probabilistic Model Checker
|
#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 |
Definition at line 21 of file Hyperrectangle.h.
|
inline |
Definition at line 23 of file Hyperrectangle.h.
|
inline |
Definition at line 29 of file Hyperrectangle.h.
|
inline |
Definition at line 62 of file Hyperrectangle.h.
|
inline |
Definition at line 53 of file Hyperrectangle.h.
|
inline |
Definition at line 38 of file Hyperrectangle.h.
|
inline |
Definition at line 34 of file Hyperrectangle.h.
|
inline |
Definition at line 46 of file Hyperrectangle.h.
|
inline |
Definition at line 42 of file Hyperrectangle.h.