matching.h File Reference

#include <concepts>
#include <cstdint>
#include <limits>
#include <optional>
#include <vector>
#include "storm/storage/BitVector.h"

Include dependency graph for matching.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::utility

Functions
template<std::predicate< uint64_t, uint64_t > EdgePredicate>
std::optional< std::vector< uint64_t > >	storm::utility::findPerfectMatching (uint64_t const n, EdgePredicate &&hasEdge)