From 57dd8c363bab8151295fec016e229a3397d5ce5f Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Tue, 14 Apr 2020 22:22:06 -0700
Subject: [PATCH] add application of the scheduler

---
 examples/schedulers/01-schedulers.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/examples/schedulers/01-schedulers.py b/examples/schedulers/01-schedulers.py
index 3cc40bc..a7d7310 100644
--- a/examples/schedulers/01-schedulers.py
+++ b/examples/schedulers/01-schedulers.py
@@ -26,6 +26,10 @@ def example_schedulers_01():
         action = choice.get_deterministic_choice()
         print("In state {} choose action {}".format(state, action))
 
+    dtmc = model.apply_scheduler(scheduler)
+    print(dtmc)
+
+
 
 if __name__ == '__main__':
     example_schedulers_01()