Storm
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
 
bool isRobust () 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 42 of file SolveGoal.h.

Constructor & Destructor Documentation

◆ SolveGoal() [1/6]

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

Definition at line 23 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 47 of file SolveGoal.h.

◆ SolveGoal() [3/6]

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

Definition at line 28 of file SolveGoal.cpp.

◆ SolveGoal() [4/6]

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

Definition at line 34 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 39 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 46 of file SolveGoal.cpp.

Member Function Documentation

◆ boundIsALowerBound()

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

Definition at line 102 of file SolveGoal.cpp.

◆ boundIsStrict()

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

Definition at line 107 of file SolveGoal.cpp.

◆ direction()

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

Definition at line 92 of file SolveGoal.cpp.

◆ hasDirection()

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

Definition at line 52 of file SolveGoal.cpp.

◆ hasRelevantValues()

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

Definition at line 122 of file SolveGoal.cpp.

◆ isBounded()

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

Definition at line 97 of file SolveGoal.cpp.

◆ isRobust()

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

Definition at line 112 of file SolveGoal.cpp.

◆ minimize()

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

Definition at line 87 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 57 of file SolveGoal.cpp.

◆ relevantValues() [1/2]

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

Definition at line 132 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 127 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 137 of file SolveGoal.cpp.

◆ setRelevantValues()

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

Definition at line 144 of file SolveGoal.cpp.

◆ thresholdValue()

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

Definition at line 117 of file SolveGoal.cpp.

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