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

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

aggregate(FilterType filter) const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
asExplicitParetoCurveCheckResult()	storm::modelchecker::CheckResult
asExplicitParetoCurveCheckResult() const	storm::modelchecker::CheckResult
asExplicitParetoCurveCheckResult() const	storm::modelchecker::CheckResult
asExplicitQualitativeCheckResult()	storm::modelchecker::CheckResult
asExplicitQualitativeCheckResult() const	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
clearBounds()	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
clone() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
compareAgainstBound(storm::logic::ComparisonType comparisonType, ValueType const &bound) const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
compareAgainstBound(storm::logic::ComparisonType comparisonType, storm::RationalFunction const &bound) const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(storm::storage::sparse::state_type const &state, ExtendedValueType const &value)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(vector_type const &values, std::optional< std::shared_ptr< storm::storage::Scheduler< ValueType > > > scheduler={})	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(vector_type &&values, std::optional< std::shared_ptr< storm::storage::Scheduler< ValueType > > > scheduler={})	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(storm::storage::BitVector states, vector_type &&values, std::optional< std::shared_ptr< storm::storage::Scheduler< ValueType > > > scheduler={})	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(std::vector< ValueType > const &values)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(std::vector< ValueType > &&values)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(storm::storage::BitVector states, std::vector< ValueType > &&values)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(ExplicitQuantitativeCheckResult const &other)=default	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(ExplicitQuantitativeCheckResult &&other)=default	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
ExplicitQuantitativeCheckResult(ExplicitQualitativeCheckResult< ValueType > const &other)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	explicit
ExtendedValueType typedef	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
filter(QualitativeCheckResult const &filter) override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
getFiniteValueVector() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getLowerBoundVector() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
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 >
getSentinelValueVector() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getSolutionBounds() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getStates() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getUpperBoundVector() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getValueVector() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
getValueVector()	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
hasLowerBounds() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
hasScheduler() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
hasUpperBounds() const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
hasValueForState(storm::storage::sparse::state_type state) const	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
storm::modelchecker::QuantitativeCheckResult::hasValueType() const	storm::modelchecker::CheckResult	inline
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
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 >
setBounds(storm::solver::SolutionBounds< ExtendedValueType > bounds)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
setBounds(storm::solver::SolutionBounds< ValueType > bounds)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
setLowerBounds(vector_type lowerBounds)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
setScheduler(std::unique_ptr< storm::storage::Scheduler< ValueType > > &&scheduler)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
setUpperBounds(vector_type upperBounds)	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
setValuesExact()	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
sum() const override	storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >	virtual
toJson(std::optional< storm::storage::sparse::Valuations > 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::Valuations > 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