|
Storm 1.14.0.1
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 20 of file Hyperrectangle.h.
|
inline |
Definition at line 22 of file Hyperrectangle.h.
|
inline |
Definition at line 28 of file Hyperrectangle.h.
|
inline |
Definition at line 61 of file Hyperrectangle.h.
|
inline |
Definition at line 52 of file Hyperrectangle.h.
|
inline |
Definition at line 37 of file Hyperrectangle.h.
|
inline |
Definition at line 33 of file Hyperrectangle.h.
|
inline |
Definition at line 45 of file Hyperrectangle.h.
|
inline |
Definition at line 41 of file Hyperrectangle.h.