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

This is the complete list of members for storm::modelchecker::RegionCheckResult< 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
clone() const override	storm::modelchecker::RegionCheckResult< ValueType >	virtual
filter(QualitativeCheckResult const &filter) override	storm::modelchecker::RegionCheckResult< ValueType >	virtual
getRegionResults() const	storm::modelchecker::RegionCheckResult< ValueType >
getSatFraction() const	storm::modelchecker::RegionCheckResult< ValueType >
getUnsatFraction() const	storm::modelchecker::RegionCheckResult< ValueType >
hasScheduler() const	storm::modelchecker::CheckResult	virtual
initFractions(typename storm::storage::ParameterRegion< ValueType >::CoefficientType const &overallArea)	storm::modelchecker::RegionCheckResult< ValueType >	protectedvirtual
isExplicit() const	storm::modelchecker::CheckResult	virtual
isExplicitParetoCurveCheckResult() const	storm::modelchecker::CheckResult	virtual
isExplicitQualitativeCheckResult() const	storm::modelchecker::CheckResult	virtual
isExplicitQuantitativeCheckResult() const	storm::modelchecker::CheckResult	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	storm::modelchecker::CheckResult	virtual
isRegionCheckResult() const	storm::modelchecker::RegionCheckResult< ValueType >	virtual
isRegionRefinementCheckResult() const	storm::modelchecker::RegionCheckResult< ValueType >	virtual
isResultForAllStates() const	storm::modelchecker::CheckResult	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
RegionCheckResult(std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > const &regionResults)	storm::modelchecker::RegionCheckResult< ValueType >
RegionCheckResult(std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > &&regionResults)	storm::modelchecker::RegionCheckResult< ValueType >
regionResults	storm::modelchecker::RegionCheckResult< ValueType >	protected
satFraction	storm::modelchecker::RegionCheckResult< ValueType >	protected
unsatFraction	storm::modelchecker::RegionCheckResult< ValueType >	protected
writeCondensedToStream(std::ostream &out) const	storm::modelchecker::RegionCheckResult< ValueType >	virtual
writeIllustrationToStream(std::ostream &out) const	storm::modelchecker::RegionCheckResult< ValueType >	virtual
writeToStream(std::ostream &out) const override	storm::modelchecker::RegionCheckResult< ValueType >	virtual
~CheckResult()=default	storm::modelchecker::CheckResult	virtual
~RegionCheckResult()=default	storm::modelchecker::RegionCheckResult< ValueType >	virtual