From b73b0b2a758afb84349c55317a830b33afe5adfb Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 26 Jul 2021 17:13:40 +0200
Subject: [PATCH] removed unused code and added method desc
---
src/storm/shields/AbstractShield.cpp | 5 -----
src/storm/shields/AbstractShield.h | 10 +---------
2 files changed, 1 insertion(+), 14 deletions(-)
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<typename ValueType, typename IndexType>
- bool AbstractShield<ValueType, IndexType>::allowedValue(ValueType const& max, ValueType const& v, std::shared_ptr<storm::logic::ShieldExpression const> const shieldExpression) {
- return shieldExpression->isRelative() ? v >= shieldExpression->getValue() * max : v >= shieldExpression->getValue();
- }
-
template<typename ValueType, typename IndexType>
storm::OptimizationDirection AbstractShield<ValueType, IndexType>::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<IndexType> computeRowGroupSizes();
- /*!
- * TODO
- */
- bool allowedValue(ValueType const& max, ValueType const& v, std::shared_ptr<storm::logic::ShieldExpression const> const shieldExpression);
-
storm::OptimizationDirection getOptimizationDirection();
- /*!
- * TODO
- */
std::string getClassName() const;
protected: