Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
StatePermuter.h
Go to the documentation of this file.
1#pragma once
2
3#include <cstdint>
4#include <memory>
5#include <vector>
6#include "storm/models/sparse/Model.h"
7
8namespace storm::transformer {
9
19template<typename ValueType>
20std::shared_ptr<storm::models::sparse::Model<ValueType>> permuteStates(storm::models::sparse::Model<ValueType> const& originalModel,
21 std::vector<uint64_t> const& permutation);
22
23} // namespace storm::transformer
storm::models::sparse::Model
Base class for all sparse models.
Definition Model.h:33
storm::transformer::permuteStates
std::shared_ptr< storm::models::sparse::Model< ValueType > > permuteStates(storm::models::sparse::Model< ValueType > const &originalModel, std::vector< uint64_t > const &permutation)
Applies the given permutation to the states of the given model.
Definition StatePermuter.cpp:23