storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType > Member List

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

asExplicitParetoCurveCheckResult()	storm::modelchecker::CheckResult
asExplicitParetoCurveCheckResult() const	storm::modelchecker::CheckResult
asExplicitParetoCurveCheckResult() const	storm::modelchecker::CheckResult
asExplicitQualitativeCheckResult()	storm::modelchecker::CheckResult
asExplicitQualitativeCheckResult() const	storm::modelchecker::CheckResult
asExplicitQuantitativeCheckResult()	storm::modelchecker::CheckResult
asExplicitQuantitativeCheckResult() const	storm::modelchecker::CheckResult
asExplicitQuantitativeCheckResult() const	storm::modelchecker::CheckResult
asHybridQuantitativeCheckResult()	storm::modelchecker::CheckResult
asHybridQuantitativeCheckResult() const	storm::modelchecker::CheckResult
asHybridQuantitativeCheckResult() const	storm::modelchecker::CheckResult
asLexicographicCheckResult()	storm::modelchecker::CheckResult
asLexicographicCheckResult() const	storm::modelchecker::CheckResult
asLexicographicCheckResult() const	storm::modelchecker::CheckResult
asQualitativeCheckResult()	storm::modelchecker::CheckResult
asQualitativeCheckResult() const	storm::modelchecker::CheckResult
asQuantitativeCheckResult()	storm::modelchecker::CheckResult
asQuantitativeCheckResult() const	storm::modelchecker::CheckResult
asQuantitativeCheckResult() const	storm::modelchecker::CheckResult
asSymbolicParetoCurveCheckResult()	storm::modelchecker::CheckResult
asSymbolicParetoCurveCheckResult() const	storm::modelchecker::CheckResult
asSymbolicParetoCurveCheckResult() const	storm::modelchecker::CheckResult
asSymbolicQualitativeCheckResult()	storm::modelchecker::CheckResult
asSymbolicQualitativeCheckResult() const	storm::modelchecker::CheckResult
asSymbolicQualitativeCheckResult() const	storm::modelchecker::CheckResult
asSymbolicQuantitativeCheckResult()	storm::modelchecker::CheckResult
asSymbolicQuantitativeCheckResult() const	storm::modelchecker::CheckResult
asSymbolicQuantitativeCheckResult() const	storm::modelchecker::CheckResult
average() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
clone() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
compareAgainstBound(storm::logic::ComparisonType comparisonType, ValueType const &bound) const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
ExplicitQuantitativeCheckResult()	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(map_type const &values)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(map_type &&values)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(storm::storage::sparse::state_type const &state, ValueType const &value)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(vector_type const &values)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(vector_type &&values)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(boost::variant< vector_type, map_type > const &values, boost::optional< std::shared_ptr< storm::storage::Scheduler< ValueType > > > scheduler=boost::none)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(boost::variant< vector_type, map_type > &&values, boost::optional< std::shared_ptr< storm::storage::Scheduler< ValueType > > > scheduler=boost::none)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(ExplicitQuantitativeCheckResult const &other)=default	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(ExplicitQuantitativeCheckResult &&other)=default	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(ExplicitQualitativeCheckResult const &other)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	explicit
filter(QualitativeCheckResult const &filter) override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
getMax() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
getMin() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
getMinMax() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
getScheduler() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getScheduler()	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getValueMap() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getValueVector() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getValueVector()	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
hasScheduler() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
isExplicit() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
isExplicitParetoCurveCheckResult() const	storm::modelchecker::CheckResult	virtual
isExplicitQualitativeCheckResult() const	storm::modelchecker::CheckResult	virtual
isExplicitQuantitativeCheckResult() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
isHybrid() const	storm::modelchecker::CheckResult	virtual
isHybridQuantitativeCheckResult() const	storm::modelchecker::CheckResult	virtual
isLexicographicCheckResult() const	storm::modelchecker::CheckResult	virtual
isParetoCurveCheckResult() const	storm::modelchecker::CheckResult	virtual
isQualitative() const	storm::modelchecker::CheckResult	virtual
isQuantitative() const override	storm::modelchecker::QuantitativeCheckResult< ValueType >	virtual
isResultForAllStates() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
isSymbolic() const	storm::modelchecker::CheckResult	virtual
isSymbolicParetoCurveCheckResult() const	storm::modelchecker::CheckResult	virtual
isSymbolicQualitativeCheckResult() const	storm::modelchecker::CheckResult	virtual
isSymbolicQuantitativeCheckResult() const	storm::modelchecker::CheckResult	virtual
map_type typedef	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
oneMinus() override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
operator=(ExplicitQuantitativeCheckResult const &other)=default	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
operator=(ExplicitQuantitativeCheckResult &&other)=default	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
operator[](storm::storage::sparse::state_type state)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
operator[](storm::storage::sparse::state_type state) const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
setScheduler(std::unique_ptr< storm::storage::Scheduler< ValueType > > &&scheduler)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
sum() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
toJson(std::optional< storm::storage::sparse::StateValuations > const &stateValuations=std::nullopt, std::optional< storm::models::sparse::StateLabeling > const &stateLabels=std::nullopt) const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
toJson(std::optional< storm::storage::sparse::StateValuations > const &, std::optional< storm::models::sparse::StateLabeling > const &) const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
vector_type typedef	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
writeToStream(std::ostream &out) const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
~CheckResult()=default	storm::modelchecker::CheckResult	virtual
~ExplicitQuantitativeCheckResult()=default	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
~QuantitativeCheckResult()=default	storm::modelchecker::QuantitativeCheckResult< ValueType >	virtual