permutation.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <string>
#include <vector>
 
namespace storm {
 
namespace storage {
class BitVector;
template<typename ValueType>
class SparseMatrix;
}  // namespace storage
 
namespace utility::permutation {
using index_type = uint64_t;
 
enum class OrderKind { Bfs, Dfs, ReverseBfs, ReverseDfs, Random };
 
std::string orderKindtoString(OrderKind order);
 
std::vector<std::string> orderKinds();
 
OrderKind orderKindFromString(std::string const& order);
 
std::vector<index_type> createRandomPermutation(index_type size);
 
std::vector<index_type> createRandomPermutation(index_type size, index_type seed);
 
template<typename ValueType>
std::vector<index_type> createPermutation(OrderKind order, storm::storage::SparseMatrix<ValueType> const& transitionMatrix,
                                          storm::storage::BitVector const& initialStates);
 
std::vector<index_type> invertPermutation(std::vector<index_type> const& permutation);
 
void reversePermutationInPlace(std::vector<index_type>& permutation);
 
bool isValidPermutation(std::vector<index_type> const& permutation);
 
}  // namespace utility::permutation
}  // namespace storm