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