12namespace modelchecker {
13namespace multiobjective {
15template<
typename ValueType,
typename GeometryValueType>
18template<
typename ValueType,
typename GeometryValueType>
26template<
typename ValueType>
This class defines which action is chosen in a particular state of a non-deterministic model.
Data to restore memory incorporation applied with SparseModelMemoryProduct.
std::vector< GeometryValueType > transformObjectiveValuesToOriginal(std::vector< Objective< ValueType > > objectives, std::vector< GeometryValueType > const &point)
void transformObjectiveSchedulersToOriginal(storm::storage::SparseModelMemoryProductReverseData const &reverseData, std::vector< storm::storage::Scheduler< ValueType > > &schedulers)
std::shared_ptr< storm::storage::geometry::Polytope< GeometryValueType > > transformObjectivePolytopeToOriginal(std::vector< Objective< ValueType > > objectives, std::shared_ptr< storm::storage::geometry::Polytope< GeometryValueType > > const &polytope)