From 18f0c3d125fb20e4af2c3f7c7c5b83b28d0ddf0a Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 13 May 2019 14:18:44 +0200
Subject: [PATCH] MemoryIncorporation: improved documentation.

---
 src/storm/transformer/MemoryIncorporation.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm/transformer/MemoryIncorporation.h b/src/storm/transformer/MemoryIncorporation.h
index 37e9c8158..59ea28972 100644
--- a/src/storm/transformer/MemoryIncorporation.h
+++ b/src/storm/transformer/MemoryIncorporation.h
@@ -25,7 +25,8 @@ namespace storm {
         public:
             
             /*!
-             * Incorporates memory that stores whether a 'goal' state has already been reached.
+             * Incorporates memory that stores whether a 'goal' state has already been reached. This supports operatorformulas whose subformula is
+             * a (bounded-) until formula, eventually formula, or a globally formula. Total reward formulas and cumulative reward formulas will be ignored.
              */
             static std::shared_ptr<SparseModelType> incorporateGoalMemory(SparseModelType const& model, std::vector<std::shared_ptr<storm::logic::Formula const>> const& formulas);