storm::modelchecker::helper::DiscountingHelper< ValueType, TrivialRowGrouping > Member List

This is the complete list of members for storm::modelchecker::helper::DiscountingHelper< ValueType, TrivialRowGrouping >, including all inherited members.

clearOptimizationDirection()	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
clearRelevantStates()	storm::modelchecker::helper::ModelCheckerHelper< ValueType, ModelRepresentation >
clearValueThreshold()	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
computeScheduler() const	storm::modelchecker::helper::DiscountingHelper< ValueType, TrivialRowGrouping >
DiscountingHelper(storm::storage::SparseMatrix< ValueType > const &A, ValueType discountFactor)	storm::modelchecker::helper::DiscountingHelper< ValueType, TrivialRowGrouping >
DiscountingHelper(storm::storage::SparseMatrix< ValueType > const &A, ValueType discountFactor, bool trackScheduler)	storm::modelchecker::helper::DiscountingHelper< ValueType, TrivialRowGrouping >
getOptimizationDirection() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
getOptionalOptimizationDirection() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
getOptionalRelevantStates() const	storm::modelchecker::helper::ModelCheckerHelper< ValueType, ModelRepresentation >
getRelevantStates() const	storm::modelchecker::helper::ModelCheckerHelper< ValueType, ModelRepresentation >
getValueThresholdComparisonType() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
getValueThresholdValue() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
hasRelevantStates() const	storm::modelchecker::helper::ModelCheckerHelper< ValueType, ModelRepresentation >
hasScheduler() const	storm::modelchecker::helper::DiscountingHelper< ValueType, TrivialRowGrouping >
isOptimizationDirectionSet() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
isProduceSchedulerSet() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
isQualitativeSet() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
isTrackSchedulerSet() const	storm::modelchecker::helper::DiscountingHelper< ValueType, TrivialRowGrouping >
isValueThresholdSet() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
maximize() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
minimize() const	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
ModelCheckerHelper()=default	storm::modelchecker::helper::ModelCheckerHelper< ValueType, ModelRepresentation >
setOptimizationDirection(storm::solver::OptimizationDirection const &direction)	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
setProduceScheduler(bool value)	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
setQualitative(bool value)	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
setRelevantStates(StateSet const &relevantStates)	storm::modelchecker::helper::ModelCheckerHelper< ValueType, ModelRepresentation >
setTrackScheduler(bool trackScheduler)	storm::modelchecker::helper::DiscountingHelper< ValueType, TrivialRowGrouping >
setValueThreshold(storm::logic::ComparisonType const &comparisonType, ValueType const &thresholdValue)	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
SingleValueModelCheckerHelper()	storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, storm::models::ModelRepresentation::Sparse >
solveWithDiscountedValueIteration(Environment const &env, std::optional< OptimizationDirection > dir, std::vector< ValueType > &x, std::vector< ValueType > const &b) const	storm::modelchecker::helper::DiscountingHelper< ValueType, TrivialRowGrouping >
StateSet typedef	storm::modelchecker::helper::ModelCheckerHelper< ValueType, ModelRepresentation >
ValueType typedef	storm::modelchecker::helper::ModelCheckerHelper< ValueType, ModelRepresentation >
~ModelCheckerHelper()=default	storm::modelchecker::helper::ModelCheckerHelper< ValueType, ModelRepresentation >	virtual