45 std::set<storm::expressions::Variable>
const& columnVariables,
46 std::vector<std::pair<storm::expressions::Variable, storm::expressions::Variable>>
const& rowColumnMetaVariablePairs,
47 std::set<storm::expressions::Variable>
const& nondeterminismVariables,
48 std::map<std::string, storm::expressions::Expression> labelToExpressionMap = std::map<std::string, storm::expressions::Expression>(),
49 std::unordered_map<std::string, RewardModelType>
const& rewardModels = std::unordered_map<std::string, RewardModelType>());
69 std::set<storm::expressions::Variable>
const& columnVariables,
70 std::vector<std::pair<storm::expressions::Variable, storm::expressions::Variable>>
const& rowColumnMetaVariablePairs,
71 std::set<storm::expressions::Variable>
const& nondeterminismVariables,
73 std::unordered_map<std::string, RewardModelType>
const& rewardModels = std::unordered_map<std::string, RewardModelType>());
75 template<
typename NewValueType>
76 std::shared_ptr<Mdp<Type, NewValueType>>
toValueType()
const;