deploy: 8ab4121

api/core.html

@@ -6104,7 +6104,7 @@
 
 <dl class="py method">
 <dt class="sig sig-object py" id="stormpy.JaniModel.flatten_composition">
-<span class="sig-name descname"><span class="pre">flatten_composition</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.storage.storage.JaniModel</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">smt_solver_factory:</span> <span class="pre">stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7fc85d95be70&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><a class="reference internal" href="storage.html#stormpy.storage.JaniModel" title="stormpy.storage.storage.JaniModel"><span class="pre">stormpy.storage.storage.JaniModel</span></a></span></span><a class="headerlink" href="#stormpy.JaniModel.flatten_composition" title="Link to this definition">¶</a></dt>
+<span class="sig-name descname"><span class="pre">flatten_composition</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.storage.storage.JaniModel</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">smt_solver_factory:</span> <span class="pre">stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7f5a0f4ff870&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><a class="reference internal" href="storage.html#stormpy.storage.JaniModel" title="stormpy.storage.storage.JaniModel"><span class="pre">stormpy.storage.storage.JaniModel</span></a></span></span><a class="headerlink" href="#stormpy.JaniModel.flatten_composition" title="Link to this definition">¶</a></dt>
 <dd></dd></dl>
 
 <dl class="py method">
@@ -7642,7 +7642,7 @@
 
 <dl class="py method">
 <dt class="sig sig-object py" id="stormpy.PrismProgram.flatten">
-<span class="sig-name descname"><span class="pre">flatten</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.storage.storage.PrismProgram</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">smt_factory:</span> <span class="pre">stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7fc85d92f330&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><a class="reference internal" href="storage.html#stormpy.storage.PrismProgram" title="stormpy.storage.storage.PrismProgram"><span class="pre">stormpy.storage.storage.PrismProgram</span></a></span></span><a class="headerlink" href="#stormpy.PrismProgram.flatten" title="Link to this definition">¶</a></dt>
+<span class="sig-name descname"><span class="pre">flatten</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.storage.storage.PrismProgram</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">smt_factory:</span> <span class="pre">stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7f5a0f4bde70&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><a class="reference internal" href="storage.html#stormpy.storage.PrismProgram" title="stormpy.storage.storage.PrismProgram"><span class="pre">stormpy.storage.storage.PrismProgram</span></a></span></span><a class="headerlink" href="#stormpy.PrismProgram.flatten" title="Link to this definition">¶</a></dt>
 <dd><p>Put program into a single module</p>
 </dd></dl>
 

api/dft.html

@@ -1655,7 +1655,7 @@
 
 <dl class="py method">
 <dt class="sig sig-object py" id="stormpy.dft.DFT_double.state_generation_info">
-<span class="sig-name descname"><span class="pre">state_generation_info</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.dft.dft.DFT_double</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">symmetries:</span> <span class="pre">stormpy.dft.dft.DftSymmetries</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.dft.dft.DftSymmetries</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7fc854f626f0&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><span class="pre">storm::dft::storage::DFTStateGenerationInfo</span></span></span><a class="headerlink" href="#stormpy.dft.DFT_double.state_generation_info" title="Link to this definition">¶</a></dt>
+<span class="sig-name descname"><span class="pre">state_generation_info</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.dft.dft.DFT_double</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">symmetries:</span> <span class="pre">stormpy.dft.dft.DftSymmetries</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.dft.dft.DftSymmetries</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7f5a07ddf270&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><span class="pre">storm::dft::storage::DFTStateGenerationInfo</span></span></span><a class="headerlink" href="#stormpy.dft.DFT_double.state_generation_info" title="Link to this definition">¶</a></dt>
 <dd><p>Build state generation information</p>
 </dd></dl>
 
@@ -1731,7 +1731,7 @@
 
 <dl class="py method">
 <dt class="sig sig-object py" id="stormpy.dft.DFT_ratfunc.state_generation_info">
-<span class="sig-name descname"><span class="pre">state_generation_info</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.dft.dft.DFT_ratfunc</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">symmetries:</span> <span class="pre">stormpy.dft.dft.DftSymmetries</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.dft.dft.DftSymmetries</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7fc85587e330&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><span class="pre">storm::dft::storage::DFTStateGenerationInfo</span></span></span><a class="headerlink" href="#stormpy.dft.DFT_ratfunc.state_generation_info" title="Link to this definition">¶</a></dt>
+<span class="sig-name descname"><span class="pre">state_generation_info</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.dft.dft.DFT_ratfunc</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">symmetries:</span> <span class="pre">stormpy.dft.dft.DftSymmetries</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.dft.dft.DftSymmetries</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7f5a081d23b0&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><span class="pre">storm::dft::storage::DFTStateGenerationInfo</span></span></span><a class="headerlink" href="#stormpy.dft.DFT_ratfunc.state_generation_info" title="Link to this definition">¶</a></dt>
 <dd><p>Build state generation information</p>
 </dd></dl>
 

