ValueIterationHelper.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <functional>
#include <memory>
#include <optional>
#include <vector>
 
#include "storm/solver/MultiplicationStyle.h"
#include "storm/solver/OptimizationDirection.h"
#include "storm/solver/SolutionBounds.h"
#include "storm/solver/SolverGuarantee.h"
#include "storm/solver/SolverStatus.h"
#include "storm/solver/UncertaintyResolutionMode.h"
#include "storm/solver/helper/ValueIterationOperatorForward.h"
#include "storm/utility/OptionalRef.h"
 
namespace storm::solver::helper {
 
template<typename ValueType, bool TrivialRowGrouping, typename SolutionType = ValueType>
class ValueIterationHelper {
   public:
    explicit ValueIterationHelper(std::shared_ptr<ValueIterationOperator<ValueType, TrivialRowGrouping, SolutionType>> viOperator);
 
    template<storm::OptimizationDirection Dir, bool Relative, storm::OptimizationDirection RobustDir, bool TrackDirection>
    SolverStatus VI(std::vector<SolutionType>& operand, std::vector<ValueType> const& offsets, uint64_t& numIterations, SolutionType const& precision,
                    std::function<SolverStatus(SolverStatus const&)> const& iterationCallback = {}, MultiplicationStyle mult = MultiplicationStyle::GaussSeidel,
                    storm::OptionalRef<SolutionBounds<SolutionType>> solutionBounds = storm::NullRef,
                    SolverGuarantee const& guarantee = SolverGuarantee::None) const;
 
    template<storm::OptimizationDirection Dir, bool Relative>
    SolverStatus VI(std::vector<SolutionType>& operand, std::vector<ValueType> const& offsets, uint64_t& numIterations, SolutionType const& precision,
                    const std::function<SolverStatus(const SolverStatus&)>& iterationCallback = {}, MultiplicationStyle mult = MultiplicationStyle::GaussSeidel,
                    UncertaintyResolutionMode const& uncertaintyResolutionMode = UncertaintyResolutionMode::Unset,
                    storm::OptionalRef<SolutionBounds<SolutionType>> solutionBounds = storm::NullRef,
                    SolverGuarantee const& guarantee = SolverGuarantee::None) const;
 
    SolverStatus VI(std::vector<SolutionType>& operand, std::vector<ValueType> const& offsets, uint64_t& numIterations, bool relative,
                    SolutionType const& precision, std::optional<storm::OptimizationDirection> const& dir = {},
                    std::function<SolverStatus(SolverStatus const&)> const& iterationCallback = {}, MultiplicationStyle mult = MultiplicationStyle::GaussSeidel,
                    UncertaintyResolutionMode const& uncertaintyResolutionMode = UncertaintyResolutionMode::Unset,
                    storm::OptionalRef<SolutionBounds<SolutionType>> solutionBounds = storm::NullRef,
                    SolverGuarantee const& guarantee = SolverGuarantee::None) const;
 
    SolverStatus VI(std::vector<SolutionType>& operand, std::vector<ValueType> const& offsets, bool relative, SolutionType const& precision,
                    std::optional<storm::OptimizationDirection> const& dir = {}, std::function<SolverStatus(SolverStatus const&)> const& iterationCallback = {},
                    MultiplicationStyle mult = MultiplicationStyle::GaussSeidel,
                    UncertaintyResolutionMode const& uncertaintyResolutionMode = UncertaintyResolutionMode::Unset,
                    storm::OptionalRef<SolutionBounds<SolutionType>> solutionBounds = storm::NullRef,
                    SolverGuarantee const& guarantee = SolverGuarantee::None) const;
 
   private:
    std::shared_ptr<ValueIterationOperator<ValueType, TrivialRowGrouping, SolutionType>> viOperator;
};
 
}  // namespace storm::solver::helper