Skip to content

Commit

Permalink
deploy: 32e1b54
Browse files Browse the repository at this point in the history
  • Loading branch information
@volkm
volkm committed Nov 25, 2024
1 parent 75e9eb5 commit 90454dc
Show file tree
Hide file tree
Showing 26 changed files with 532 additions and 532 deletions.
4 changes: 2 additions & 2 deletions api/core.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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">0x7fa6c8e5da30&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">0x7f9bca4457b0&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">
Expand Down Expand Up @@ -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">0x7fa6c83923f0&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">0x7f9bca3ce8b0&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>

Expand Down
4 changes: 2 additions & 2 deletions api/dft.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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">0x7fa6bd1272b0&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">0x7f9bbea01d70&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>

Expand Down Expand Up @@ -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">0x7fa6bd9e4d30&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">0x7f9bbe857a30&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>

Expand Down
4 changes: 2 additions & 2 deletions api/storage.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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">0x7fa6c8e5da30&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">0x7f9bca4457b0&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">
Expand Down Expand Up @@ -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">0x7fa6c83923f0&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">0x7f9bca3ce8b0&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>

Expand Down
48 changes: 24 additions & 24 deletions doc/analysis.ipynb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,10 +23,10 @@
"execution_count": 1,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:16.819249Z",
"iopub.status.busy": "2024-11-25T10:51:16.819083Z",
"iopub.status.idle": "2024-11-25T10:51:16.859161Z",
"shell.execute_reply": "2024-11-25T10:51:16.858614Z"
"iopub.execute_input": "2024-11-25T21:31:32.323792Z",
"iopub.status.busy": "2024-11-25T21:31:32.323617Z",
"iopub.status.idle": "2024-11-25T21:31:32.365709Z",
"shell.execute_reply": "2024-11-25T21:31:32.365125Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -65,10 +65,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:16.861123Z",
"iopub.status.busy": "2024-11-25T10:51:16.860940Z",
"iopub.status.idle": "2024-11-25T10:51:17.062629Z",
"shell.execute_reply": "2024-11-25T10:51:17.062110Z"
"iopub.execute_input": "2024-11-25T21:31:32.367752Z",
"iopub.status.busy": "2024-11-25T21:31:32.367571Z",
"iopub.status.idle": "2024-11-25T21:31:32.575831Z",
"shell.execute_reply": "2024-11-25T21:31:32.575310Z"
},
"hide-output": false
},
Expand All @@ -90,10 +90,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:17.064395Z",
"iopub.status.busy": "2024-11-25T10:51:17.064168Z",
"iopub.status.idle": "2024-11-25T10:51:17.067667Z",
"shell.execute_reply": "2024-11-25T10:51:17.067214Z"
"iopub.execute_input": "2024-11-25T21:31:32.577534Z",
"iopub.status.busy": "2024-11-25T21:31:32.577307Z",
"iopub.status.idle": "2024-11-25T21:31:32.580909Z",
"shell.execute_reply": "2024-11-25T21:31:32.580442Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -130,10 +130,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:17.069449Z",
"iopub.status.busy": "2024-11-25T10:51:17.069232Z",
"iopub.status.idle": "2024-11-25T10:51:17.143083Z",
"shell.execute_reply": "2024-11-25T10:51:17.142648Z"
"iopub.execute_input": "2024-11-25T21:31:32.582635Z",
"iopub.status.busy": "2024-11-25T21:31:32.582456Z",
"iopub.status.idle": "2024-11-25T21:31:32.648006Z",
"shell.execute_reply": "2024-11-25T21:31:32.647559Z"
},
"hide-output": false
},
Expand All @@ -155,10 +155,10 @@
"execution_count": 5,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:17.144880Z",
"iopub.status.busy": "2024-11-25T10:51:17.144559Z",
"iopub.status.idle": "2024-11-25T10:51:17.147589Z",
"shell.execute_reply": "2024-11-25T10:51:17.147138Z"
"iopub.execute_input": "2024-11-25T21:31:32.649628Z",
"iopub.status.busy": "2024-11-25T21:31:32.649381Z",
"iopub.status.idle": "2024-11-25T21:31:32.652245Z",
"shell.execute_reply": "2024-11-25T21:31:32.651871Z"
},
"hide-output": false
},
Expand All @@ -183,10 +183,10 @@
"execution_count": 6,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:17.149101Z",
"iopub.status.busy": "2024-11-25T10:51:17.148800Z",
"iopub.status.idle": "2024-11-25T10:51:17.151313Z",
"shell.execute_reply": "2024-11-25T10:51:17.150931Z"
"iopub.execute_input": "2024-11-25T21:31:32.653818Z",
"iopub.status.busy": "2024-11-25T21:31:32.653525Z",
"iopub.status.idle": "2024-11-25T21:31:32.656008Z",
"shell.execute_reply": "2024-11-25T21:31:32.655538Z"
},
"hide-output": false
},
Expand Down
32 changes: 16 additions & 16 deletions doc/building_models.ipynb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,10 +31,10 @@
"execution_count": 1,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:18.529977Z",
"iopub.status.busy": "2024-11-25T10:51:18.529814Z",
"iopub.status.idle": "2024-11-25T10:51:18.567912Z",
"shell.execute_reply": "2024-11-25T10:51:18.567360Z"
"iopub.execute_input": "2024-11-25T21:31:34.034393Z",
"iopub.status.busy": "2024-11-25T21:31:34.034233Z",
"iopub.status.idle": "2024-11-25T21:31:34.072474Z",
"shell.execute_reply": "2024-11-25T21:31:34.071967Z"
},
"hide-output": false
},
Expand All @@ -57,10 +57,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:18.569994Z",
"iopub.status.busy": "2024-11-25T10:51:18.569678Z",
"iopub.status.idle": "2024-11-25T10:51:18.573370Z",
"shell.execute_reply": "2024-11-25T10:51:18.572853Z"
"iopub.execute_input": "2024-11-25T21:31:34.074426Z",
"iopub.status.busy": "2024-11-25T21:31:34.074019Z",
"iopub.status.idle": "2024-11-25T21:31:34.077914Z",
"shell.execute_reply": "2024-11-25T21:31:34.077395Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -92,10 +92,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:18.600152Z",
"iopub.status.busy": "2024-11-25T10:51:18.599791Z",
"iopub.status.idle": "2024-11-25T10:51:18.603727Z",
"shell.execute_reply": "2024-11-25T10:51:18.603276Z"
"iopub.execute_input": "2024-11-25T21:31:34.104938Z",
"iopub.status.busy": "2024-11-25T21:31:34.104437Z",
"iopub.status.idle": "2024-11-25T21:31:34.108701Z",
"shell.execute_reply": "2024-11-25T21:31:34.108281Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -128,10 +128,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-25T10:51:18.605213Z",
"iopub.status.busy": "2024-11-25T10:51:18.604908Z",
"iopub.status.idle": "2024-11-25T10:51:18.621934Z",
"shell.execute_reply": "2024-11-25T10:51:18.621501Z"
"iopub.execute_input": "2024-11-25T21:31:34.110201Z",
"iopub.status.busy": "2024-11-25T21:31:34.109928Z",
"iopub.status.idle": "2024-11-25T21:31:34.127226Z",
"shell.execute_reply": "2024-11-25T21:31:34.126686Z"
},
"hide-output": false
},
Expand Down
Loading

0 comments on commit 90454dc

Please sign in to comment.