storm::storage::geometry Namespace Reference

Classes
class	Halfspace
class	Hyperrectangle
class	NativePolytope
class	HyperplaneCollector
	This class can be used to collect a set of hyperplanes (without duplicates). More...
class	HyperplaneEnumeration
class	QuickHull
class	SubsetEnumerator
	This class can be used to enumerate all k-sized subsets of {0,...,n-1}. More...
class	Polytope
class	PolytopeTree
	Represents a set of points in Euclidean space. More...
class	ReduceVertexCloud

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)

Function Documentation

squaredEuclideanDistance()

template<typename T>

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

Definition at line 11 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.