d8/dce/_signature_based_refinement_8h_source.html

#pragma once


#include "storm/models/sparse/ModelForward.h"

#include "storm/transformer/bisimulation/Partition.h"

#include "storm/transformer/bisimulation/Signatures.h"


namespace storm::bisimulation {


template<typename ValueType, SignatureMode Mode>

void performSignatureBasedRefinement(storm::models::sparse::Model<ValueType> const& model, storm::bisimulation::Partition& partition,

                                     Signatures<ValueType, Mode>& signatures);


}  // namespace storm::bisimulation

ModelForward.h

Signatures.h

storm::bisimulation::Partition
Represents a partition of a set of consecutive indices.
Definition Partition.h:20

storm::bisimulation::Signatures
Computes and caches the state signatures and provides state-based order / condition for splitting in ...
Definition Signatures.h:24

storm::models::sparse::Model
Base class for all sparse models.
Definition Model.h:34

storm::bisimulation
Definition Bisimulation.cpp:22

storm::bisimulation::performSignatureBasedRefinement
void performSignatureBasedRefinement(storm::models::sparse::Model< ValueType > const &model, storm::bisimulation::Partition &partition, Signatures< ValueType, SignatureMode > &signatures)
Definition SignatureBasedRefinement.cpp:136

Partition.h