20 std::shared_ptr<storm::expressions::ExpressionManager>& exprManager);
26 std::shared_ptr<storm::models::sparse::Mdp<ValueType>>
transform(std::vector<uint32_t>
const& observations);
32 std::shared_ptr<storm::models::sparse::Mdp<ValueType>>
extend(uint32_t observation);
37 void reset(uint32_t observation);
41 std::vector<ValueType> risk;
42 std::shared_ptr<storm::expressions::ExpressionManager>& exprManager;
43 std::vector<storm::storage::BitVector> statesPerObservation;
44 std::vector<uint32_t> traceSoFar;