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 > |