stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType > Class Template Reference

Classes
struct	Options

Public Member Functions
	ExplicitTruncatedModelBuilder (std::shared_ptr< storm::generator::NextStateGenerator< ValueType, StateType > > const &generator, Options const &options=Options())
	ExplicitTruncatedModelBuilder (storm::prism::Program const &program, storm::generator::NextStateGeneratorOptions const &generatorOptions=storm::generator::NextStateGeneratorOptions(), Options const &builderOptions=Options())
	ExplicitTruncatedModelBuilder (storm::jani::Model const &model, storm::generator::NextStateGeneratorOptions const &generatorOptions=storm::generator::NextStateGeneratorOptions(), Options const &builderOptions=Options())
std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > >	build ()
ExplicitStateLookup< StateType >	exportExplicitStateLookup () const

Constructor & Destructor Documentation

ExplicitTruncatedModelBuilder() [1/3]

template<typename ValueType , typename RewardModelType , typename StateType >

stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >::ExplicitTruncatedModelBuilder	(	std::shared_ptr< storm::generator::NextStateGenerator< ValueType, StateType > > const &	generator,
		Options const &	options = Options()
	)

Creates an explicit model builder that uses the provided generator.

Parameters

generator

The generator to use.

ExplicitTruncatedModelBuilder() [2/3]

template<typename ValueType , typename RewardModelType , typename StateType >

stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >::ExplicitTruncatedModelBuilder	(	storm::prism::Program const &	program,
		storm::generator::NextStateGeneratorOptions const &	generatorOptions = storm::generator::NextStateGeneratorOptions(),
		Options const &	builderOptions = Options()
	)

Creates an explicit model builder for the given PRISM program.

Parameters

program

The program for which to build the model.

ExplicitTruncatedModelBuilder() [3/3]

template<typename ValueType , typename RewardModelType , typename StateType >

stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >::ExplicitTruncatedModelBuilder	(	storm::jani::Model const &	model,
		storm::generator::NextStateGeneratorOptions const &	generatorOptions = storm::generator::NextStateGeneratorOptions(),
		Options const &	builderOptions = Options()
	)

Creates an explicit model builder for the given JANI model.

Parameters

model

The JANI model for which to build the model.

Member Function Documentation

build()

template<typename ValueType , typename RewardModelType , typename StateType >

std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > > stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >::build

Convert the program given at construction time to an abstract model. The type of the model is the one specified in the program. The given reward model name selects the rewards that the model will contain.

Returns

The explicit model that was given by the probabilistic program as well as additional information (if requested).

exportExplicitStateLookup()

template<typename ValueType , typename RewardModelType , typename StateType >

ExplicitStateLookup< StateType > stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >::exportExplicitStateLookup

Export a wrapper that contains (a copy of) the internal information that maps states to ids. This wrapper can be helpful to find states in later stages.

Returns

---

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

• /home/josh/Documents/Work/stamina-cplusplus/src/stamina/ExplicitTruncatedModelBuilder.h
• /home/josh/Documents/Work/stamina-cplusplus/src/stamina/ExplicitTruncatedModelBuilder.cpp