Storm
A Modern Probabilistic Model Checker
|
Functions | |
template<typename IteratorType > | |
void | 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) |
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 | ||
) |
Definition at line 12 of file combinatorics.h.