|
@ -316,6 +316,7 @@ namespace storm { |
|
|
if(choiceOrigins) { |
|
|
if(choiceOrigins) { |
|
|
boost::hash_combine(seed,choiceOrigins.get()->hash()); |
|
|
boost::hash_combine(seed,choiceOrigins.get()->hash()); |
|
|
} |
|
|
} |
|
|
|
|
|
return seed; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
template<typename ValueType, typename RewardModelType> |
|
|
template<typename ValueType, typename RewardModelType> |
|
|