48 template<
typename PomdpType>
51 template<
typename PomdpType>
57 std::optional<StateSet> targetStates;
58 std::optional<StateSet> sinkStates;
59 std::optional<std::string> rewardModelName;
62template<
typename PomdpType>
A bit vector that is internally represented as a vector of 64-bit values.
FormulaInformation getFormulaInformation(PomdpType const &pomdp, storm::logic::ProbabilityOperatorFormula const &formula)