50 template<
typename PomdpType>
53 template<
typename PomdpType>
59 std::optional<StateSet> targetStates;
60 std::optional<StateSet> sinkStates;
61 std::optional<std::string> rewardModelName;
64template<
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)