Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::modelchecker::RegionRefinementCheckResult< ValueType > Member List

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

asExplicitParetoCurveCheckResult()storm::modelchecker::CheckResult
asExplicitParetoCurveCheckResult() conststorm::modelchecker::CheckResult
asExplicitParetoCurveCheckResult() conststorm::modelchecker::CheckResult
asExplicitQualitativeCheckResult()storm::modelchecker::CheckResult
asExplicitQualitativeCheckResult() conststorm::modelchecker::CheckResult
asExplicitQuantitativeCheckResult()storm::modelchecker::CheckResult
asExplicitQuantitativeCheckResult() conststorm::modelchecker::CheckResult
asExplicitQuantitativeCheckResult() conststorm::modelchecker::CheckResult
asHybridQuantitativeCheckResult()storm::modelchecker::CheckResult
asHybridQuantitativeCheckResult() conststorm::modelchecker::CheckResult
asHybridQuantitativeCheckResult() conststorm::modelchecker::CheckResult
asLexicographicCheckResult()storm::modelchecker::CheckResult
asLexicographicCheckResult() conststorm::modelchecker::CheckResult
asLexicographicCheckResult() conststorm::modelchecker::CheckResult
asQualitativeCheckResult()storm::modelchecker::CheckResult
asQualitativeCheckResult() conststorm::modelchecker::CheckResult
asQuantitativeCheckResult()storm::modelchecker::CheckResult
asQuantitativeCheckResult() conststorm::modelchecker::CheckResult
asQuantitativeCheckResult() conststorm::modelchecker::CheckResult
asSymbolicParetoCurveCheckResult()storm::modelchecker::CheckResult
asSymbolicParetoCurveCheckResult() conststorm::modelchecker::CheckResult
asSymbolicParetoCurveCheckResult() conststorm::modelchecker::CheckResult
asSymbolicQualitativeCheckResult()storm::modelchecker::CheckResult
asSymbolicQualitativeCheckResult() conststorm::modelchecker::CheckResult
asSymbolicQualitativeCheckResult() conststorm::modelchecker::CheckResult
asSymbolicQuantitativeCheckResult()storm::modelchecker::CheckResult
asSymbolicQuantitativeCheckResult() conststorm::modelchecker::CheckResult
asSymbolicQuantitativeCheckResult() conststorm::modelchecker::CheckResult
clone() const overridestorm::modelchecker::RegionRefinementCheckResult< ValueType >virtual
filter(QualitativeCheckResult const &filter) overridestorm::modelchecker::RegionCheckResult< ValueType >virtual
getParameterSpace() conststorm::modelchecker::RegionRefinementCheckResult< ValueType >
getRegionResults() conststorm::modelchecker::RegionCheckResult< ValueType >
getSatFraction() conststorm::modelchecker::RegionCheckResult< ValueType >
getUnsatFraction() conststorm::modelchecker::RegionCheckResult< ValueType >
hasScheduler() conststorm::modelchecker::CheckResultvirtual
initFractions(typename storm::storage::ParameterRegion< ValueType >::CoefficientType const &overallArea)storm::modelchecker::RegionCheckResult< ValueType >protectedvirtual
isExplicit() conststorm::modelchecker::CheckResultvirtual
isExplicitParetoCurveCheckResult() conststorm::modelchecker::CheckResultvirtual
isExplicitQualitativeCheckResult() conststorm::modelchecker::CheckResultvirtual
isExplicitQuantitativeCheckResult() conststorm::modelchecker::CheckResultvirtual
isHybrid() conststorm::modelchecker::CheckResultvirtual
isHybridQuantitativeCheckResult() conststorm::modelchecker::CheckResultvirtual
isLexicographicCheckResult() conststorm::modelchecker::CheckResultvirtual
isParetoCurveCheckResult() conststorm::modelchecker::CheckResultvirtual
isQualitative() conststorm::modelchecker::CheckResultvirtual
isQuantitative() conststorm::modelchecker::CheckResultvirtual
isRegionCheckResult() conststorm::modelchecker::RegionCheckResult< ValueType >virtual
isRegionRefinementCheckResult() const overridestorm::modelchecker::RegionRefinementCheckResult< ValueType >virtual
isResultForAllStates() conststorm::modelchecker::CheckResultvirtual
isSymbolic() conststorm::modelchecker::CheckResultvirtual
isSymbolicParetoCurveCheckResult() conststorm::modelchecker::CheckResultvirtual
isSymbolicQualitativeCheckResult() conststorm::modelchecker::CheckResultvirtual
isSymbolicQuantitativeCheckResult() conststorm::modelchecker::CheckResultvirtual
parameterSpacestorm::modelchecker::RegionRefinementCheckResult< ValueType >protected
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 >
RegionRefinementCheckResult(std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > const &regionResults, storm::storage::ParameterRegion< ValueType > const &parameterSpace)storm::modelchecker::RegionRefinementCheckResult< ValueType >
RegionRefinementCheckResult(std::vector< std::pair< storm::storage::ParameterRegion< ValueType >, storm::modelchecker::RegionResult > > &&regionResults, storm::storage::ParameterRegion< ValueType > &&parameterSpace)storm::modelchecker::RegionRefinementCheckResult< ValueType >
regionResultsstorm::modelchecker::RegionCheckResult< ValueType >protected
satFractionstorm::modelchecker::RegionCheckResult< ValueType >protected
unsatFractionstorm::modelchecker::RegionCheckResult< ValueType >protected
writeCondensedToStream(std::ostream &out) conststorm::modelchecker::RegionCheckResult< ValueType >virtual
writeIllustrationToStream(std::ostream &out) const overridestorm::modelchecker::RegionRefinementCheckResult< ValueType >virtual
writeToStream(std::ostream &out) const overridestorm::modelchecker::RegionCheckResult< ValueType >virtual
~CheckResult()=defaultstorm::modelchecker::CheckResultvirtual
~RegionCheckResult()=defaultstorm::modelchecker::RegionCheckResult< ValueType >virtual
~RegionRefinementCheckResult()=defaultstorm::modelchecker::RegionRefinementCheckResult< ValueType >virtual