|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
Classes | |
| class | Halfspace |
| class | HyperplaneCollector |
| This class can be used to collect a set of hyperplanes (without duplicates). More... | |
| class | HyperplaneEnumeration |
| class | Hyperrectangle |
| class | NativePolytope |
| class | Polytope |
| class | PolytopeTree |
| Represents a set of points in Euclidean space. More... | |
| class | QuickHull |
| class | ReduceVertexCloud |
| class | SubsetEnumerator |
| This class can be used to enumerate all k-sized subsets of {0,...,n-1}. More... | |
Functions | |
| template<typename T > | |
| T | squaredEuclideanDistance (std::vector< T > const &p, std::vector< T > const &q) |
| template<typename ValueType > | |
| std::string | toString (std::map< uint64_t, ValueType > const &point) |
| T storm::storage::geometry::squaredEuclideanDistance | ( | std::vector< T > const & | p, |
| std::vector< T > const & | q | ||
| ) |
Definition at line 9 of file coordinates.h.
| std::string storm::storage::geometry::toString | ( | std::map< uint64_t, ValueType > const & | point | ) |
Definition at line 11 of file ReduceVertexCloud.cpp.