diff --git a/src/storm/shields/AbstractShield.cpp b/src/storm/shields/AbstractShield.cpp index 8cbe3e7b1..779f3b894 100644 --- a/src/storm/shields/AbstractShield.cpp +++ b/src/storm/shields/AbstractShield.cpp @@ -24,11 +24,6 @@ namespace tempest { return rowGroupSizes; } - template - bool AbstractShield::allowedValue(ValueType const& max, ValueType const& v, std::shared_ptr const shieldExpression) { - return shieldExpression->isRelative() ? v >= shieldExpression->getValue() * max : v >= shieldExpression->getValue(); - } - template storm::OptimizationDirection AbstractShield::getOptimizationDirection() { return optimizationDirection; diff --git a/src/storm/shields/AbstractShield.h b/src/storm/shields/AbstractShield.h index 8c469eede..d93da4407 100644 --- a/src/storm/shields/AbstractShield.h +++ b/src/storm/shields/AbstractShield.h @@ -38,20 +38,12 @@ namespace tempest { virtual ~AbstractShield() = 0; /*! - * TODO + * Computes the sizes of the row groups based on the indices given. */ std::vector computeRowGroupSizes(); - /*! - * TODO - */ - bool allowedValue(ValueType const& max, ValueType const& v, std::shared_ptr const shieldExpression); - storm::OptimizationDirection getOptimizationDirection(); - /*! - * TODO - */ std::string getClassName() const; protected: