Storm
A Modern Probabilistic Model Checker
|
#include <boost/container/flat_set.hpp>
#include <sstream>
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. | |