Merge branch 'main' into several-visualization-features

moves-rwth · Feb 19, 2025 · 33bf3cd · 33bf3cd
2 parents 772259c + 45a19cc
commit 33bf3cd
Show file tree

Hide file tree

Showing 19 changed files with 390 additions and 2,697 deletions.
diff --git a/docs/getting_started/04_mdp.ipynb b/docs/getting_started/04_mdp.ipynb
@@ -25,7 +25,7 @@
         {
           "data": {
             "text/plain": [
-              "<stormpy.storage.storage.PrismProgram at 0x750cd81a2d70>"
+              "<stormpy.storage.storage.PrismProgram at 0x7f7ad4385270>"
             ]
           },
           "execution_count": 2,
@@ -162,7 +162,7 @@
             "Choice Labels: \tnone\n",
             "-------------------------------------------------------------- \n",
             "\n",
-            "['__class__', '__delattr__', '__dir__', '__doc__', '__eq__', '__format__', '__ge__', '__getattribute__', '__getstate__', '__gt__', '__hash__', '__init__', '__init_subclass__', '__le__', '__lt__', '__module__', '__ne__', '__new__', '__reduce__', '__reduce_ex__', '__repr__', '__setattr__', '__sizeof__', '__str__', '__subclasshook__', '_as_sparse_ctmc', '_as_sparse_dtmc', '_as_sparse_exact_dtmc', '_as_sparse_exact_mdp', '_as_sparse_imdp', '_as_sparse_ma', '_as_sparse_mdp', '_as_sparse_pctmc', '_as_sparse_pdtmc', '_as_sparse_pma', '_as_sparse_pmdp', '_as_sparse_pomdp', '_as_sparse_ppomdp', '_as_sparse_smg', '_as_symbolic_ctmc', '_as_symbolic_dtmc', '_as_symbolic_ma', '_as_symbolic_mdp', '_as_symbolic_pctmc', '_as_symbolic_pdtmc', '_as_symbolic_pma', '_as_symbolic_pmdp', 'add_reward_model', 'apply_scheduler', 'backward_transition_matrix', 'choice_labeling', 'choice_origins', 'get_choice_index', 'get_nr_available_actions', 'get_reward_model', 'has_choice_labeling', 'has_choice_origins', 'has_parameters', 'has_reward_model', 'has_state_valuations', 'initial_states', 'initial_states_as_bitvector', 'is_discrete_time_model', 'is_exact', 'is_nondeterministic_model', 'is_partially_observable', 'is_sink_state', 'is_sparse_model', 'is_symbolic_model', 'labeling', 'labels_state', 'model_type', 'nondeterministic_choice_indices', 'nr_choices', 'nr_states', 'nr_transitions', 'reduce_to_state_based_rewards', 'reward_models', 'set_initial_states', 'state_valuations', 'states', 'supports_parameters', 'supports_uncertainty', 'to_dot', 'transition_matrix']\n"
+            "['__class__', '__delattr__', '__dir__', '__doc__', '__eq__', '__format__', '__ge__', '__getattribute__', '__getstate__', '__gt__', '__hash__', '__init__', '__init_subclass__', '__le__', '__lt__', '__module__', '__ne__', '__new__', '__reduce__', '__reduce_ex__', '__repr__', '__setattr__', '__sizeof__', '__str__', '__subclasshook__', '_as_sparse_ctmc', '_as_sparse_dtmc', '_as_sparse_exact_dtmc', '_as_sparse_exact_mdp', '_as_sparse_imdp', '_as_sparse_ma', '_as_sparse_mdp', '_as_sparse_pctmc', '_as_sparse_pdtmc', '_as_sparse_pma', '_as_sparse_pmdp', '_as_sparse_pomdp', '_as_sparse_ppomdp', '_as_symbolic_ctmc', '_as_symbolic_dtmc', '_as_symbolic_ma', '_as_symbolic_mdp', '_as_symbolic_pctmc', '_as_symbolic_pdtmc', '_as_symbolic_pma', '_as_symbolic_pmdp', 'add_reward_model', 'apply_scheduler', 'backward_transition_matrix', 'choice_labeling', 'choice_origins', 'get_choice_index', 'get_nr_available_actions', 'get_reward_model', 'has_choice_labeling', 'has_choice_origins', 'has_parameters', 'has_reward_model', 'has_state_valuations', 'initial_states', 'initial_states_as_bitvector', 'is_discrete_time_model', 'is_exact', 'is_nondeterministic_model', 'is_partially_observable', 'is_sink_state', 'is_sparse_model', 'is_symbolic_model', 'labeling', 'labels_state', 'model_type', 'nondeterministic_choice_indices', 'nr_choices', 'nr_states', 'nr_transitions', 'reduce_to_state_based_rewards', 'reward_models', 'set_initial_states', 'state_valuations', 'states', 'supports_parameters', 'supports_uncertainty', 'to_dot', 'transition_matrix']\n"
           ]
         }
       ],
@@ -282,7 +282,7 @@
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "3f654d1cb30b46d7aa36c6dfdce6e6cb",
+              "model_id": "da5d1ffd4d864e61818cad4ba5aa84e2",
               "version_major": 2,
               "version_minor": 0
             },
@@ -318,7 +318,7 @@
         {
           "data": {
             "application/javascript": [
-              "return_id_result('http://127.0.0.1:8889', 'TztzdYqYbmeZykfstESe', 'test message')"
+              "return_id_result('http://127.0.0.1:8892', 'MRUCAmayGSiiBVtFKZLo', 'test message')"
             ],
             "text/plain": [
               "<IPython.core.display.Javascript object>"
@@ -330,7 +330,7 @@
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "3f441d3fc7764792a27da29124d9fd0a",
+              "model_id": "3d1ee93242b0442ab576e078585fbae1",
               "version_major": 2,
               "version_minor": 0
             },
@@ -344,7 +344,7 @@
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "6c21f529dfe546cf9d1b6c7c74a222b3",
+              "model_id": "78d3ba8f89064fcd98b5eb5b9eb666ef",
               "version_major": 2,
               "version_minor": 0
             },