BoostTypes.h File Reference

#include <boost/container/flat_set.hpp>
#include <sstream>

Include dependency graph for BoostTypes.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::storage

Typedefs
template<typename Key >
using	storm::storage::FlatSet = boost::container::flat_set< Key, std::less< Key >, boost::container::new_allocator< Key > >
	Redefinition of flat_set was needed, because from Boost 1.70 on the default allocator is set to void.

Functions
template<typename ValueType >
std::string	storm::storage::toString (FlatSet< ValueType > const &set)
	Output vector as string.