|
Storm 1.11.1.1
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) |