From 6f64af5acfd380111ef12eb32cb6b8884398dd66 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Tue, 7 Nov 2017 11:09:12 +0100 Subject: [PATCH] some minor changes to the documentation tree --- doc/source/advanced_topics.rst | 13 +++++++++++++ doc/source/building_models.rst | 5 +++++ doc/source/index.rst | 2 +- doc/source/reward_models.rst | 7 +++++++ 4 files changed, 26 insertions(+), 1 deletion(-) create mode 100644 doc/source/advanced_topics.rst create mode 100644 doc/source/building_models.rst create mode 100644 doc/source/reward_models.rst diff --git a/doc/source/advanced_topics.rst b/doc/source/advanced_topics.rst new file mode 100644 index 0000000..124c702 --- /dev/null +++ b/doc/source/advanced_topics.rst @@ -0,0 +1,13 @@ +***************** +Advanced Examples +***************** + +This guide is a collection of examples meant to bridge the gap between the getting started guide and the API. + +.. toctree:: + :maxdepth: 2 + :caption: Contents: + + building_models + reward_models + shortest_paths \ No newline at end of file diff --git a/doc/source/building_models.rst b/doc/source/building_models.rst new file mode 100644 index 0000000..991b2d9 --- /dev/null +++ b/doc/source/building_models.rst @@ -0,0 +1,5 @@ +*************** +Building Models +*************** + + diff --git a/doc/source/index.rst b/doc/source/index.rst index 23474df..76040e8 100644 --- a/doc/source/index.rst +++ b/doc/source/index.rst @@ -16,7 +16,7 @@ Stormpy is a set of python bindings for the probabilistic model checker `Storm < installation getting_started - shortest_paths + advanced_topics contributors diff --git a/doc/source/reward_models.rst b/doc/source/reward_models.rst new file mode 100644 index 0000000..2bf2619 --- /dev/null +++ b/doc/source/reward_models.rst @@ -0,0 +1,7 @@ +************** +Reward Models +************** + +Exploring reward models +------------------------ +