Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::solver::SolveGoal< ValueType, SolutionType > Class Template Reference

#include <SolveGoal.h>

Public Member Functions

 SolveGoal ()
 
template<typename RewardModelType , typename FormulaType >
 SolveGoal (storm::models::sparse::Model< ValueType, RewardModelType > const &model, storm::modelchecker::CheckTask< FormulaType, SolutionType > const &checkTask)
 
 SolveGoal (bool minimize)
 
 SolveGoal (OptimizationDirection d)
 
 SolveGoal (OptimizationDirection d, storm::logic::ComparisonType boundComparisonType, SolutionType const &boundThreshold, storm::storage::BitVector const &relevantValues)
 
 SolveGoal (OptimizationDirection d, storm::storage::BitVector const &relevantValues)
 
void oneMinus ()
 Flips the comparison type, the direction, and computes the new threshold as 1 - old threshold.
 
bool hasDirection () const
 
bool minimize () const
 
OptimizationDirection direction () const
 
UncertaintyResolutionMode getUncertaintyResolutionMode () const
 
bool isBounded () const
 
bool boundIsALowerBound () const
 
bool boundIsStrict () const
 
SolutionType const & thresholdValue () const
 
bool hasRelevantValues () const
 
storm::storage::BitVector & relevantValues ()
 
storm::storage::BitVector const & relevantValues () const
 
void restrictRelevantValues (storm::storage::BitVector const &filter)
 
void setRelevantValues (storm::storage::BitVector &&values)
 

Detailed Description

template<typename ValueType, typename SolutionType = ValueType>
class storm::solver::SolveGoal< ValueType, SolutionType >

Definition at line 43 of file SolveGoal.h.

Constructor & Destructor Documentation

◆ SolveGoal() [1/6]

template<typename ValueType , typename SolutionType >
storm::solver::SolveGoal< ValueType, SolutionType >::SolveGoal ( )

Definition at line 20 of file SolveGoal.cpp.

◆ SolveGoal() [2/6]

template<typename ValueType , typename SolutionType = ValueType>
template<typename RewardModelType , typename FormulaType >
storm::solver::SolveGoal< ValueType, SolutionType >::SolveGoal ( storm::models::sparse::Model< ValueType, RewardModelType > const &  model,
storm::modelchecker::CheckTask< FormulaType, SolutionType > const &  checkTask 
)
inline

Definition at line 48 of file SolveGoal.h.

◆ SolveGoal() [3/6]

template<typename ValueType , typename SolutionType >
storm::solver::SolveGoal< ValueType, SolutionType >::SolveGoal ( bool  minimize)

Definition at line 25 of file SolveGoal.cpp.

◆ SolveGoal() [4/6]

template<typename ValueType , typename SolutionType >
storm::solver::SolveGoal< ValueType, SolutionType >::SolveGoal ( OptimizationDirection  d)

Definition at line 31 of file SolveGoal.cpp.

◆ SolveGoal() [5/6]

template<typename ValueType , typename SolutionType >
storm::solver::SolveGoal< ValueType, SolutionType >::SolveGoal ( OptimizationDirection  d,
storm::logic::ComparisonType  boundComparisonType,
SolutionType const &  boundThreshold,
storm::storage::BitVector const &  relevantValues 
)

Definition at line 36 of file SolveGoal.cpp.

◆ SolveGoal() [6/6]

template<typename ValueType , typename SolutionType >
storm::solver::SolveGoal< ValueType, SolutionType >::SolveGoal ( OptimizationDirection  d,
storm::storage::BitVector const &  relevantValues 
)

Definition at line 43 of file SolveGoal.cpp.

Member Function Documentation

◆ boundIsALowerBound()

template<typename ValueType , typename SolutionType >
bool storm::solver::SolveGoal< ValueType, SolutionType >::boundIsALowerBound ( ) const

Definition at line 100 of file SolveGoal.cpp.

◆ boundIsStrict()

template<typename ValueType , typename SolutionType >
bool storm::solver::SolveGoal< ValueType, SolutionType >::boundIsStrict ( ) const

Definition at line 105 of file SolveGoal.cpp.

◆ direction()

template<typename ValueType , typename SolutionType >
OptimizationDirection storm::solver::SolveGoal< ValueType, SolutionType >::direction ( ) const

Definition at line 89 of file SolveGoal.cpp.

◆ getUncertaintyResolutionMode()

template<typename ValueType , typename SolutionType >
UncertaintyResolutionMode storm::solver::SolveGoal< ValueType, SolutionType >::getUncertaintyResolutionMode ( ) const

Definition at line 110 of file SolveGoal.cpp.

◆ hasDirection()

template<typename ValueType , typename SolutionType >
bool storm::solver::SolveGoal< ValueType, SolutionType >::hasDirection ( ) const

Definition at line 49 of file SolveGoal.cpp.

◆ hasRelevantValues()

template<typename ValueType , typename SolutionType >
bool storm::solver::SolveGoal< ValueType, SolutionType >::hasRelevantValues ( ) const

Definition at line 120 of file SolveGoal.cpp.

◆ isBounded()

template<typename ValueType , typename SolutionType >
bool storm::solver::SolveGoal< ValueType, SolutionType >::isBounded ( ) const

Definition at line 95 of file SolveGoal.cpp.

◆ minimize()

template<typename ValueType , typename SolutionType >
bool storm::solver::SolveGoal< ValueType, SolutionType >::minimize ( ) const

Definition at line 84 of file SolveGoal.cpp.

◆ oneMinus()

template<typename ValueType , typename SolutionType >
void storm::solver::SolveGoal< ValueType, SolutionType >::oneMinus ( )

Flips the comparison type, the direction, and computes the new threshold as 1 - old threshold.

Definition at line 54 of file SolveGoal.cpp.

◆ relevantValues() [1/2]

template<typename ValueType , typename SolutionType >
storm::storage::BitVector & storm::solver::SolveGoal< ValueType, SolutionType >::relevantValues ( )

Definition at line 130 of file SolveGoal.cpp.

◆ relevantValues() [2/2]

template<typename ValueType , typename SolutionType >
storm::storage::BitVector const & storm::solver::SolveGoal< ValueType, SolutionType >::relevantValues ( ) const

Definition at line 125 of file SolveGoal.cpp.

◆ restrictRelevantValues()

template<typename ValueType , typename SolutionType >
void storm::solver::SolveGoal< ValueType, SolutionType >::restrictRelevantValues ( storm::storage::BitVector const &  filter)

Definition at line 135 of file SolveGoal.cpp.

◆ setRelevantValues()

template<typename ValueType , typename SolutionType >
void storm::solver::SolveGoal< ValueType, SolutionType >::setRelevantValues ( storm::storage::BitVector &&  values)

Definition at line 142 of file SolveGoal.cpp.

◆ thresholdValue()

template<typename ValueType , typename SolutionType >
SolutionType const & storm::solver::SolveGoal< ValueType, SolutionType >::thresholdValue ( ) const

Definition at line 115 of file SolveGoal.cpp.

The documentation for this class was generated from the following files: