deploy: 277ca2f

api/core.html

@@ -6197,7 +6197,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">0x7f04b7896870&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">0x7ff2a569ac30&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">
@@ -7741,7 +7741,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">0x7f04b6c2ccb0&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">0x7ff2a4b599f0&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

@@ -1714,7 +1714,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">0x7f04ab9dcd70&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">0x7ff29a19a1b0&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>
 
@@ -1790,7 +1790,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">0x7f04abbb5cb0&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">0x7ff29a8b2e70&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

@@ -850,7 +850,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.5.0-1025-azure</span> <span class="pre">using</span> <span class="pre">gcc</span> <span class="pre">13.2.0</span> <span class="pre">with</span> <span class="pre">flags</span> <span class="pre">'</span> <span class="pre">-DBOOST_PHOENIX_STL_TUPLE_H_</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.8.0-1014-azure</span> <span class="pre">using</span> <span class="pre">gcc</span> <span class="pre">13.2.0</span> <span class="pre">with</span> <span class="pre">flags</span> <span class="pre">'</span> <span class="pre">-DBOOST_PHOENIX_STL_TUPLE_H_</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">
@@ -860,7 +860,7 @@
 
 <dl class="py attribute">
 <dt class="sig sig-object py" id="stormpy.info.Version.long">
-<span class="sig-name descname"><span class="pre">long</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">'Version</span> <span class="pre">1.9.1</span> <span class="pre">(dev)</span> <span class="pre">(derived</span> <span class="pre">statically)</span> <span class="pre">(+</span> <span class="pre">25</span> <span class="pre">commits)</span> <span class="pre">build</span> <span class="pre">from</span> <span class="pre">revision</span> <span class="pre">GITDIR-NOTFOUND</span> <span class="pre">(potentially</span> <span class="pre">dirty)'</span></em><a class="headerlink" href="#stormpy.info.Version.long" title="Link to this definition">¶</a></dt>
+<span class="sig-name descname"><span class="pre">long</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">'Version</span> <span class="pre">1.9.1</span> <span class="pre">(dev)</span> <span class="pre">(derived</span> <span class="pre">statically)</span> <span class="pre">(+</span> <span class="pre">26</span> <span class="pre">commits)</span> <span class="pre">build</span> <span class="pre">from</span> <span class="pre">revision</span> <span class="pre">GITDIR-NOTFOUND</span> <span class="pre">(potentially</span> <span class="pre">dirty)'</span></em><a class="headerlink" href="#stormpy.info.Version.long" title="Link to this definition">¶</a></dt>
 <dd></dd></dl>
 
 <dl class="py attribute">

api/storage.html

@@ -4223,7 +4223,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">0x7f04b7896870&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">0x7ff2a569ac30&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">
@@ -5256,7 +5256,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">0x7f04b6c2ccb0&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">0x7ff2a4b599f0&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-09-18T10:38:38.011238Z",
- "iopub.status.busy": "2024-09-18T10:38:38.011035Z",
- "iopub.status.idle": "2024-09-18T10:38:38.050621Z",
- "shell.execute_reply": "2024-09-18T10:38:38.050183Z"
+ "iopub.execute_input": "2024-09-25T10:38:27.091619Z",
+ "iopub.status.busy": "2024-09-25T10:38:27.091448Z",
+ "iopub.status.idle": "2024-09-25T10:38:27.131207Z",
+ "shell.execute_reply": "2024-09-25T10:38:27.130739Z"
  },
  "hide-output": false
  },
@@ -64,10 +64,10 @@
  "execution_count": 2,
  "metadata": {
  "execution": {
- "iopub.execute_input": "2024-09-18T10:38:38.052453Z",
- "iopub.status.busy": "2024-09-18T10:38:38.052279Z",
- "iopub.status.idle": "2024-09-18T10:38:38.255170Z",
- "shell.execute_reply": "2024-09-18T10:38:38.254672Z"
+ "iopub.execute_input": "2024-09-25T10:38:27.133043Z",
+ "iopub.status.busy": "2024-09-25T10:38:27.132866Z",
+ "iopub.status.idle": "2024-09-25T10:38:27.335392Z",
+ "shell.execute_reply": "2024-09-25T10:38:27.334865Z"
  },
  "hide-output": false
  },
@@ -89,10 +89,10 @@
  "execution_count": 3,
  "metadata": {
  "execution": {
- "iopub.execute_input": "2024-09-18T10:38:38.256903Z",
- "iopub.status.busy": "2024-09-18T10:38:38.256680Z",
- "iopub.status.idle": "2024-09-18T10:38:38.260423Z",
- "shell.execute_reply": "2024-09-18T10:38:38.259949Z"
+ "iopub.execute_input": "2024-09-25T10:38:27.341188Z",
+ "iopub.status.busy": "2024-09-25T10:38:27.340164Z",
+ "iopub.status.idle": "2024-09-25T10:38:27.349285Z",
+ "shell.execute_reply": "2024-09-25T10:38:27.348778Z"
  },
  "hide-output": false
  },
@@ -129,10 +129,10 @@
  "execution_count": 4,
  "metadata": {
  "execution": {
- "iopub.execute_input": "2024-09-18T10:38:38.262109Z",
- "iopub.status.busy": "2024-09-18T10:38:38.261928Z",
- "iopub.status.idle": "2024-09-18T10:38:38.339405Z",
- "shell.execute_reply": "2024-09-18T10:38:38.338940Z"
+ "iopub.execute_input": "2024-09-25T10:38:27.351096Z",
+ "iopub.status.busy": "2024-09-25T10:38:27.350858Z",
+ "iopub.status.idle": "2024-09-25T10:38:27.431947Z",
+ "shell.execute_reply": "2024-09-25T10:38:27.431399Z"
  },
  "hide-output": false
  },
@@ -154,10 +154,10 @@
  "execution_count": 5,
  "metadata": {
  "execution": {
- "iopub.execute_input": "2024-09-18T10:38:38.341083Z",
- "iopub.status.busy": "2024-09-18T10:38:38.340810Z",
- "iopub.status.idle": "2024-09-18T10:38:38.343820Z",
- "shell.execute_reply": "2024-09-18T10:38:38.343338Z"
+ "iopub.execute_input": "2024-09-25T10:38:27.433777Z",
+ "iopub.status.busy": "2024-09-25T10:38:27.433452Z",
+ "iopub.status.idle": "2024-09-25T10:38:27.436440Z",
+ "shell.execute_reply": "2024-09-25T10:38:27.436035Z"
  },
  "hide-output": false
  },
@@ -182,10 +182,10 @@
  "execution_count": 6,
  "metadata": {
  "execution": {
- "iopub.execute_input": "2024-09-18T10:38:38.345434Z",
- "iopub.status.busy": "2024-09-18T10:38:38.345155Z",
- "iopub.status.idle": "2024-09-18T10:38:38.347804Z",
- "shell.execute_reply": "2024-09-18T10:38:38.347395Z"
+ "iopub.execute_input": "2024-09-25T10:38:27.437894Z",
+ "iopub.status.busy": "2024-09-25T10:38:27.437656Z",
+ "iopub.status.idle": "2024-09-25T10:38:27.440328Z",
+ "shell.execute_reply": "2024-09-25T10:38:27.439816Z"
  },
  "hide-output": false
  },