Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
MultiObjectivePostprocessing.h
Go to the documentation of this file.
1#pragma once
2
3#include <memory>
4#include <vector>
5
10
11namespace storm {
12namespace modelchecker {
13namespace multiobjective {
14
15template<typename ValueType, typename GeometryValueType>
16std::vector<GeometryValueType> transformObjectiveValuesToOriginal(std::vector<Objective<ValueType>> objectives, std::vector<GeometryValueType> const& point);
17
18template<typename ValueType, typename GeometryValueType>
19std::shared_ptr<storm::storage::geometry::Polytope<GeometryValueType>> transformObjectivePolytopeToOriginal(
20 std::vector<Objective<ValueType>> objectives, std::shared_ptr<storm::storage::geometry::Polytope<GeometryValueType>> const& polytope);
21
22/*
23 * Uses the information from reverse data to edit the objective schedulers in 'schedulers' to ones
24 * apt for the target model.
25 */
26template<typename ValueType>
28 std::vector<storm::storage::Scheduler<ValueType>>& schedulers);
29
30} // namespace multiobjective
31} // namespace modelchecker
32} // namespace storm
This class defines which action is chosen in a particular state of a non-deterministic model.
Definition Scheduler.h:18
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)
LabParser.cpp.