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