From e31c3bfb17c3af37c85361c16e427dfaf3cb336a Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 17 Nov 2013 18:29:13 +0100
Subject: [PATCH] Added an important comment.

Former-commit-id: 79d8280d83ce027ad7d8d9457361d558a63fd96b
---
 src/storage/Scheduler.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storage/Scheduler.h b/src/storage/Scheduler.h
index 9ea87bbdf..d9363c8fb 100644
--- a/src/storage/Scheduler.h
+++ b/src/storage/Scheduler.h
@@ -8,6 +8,7 @@ namespace storm {
         
         /*
          * This class is the abstract base class of all scheduler classes. Scheduler classes define which action is chosen in a particular state of a non-deterministic model.
+         * More concretely, a scheduler maps a state s to i if the scheduler takes the i-th action available in s (i.e. the choices are relative to the states).
          */
         class Scheduler {
         public: