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
 
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 19 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 24 of file SolveGoal.cpp.

◆ SolveGoal() [4/6]

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

Definition at line 30 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 35 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 42 of file SolveGoal.cpp.

Member Function Documentation

◆ boundIsALowerBound()

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

Definition at line 98 of file SolveGoal.cpp.

◆ boundIsStrict()

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

Definition at line 103 of file SolveGoal.cpp.

◆ direction()

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

Definition at line 88 of file SolveGoal.cpp.

◆ hasDirection()

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

Definition at line 48 of file SolveGoal.cpp.

◆ hasRelevantValues()

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

Definition at line 118 of file SolveGoal.cpp.

◆ isBounded()

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

Definition at line 93 of file SolveGoal.cpp.

◆ isRobust()

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

Definition at line 108 of file SolveGoal.cpp.

◆ minimize()

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

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

◆ relevantValues() [1/2]

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

Definition at line 128 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 123 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 133 of file SolveGoal.cpp.

◆ setRelevantValues()

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

Definition at line 140 of file SolveGoal.cpp.

◆ thresholdValue()

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

Definition at line 113 of file SolveGoal.cpp.

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