api/info.html

@@ -841,7 +841,7 @@
 <dd><p>Version information for Storm</p>
 <dl class="py attribute">
 <dt class="sig sig-object py" id="stormpy.info.Version.build_info">
-<span class="sig-name descname"><span class="pre">build_info</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">&quot;Compiled</span> <span class="pre">on</span> <span class="pre">Linux</span> <span class="pre">6.2.0-1018-azure</span> <span class="pre">using</span> <span class="pre">gcc</span> <span class="pre">11.4.0</span> <span class="pre">with</span> <span class="pre">flags</span> <span class="pre">'</span> <span class="pre">-O3</span> <span class="pre">-DNDEBUG</span> <span class="pre">-fprefetch-loop-arrays</span> <span class="pre">-flto</span> <span class="pre">-flto-partition=none</span> <span class="pre">-fomit-frame-pointer'&quot;</span></em><a class="headerlink" href="#stormpy.info.Version.build_info" title="Link to this definition">¶</a></dt>
+<span class="sig-name descname"><span class="pre">build_info</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">&quot;Compiled</span> <span class="pre">on</span> <span class="pre">Linux</span> <span class="pre">6.2.0-1019-azure</span> <span class="pre">using</span> <span class="pre">gcc</span> <span class="pre">11.4.0</span> <span class="pre">with</span> <span class="pre">flags</span> <span class="pre">'</span> <span class="pre">-O3</span> <span class="pre">-DNDEBUG</span> <span class="pre">-fprefetch-loop-arrays</span> <span class="pre">-flto</span> <span class="pre">-flto-partition=none</span> <span class="pre">-fomit-frame-pointer'&quot;</span></em><a class="headerlink" href="#stormpy.info.Version.build_info" title="Link to this definition">¶</a></dt>
 <dd></dd></dl>
 
 <dl class="py attribute">

api/storage.html

@@ -4150,7 +4150,7 @@
 
 <dl class="py method">
 <dt class="sig sig-object py" id="stormpy.storage.JaniModel.flatten_composition">
-<span class="sig-name descname"><span class="pre">flatten_composition</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.storage.storage.JaniModel</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">smt_solver_factory:</span> <span class="pre">stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7fc85d95be70&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><a class="reference internal" href="#stormpy.storage.JaniModel" title="stormpy.storage.storage.JaniModel"><span class="pre">stormpy.storage.storage.JaniModel</span></a></span></span><a class="headerlink" href="#stormpy.storage.JaniModel.flatten_composition" title="Link to this definition">¶</a></dt>
+<span class="sig-name descname"><span class="pre">flatten_composition</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.storage.storage.JaniModel</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">smt_solver_factory:</span> <span class="pre">stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7f5a0f4ff870&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><a class="reference internal" href="#stormpy.storage.JaniModel" title="stormpy.storage.storage.JaniModel"><span class="pre">stormpy.storage.storage.JaniModel</span></a></span></span><a class="headerlink" href="#stormpy.storage.JaniModel.flatten_composition" title="Link to this definition">¶</a></dt>
 <dd></dd></dl>
 
 <dl class="py method">
@@ -5177,7 +5177,7 @@
 
 <dl class="py method">
 <dt class="sig sig-object py" id="stormpy.storage.PrismProgram.flatten">
-<span class="sig-name descname"><span class="pre">flatten</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.storage.storage.PrismProgram</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">smt_factory:</span> <span class="pre">stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7fc85d92f330&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><a class="reference internal" href="#stormpy.storage.PrismProgram" title="stormpy.storage.storage.PrismProgram"><span class="pre">stormpy.storage.storage.PrismProgram</span></a></span></span><a class="headerlink" href="#stormpy.storage.PrismProgram.flatten" title="Link to this definition">¶</a></dt>
+<span class="sig-name descname"><span class="pre">flatten</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self:</span> <span class="pre">stormpy.storage.storage.PrismProgram</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">smt_factory:</span> <span class="pre">stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">=</span> <span class="pre">&lt;stormpy.utility.utility.SmtSolverFactory</span> <span class="pre">object</span> <span class="pre">at</span> <span class="pre">0x7f5a0f4bde70&gt;</span></span></em><span class="sig-paren">)</span> <span class="sig-return"><span class="sig-return-icon">&#x2192;</span> <span class="sig-return-typehint"><a class="reference internal" href="#stormpy.storage.PrismProgram" title="stormpy.storage.storage.PrismProgram"><span class="pre">stormpy.storage.storage.PrismProgram</span></a></span></span><a class="headerlink" href="#stormpy.storage.PrismProgram.flatten" title="Link to this definition">¶</a></dt>
 <dd><p>Put program into a single module</p>
 </dd></dl>
 

