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
storm::logic::ComparisonType	boundComparisonType () 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

boundComparisonType()

template<typename ValueType, typename SolutionType>

storm::logic::ComparisonType storm::solver::SolveGoal< ValueType, SolutionType >::boundComparisonType

(

)

const

Definition at line 115 of file SolveGoal.cpp.

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 125 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 135 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 130 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 140 of file SolveGoal.cpp.

setRelevantValues()

template<typename ValueType, typename SolutionType>

void storm::solver::SolveGoal< ValueType, SolutionType >::setRelevantValues

(

storm::storage::BitVector &&

values

)

Definition at line 147 of file SolveGoal.cpp.

thresholdValue()

template<typename ValueType, typename SolutionType>

SolutionType const & storm::solver::SolveGoal< ValueType, SolutionType >::thresholdValue

(

)

const

Definition at line 120 of file SolveGoal.cpp.

---

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

• src/storm/solver/SolveGoal.h
• src/storm/solver/SolveGoal.cpp