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 =0 | storm::modelchecker::QuantitativeCheckResult< ValueType > | pure virtual |
clone() const =0 | storm::modelchecker::CheckResult | pure virtual |
compareAgainstBound(storm::logic::ComparisonType comparisonType, ValueType const &bound) const | storm::modelchecker::QuantitativeCheckResult< ValueType > | virtual |
filter(QualitativeCheckResult const &filter)=0 | storm::modelchecker::CheckResult | pure virtual |
getMax() const =0 | storm::modelchecker::QuantitativeCheckResult< ValueType > | pure virtual |
getMin() const =0 | storm::modelchecker::QuantitativeCheckResult< ValueType > | pure virtual |
hasScheduler() const | storm::modelchecker::CheckResult | virtual |
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 override | storm::modelchecker::QuantitativeCheckResult< 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 |
oneMinus()=0 | storm::modelchecker::QuantitativeCheckResult< ValueType > | pure virtual |
sum() const =0 | storm::modelchecker::QuantitativeCheckResult< ValueType > | pure virtual |
writeToStream(std::ostream &out) const =0 | storm::modelchecker::CheckResult | pure virtual |
~CheckResult()=default | storm::modelchecker::CheckResult | virtual |
~QuantitativeCheckResult()=default | storm::modelchecker::QuantitativeCheckResult< ValueType > | virtual |