diff --git a/src/storm/logic/ShieldExpression.cpp b/src/storm/logic/ShieldExpression.cpp index fd09b28fd..d17cc85de 100644 --- a/src/storm/logic/ShieldExpression.cpp +++ b/src/storm/logic/ShieldExpression.cpp @@ -22,7 +22,7 @@ namespace storm { return type == storm::logic::ShieldingType::PostSafety; } - bool ShieldExpression::isOptiomalShield() const { + bool ShieldExpression::isOptimalShield() const { return type == storm::logic::ShieldingType::Optimal; } diff --git a/src/storm/logic/ShieldExpression.h b/src/storm/logic/ShieldExpression.h index eb76740c8..5a7a0cd45 100644 --- a/src/storm/logic/ShieldExpression.h +++ b/src/storm/logic/ShieldExpression.h @@ -22,7 +22,7 @@ namespace storm { bool isRelative() const; bool isPreSafetyShield() const; bool isPostSafetyShield() const; - bool isOptiomalShield() const; + bool isOptimalShield() const; double getValue() const;