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(shieldingExpression); } /* - * TODO + * Retrieves the associated shielding expression. */ std::shared_ptr getShieldingExpression() const { return shieldingExpression.get(); } /* - * TODO + * Sets the shielding expression for this check task. */ CheckTask& setShieldingExpression(std::shared_ptr const& shieldingExpression) { this->shieldingExpression = shieldingExpression;