From 11776a822a96caba94ba3161bd4e3cffacbad659 Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Tue, 18 Sep 2018 12:51:39 +0200
Subject: [PATCH] Add documentation

---
 src/storm-pars/analysis/AssumptionChecker.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/storm-pars/analysis/AssumptionChecker.h b/src/storm-pars/analysis/AssumptionChecker.h
index e336f97f3..8d434e561 100644
--- a/src/storm-pars/analysis/AssumptionChecker.h
+++ b/src/storm-pars/analysis/AssumptionChecker.h
@@ -42,7 +42,14 @@ namespace storm {
              */
             bool validateAssumption(std::shared_ptr<storm::expressions::BinaryRelationExpression> assumption, storm::analysis::Lattice* lattice);
 
+            /*!
+             * Looks up if assumption has been validated and holds.
+             *
+             * @param assumption The assumption.
+             * @return true if the assumption has been validated and holds, false otherwise
+             */
             bool validated(std::shared_ptr<storm::expressions::BinaryRelationExpression> assumption);
+            
         private:
             std::shared_ptr<storm::logic::Formula const> formula;