Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
combinatorics.h File Reference
#include <cstdint>
#include <functional>
#include <vector>
Include dependency graph for combinatorics.h:
This graph shows which files directly or indirectly include this file:

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)