#include <Quotient.h>

Static Public Member Functions
static std::shared_ptr< storm::models::sparse::Model< ValueType > >	buildFromPartition (storm::models::sparse::Model< ValueType > const &model, storm::bisimulation::Options const &options, storm::bisimulation::PreservationInformation const &preservationInformation, QuotientData< ValueType > const &quotientData)
	Builds the quotient model from the given partition (represented by quotientData), preserving the given labels/rewards.

Detailed Description

template<typename ValueType>
class storm::bisimulation::Quotient< ValueType >

Definition at line 13 of file Quotient.h.

Member Function Documentation

template<typename ValueType>

auto storm::bisimulation::Quotient< ValueType >::buildFromPartition	(	storm::models::sparse::Model< ValueType > const &	model,
		storm::bisimulation::Options const &	options,
		storm::bisimulation::PreservationInformation const &	preservationInformation,
		QuotientData< ValueType > const &	quotientData )

static

Builds the quotient model from the given partition (represented by quotientData), preserving the given labels/rewards.

Note: for weak bisimulation, quotientData must carry the weak bisimulation data and must have been built with the non-silent states as its preferred representatives.

Definition at line 24 of file Quotient.cpp.

The documentation for this class was generated from the following files: