Distribution.cpp File Reference

#include "storm/storage/Distribution.h"
#include <algorithm>
#include <iostream>
#include "storm/utility/ConstantsComparator.h"
#include "storm/utility/constants.h"
#include "storm/utility/macros.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/exceptions/NotSupportedException.h"

Include dependency graph for Distribution.cpp:

Go to the source code of this file.

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

Functions
template<typename ValueType , typename StateType >
std::ostream &	storm::storage::operator<< (std::ostream &out, Distribution< ValueType, StateType > const &distribution)
template<typename ValueType , typename StateType >
std::enable_if<!std::is_same< ValueType, storm::RationalFunction >::value, StateType >::type	storm::storage::sample (boost::container::flat_map< StateType, ValueType > const &distr, ValueType const &quantile)
template<typename ValueType , typename StateType >
std::enable_if< std::is_same< ValueType, storm::RationalFunction >::value, StateType >::type	storm::storage::sample (boost::container::flat_map< StateType, storm::RationalFunction > const &distr, storm::RationalFunction const &quantile)
template std::ostream &	storm::storage::operator<< (std::ostream &out, Distribution< double > const &distribution)
template std::ostream &	storm::storage::operator<< (std::ostream &out, Distribution< double, uint_fast64_t > const &distribution)