doc/analysis.ipynb

@@ -23,10 +23,10 @@
    "execution_count": 1,
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-01-31T10:25:40.828737Z",
-     "iopub.status.busy": "2024-01-31T10:25:40.828185Z",
-     "iopub.status.idle": "2024-01-31T10:25:40.875062Z",
-     "shell.execute_reply": "2024-01-31T10:25:40.874472Z"
+     "iopub.execute_input": "2024-02-07T10:25:27.941266Z",
+     "iopub.status.busy": "2024-02-07T10:25:27.940762Z",
+     "iopub.status.idle": "2024-02-07T10:25:27.987676Z",
+     "shell.execute_reply": "2024-02-07T10:25:27.987074Z"
     },
     "hide-output": false
    },
@@ -64,10 +64,10 @@
    "execution_count": 2,
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-01-31T10:25:40.878214Z",
-     "iopub.status.busy": "2024-01-31T10:25:40.877578Z",
-     "iopub.status.idle": "2024-01-31T10:25:41.088721Z",
-     "shell.execute_reply": "2024-01-31T10:25:41.088031Z"
+     "iopub.execute_input": "2024-02-07T10:25:27.990471Z",
+     "iopub.status.busy": "2024-02-07T10:25:27.990004Z",
+     "iopub.status.idle": "2024-02-07T10:25:28.199929Z",
+     "shell.execute_reply": "2024-02-07T10:25:28.199255Z"
     },
     "hide-output": false
    },
@@ -89,10 +89,10 @@
    "execution_count": 3,
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-01-31T10:25:41.091535Z",
-     "iopub.status.busy": "2024-01-31T10:25:41.091275Z",
-     "iopub.status.idle": "2024-01-31T10:25:41.096010Z",
-     "shell.execute_reply": "2024-01-31T10:25:41.095419Z"
+     "iopub.execute_input": "2024-02-07T10:25:28.202860Z",
+     "iopub.status.busy": "2024-02-07T10:25:28.202575Z",
+     "iopub.status.idle": "2024-02-07T10:25:28.211405Z",
+     "shell.execute_reply": "2024-02-07T10:25:28.210886Z"
     },
     "hide-output": false
    },
@@ -129,10 +129,10 @@
    "execution_count": 4,
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-01-31T10:25:41.098654Z",
-     "iopub.status.busy": "2024-01-31T10:25:41.098445Z",
-     "iopub.status.idle": "2024-01-31T10:25:41.148189Z",
-     "shell.execute_reply": "2024-01-31T10:25:41.147490Z"
+     "iopub.execute_input": "2024-02-07T10:25:28.213810Z",
+     "iopub.status.busy": "2024-02-07T10:25:28.213553Z",
+     "iopub.status.idle": "2024-02-07T10:25:28.285785Z",
+     "shell.execute_reply": "2024-02-07T10:25:28.285160Z"
     },
     "hide-output": false
    },
@@ -154,10 +154,10 @@
    "execution_count": 5,
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-01-31T10:25:41.150632Z",
-     "iopub.status.busy": "2024-01-31T10:25:41.150278Z",
-     "iopub.status.idle": "2024-01-31T10:25:41.153566Z",
-     "shell.execute_reply": "2024-01-31T10:25:41.153088Z"
+     "iopub.execute_input": "2024-02-07T10:25:28.288086Z",
+     "iopub.status.busy": "2024-02-07T10:25:28.287721Z",
+     "iopub.status.idle": "2024-02-07T10:25:28.291158Z",
+     "shell.execute_reply": "2024-02-07T10:25:28.290650Z"
     },
     "hide-output": false
    },
@@ -182,10 +182,10 @@
    "execution_count": 6,
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-01-31T10:25:41.155813Z",
-     "iopub.status.busy": "2024-01-31T10:25:41.155453Z",
-     "iopub.status.idle": "2024-01-31T10:25:41.158232Z",
-     "shell.execute_reply": "2024-01-31T10:25:41.157764Z"
+     "iopub.execute_input": "2024-02-07T10:25:28.293374Z",
+     "iopub.status.busy": "2024-02-07T10:25:28.293050Z",
+     "iopub.status.idle": "2024-02-07T10:25:28.296027Z",
+     "shell.execute_reply": "2024-02-07T10:25:28.295463Z"
     },
     "hide-output": false
    },