Storm
A Modern Probabilistic Model Checker
|
#include <cstdint>
#include <functional>
#include <vector>
Go to the source code of this file.
Namespaces | |
namespace | storm |
LabParser.cpp. | |
namespace | storm::utility |
namespace | storm::utility::combinatorics |
Functions | |
template<typename IteratorType > | |
void | storm::utility::combinatorics::forEach (std::vector< IteratorType > const &its, std::vector< IteratorType > const &ites, std::function< void(uint64_t, decltype(*std::declval< IteratorType >()))> const &setValueCallback, std::function< bool()> const &newCombinationCallback) |