MultiObjectivePostprocessing.cpp File Reference

#include "storm/modelchecker/multiobjective/MultiObjectivePostprocessing.h"
#include "storm/adapters/RationalNumberAdapter.h"

Include dependency graph for MultiObjectivePostprocessing.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::modelchecker
namespace	storm::modelchecker::multiobjective

Functions
template<typename ValueType, typename GeometryValueType>
GeometryValueType	storm::modelchecker::multiobjective::transformObjectiveValueToOriginal (Objective< ValueType > const &objective, GeometryValueType const &value)
template<typename ValueType, typename GeometryValueType>
std::vector< GeometryValueType >	storm::modelchecker::multiobjective::transformObjectiveValuesToOriginal (std::vector< Objective< ValueType > > const &objectives, std::vector< GeometryValueType > const &point)
template<typename ValueType, typename GeometryValueType>
std::shared_ptr< storm::storage::geometry::Polytope< GeometryValueType > >	storm::modelchecker::multiobjective::transformObjectivePolytopeToOriginal (std::vector< Objective< ValueType > > const &objectives, std::shared_ptr< storm::storage::geometry::Polytope< GeometryValueType > > const &polytope)
template<typename ValueType>
void	storm::modelchecker::multiobjective::transformObjectiveSchedulersToOriginal (storm::storage::SparseModelMemoryProductReverseData const &reverseData, std::vector< storm::storage::Scheduler< ValueType > > &schedulers)
template storm::RationalNumber	storm::modelchecker::multiobjective::transformObjectiveValueToOriginal (Objective< double > const &objective, storm::RationalNumber const &value)
template std::vector< storm::RationalNumber >	storm::modelchecker::multiobjective::transformObjectiveValuesToOriginal (std::vector< Objective< double > > const &objectives, std::vector< storm::RationalNumber > const &point)
template std::shared_ptr< storm::storage::geometry::Polytope< storm::RationalNumber > >	storm::modelchecker::multiobjective::transformObjectivePolytopeToOriginal (std::vector< Objective< double > > const &objectives, std::shared_ptr< storm::storage::geometry::Polytope< storm::RationalNumber > > const &polytope)
template storm::RationalNumber	storm::modelchecker::multiobjective::transformObjectiveValueToOriginal (Objective< storm::RationalNumber > const &objective, storm::RationalNumber const &value)
template std::vector< storm::RationalNumber >	storm::modelchecker::multiobjective::transformObjectiveValuesToOriginal (std::vector< Objective< storm::RationalNumber > > const &objectives, std::vector< storm::RationalNumber > const &point)
template std::shared_ptr< storm::storage::geometry::Polytope< storm::RationalNumber > >	storm::modelchecker::multiobjective::transformObjectivePolytopeToOriginal (std::vector< Objective< storm::RationalNumber > > const &objectives, std::shared_ptr< storm::storage::geometry::Polytope< storm::RationalNumber > > const &polytope)
template void	storm::modelchecker::multiobjective::transformObjectiveSchedulersToOriginal (storm::storage::SparseModelMemoryProductReverseData const &reverseData, std::vector< storm::storage::Scheduler< double > > &schedulers)
template void	storm::modelchecker::multiobjective::transformObjectiveSchedulersToOriginal (storm::storage::SparseModelMemoryProductReverseData const &reverseData, std::vector< storm::storage::Scheduler< storm::RationalNumber > > &schedulers)