Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::utility::combinatorics Namespace Reference

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)

Function Documentation

◆ forEach()

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 )

Definition at line 12 of file combinatorics.h.