storm::pomdp::ObservationTraceUnfolder< ValueType > Member List

This is the complete list of members for storm::pomdp::ObservationTraceUnfolder< ValueType >, including all inherited members.

extend(uint32_t observation)	storm::pomdp::ObservationTraceUnfolder< ValueType >
ObservationTraceUnfolder(storm::models::sparse::Pomdp< ValueType > const &model, std::vector< ValueType > const &risk, std::shared_ptr< storm::expressions::ExpressionManager > &exprManager)	storm::pomdp::ObservationTraceUnfolder< ValueType >
reset(uint32_t observation)	storm::pomdp::ObservationTraceUnfolder< ValueType >
transform(std::vector< uint32_t > const &observations)	storm::pomdp::ObservationTraceUnfolder< ValueType >