storm::modelchecker::CheckTask< FormulaType, ValueType > Member List

This is the complete list of members for storm::modelchecker::CheckTask< FormulaType, ValueType >, including all inherited members.

CheckTask	storm::modelchecker::CheckTask< FormulaType, ValueType >	friend
CheckTask(FormulaType const &formula, bool onlyInitialStatesRelevant=false)	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
convertValueType() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getBound() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getBoundComparisonType() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getBoundThreshold() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getFormula() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getHint() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getHint()	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getOptimizationDirection() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getOptionalBound() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getPlayerCoalition() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getRewardModel() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
getRobustUncertainty() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
isBoundSet() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
isOnlyInitialStatesRelevantSet() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
isOptimizationDirectionSet() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
isPlayerCoalitionSet() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
isProduceSchedulersSet() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
isQualitativeSet() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
isRewardModelSet() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
negate() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
operator CheckTask< storm::logic::Formula, ValueType >() const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
setHint(std::shared_ptr< ModelCheckerHint > const &hint)	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
setOnlyInitialStatesRelevant(bool value=true)	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
setOptimizationDirection(storm::OptimizationDirection const &dir)	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
setPlayerCoalition(storm::logic::PlayerCoalition const &coalition)	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
setProduceSchedulers(bool produceSchedulers=true)	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
setQualitative(bool value)	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
setRobustUncertainty(bool robust=true)	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
substituteFormula(NewFormulaType const &newFormula) const	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline
updateOperatorInformation()	storm::modelchecker::CheckTask< FormulaType, ValueType >	inline