From f77293de786ae0a3f0880519b27943259c00c57f Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 26 Jul 2021 16:38:26 +0200
Subject: [PATCH] added comments for CheckTask methods

---
 src/storm/modelchecker/CheckTask.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm/modelchecker/CheckTask.h b/src/storm/modelchecker/CheckTask.h
index 4203fc285..b42e8c3f8 100644
--- a/src/storm/modelchecker/CheckTask.h
+++ b/src/storm/modelchecker/CheckTask.h
@@ -190,21 +190,21 @@ namespace storm {
             }
 
             /*
-             * TODO
+             * Returns whether this is a task for which a shield should be produced.
              */
             bool isShieldingTask() const {
                 return static_cast<bool>(shieldingExpression);
             }
 
             /*
-             * TODO
+             * Retrieves the associated shielding expression.
              */
             std::shared_ptr<storm::logic::ShieldExpression const> getShieldingExpression() const {
                 return shieldingExpression.get();
             }
 
             /*
-             * TODO
+             * Sets the shielding expression for this check task.
              */
             CheckTask<FormulaType, ValueType>& setShieldingExpression(std::shared_ptr<storm::logic::ShieldExpression const> const& shieldingExpression) {
                 this->shieldingExpression = shieldingExpression;