 |
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
|
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
This is the complete list of members for stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >, including all inherited members.
| build() | stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType > | |
| ExplicitTruncatedModelBuilder(std::shared_ptr< storm::generator::NextStateGenerator< ValueType, StateType > > const &generator, Options const &options=Options()) | stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType > | |
| ExplicitTruncatedModelBuilder(storm::prism::Program const &program, storm::generator::NextStateGeneratorOptions const &generatorOptions=storm::generator::NextStateGeneratorOptions(), Options const &builderOptions=Options()) | stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType > | |
| ExplicitTruncatedModelBuilder(storm::jani::Model const &model, storm::generator::NextStateGeneratorOptions const &generatorOptions=storm::generator::NextStateGeneratorOptions(), Options const &builderOptions=Options()) | stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType > | |
| exportExplicitStateLookup() const | stamina::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType > |
1.9.3