Storm
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.