Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::geometry Namespace Reference

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 >
squaredEuclideanDistance (std::vector< T > const &p, std::vector< T > const &q)
 
template<typename ValueType >
std::string toString (std::map< uint64_t, ValueType > const &point)
 

Function Documentation

◆ squaredEuclideanDistance()

template<typename T >
T storm::storage::geometry::squaredEuclideanDistance ( std::vector< T > const &  p,
std::vector< T > const &  q 
)

Definition at line 9 of file coordinates.h.

◆ toString()

template<typename ValueType >
std::string storm::storage::geometry::toString ( std::map< uint64_t, ValueType > const &  point)

Definition at line 11 of file ReduceVertexCloud.cpp.