Skip to content

Commit

Permalink
deploy: 277ca2f
Browse files Browse the repository at this point in the history
  • Loading branch information
@volkm
volkm committed Aug 23, 2024
1 parent 0cdf5a9 commit 95a512a
Show file tree
Hide file tree
Showing 26 changed files with 529 additions and 529 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">0x7f9739262bb0&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">0x7fbc5b26d2f0&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">0x7f9739d74d30&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">0x7fbc5a747570&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">0x7f972dea83b0&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">0x7fbc4f5b43f0&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">0x7f972dea9430&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">0x7fbc4f5b54b0&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">0x7f9739262bb0&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">0x7fbc5b26d2f0&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">0x7f9739d74d30&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">0x7fbc5a747570&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-08-23T11:51:33.652975Z",
"iopub.status.busy": "2024-08-23T11:51:33.652654Z",
"iopub.status.idle": "2024-08-23T11:51:33.693761Z",
"shell.execute_reply": "2024-08-23T11:51:33.693194Z"
"iopub.execute_input": "2024-08-23T17:44:35.760312Z",
"iopub.status.busy": "2024-08-23T17:44:35.759922Z",
"iopub.status.idle": "2024-08-23T17:44:35.801454Z",
"shell.execute_reply": "2024-08-23T17:44:35.800924Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -64,10 +64,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2024-08-23T11:51:33.696339Z",
"iopub.status.busy": "2024-08-23T11:51:33.696007Z",
"iopub.status.idle": "2024-08-23T11:51:33.909531Z",
"shell.execute_reply": "2024-08-23T11:51:33.908969Z"
"iopub.execute_input": "2024-08-23T17:44:35.803930Z",
"iopub.status.busy": "2024-08-23T17:44:35.803580Z",
"iopub.status.idle": "2024-08-23T17:44:36.013217Z",
"shell.execute_reply": "2024-08-23T17:44:36.012680Z"
},
"hide-output": false
},
Expand All @@ -89,10 +89,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2024-08-23T11:51:33.911950Z",
"iopub.status.busy": "2024-08-23T11:51:33.911713Z",
"iopub.status.idle": "2024-08-23T11:51:33.915305Z",
"shell.execute_reply": "2024-08-23T11:51:33.914851Z"
"iopub.execute_input": "2024-08-23T17:44:36.015428Z",
"iopub.status.busy": "2024-08-23T17:44:36.015191Z",
"iopub.status.idle": "2024-08-23T17:44:36.018589Z",
"shell.execute_reply": "2024-08-23T17:44:36.018152Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -129,10 +129,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2024-08-23T11:51:33.917575Z",
"iopub.status.busy": "2024-08-23T11:51:33.917147Z",
"iopub.status.idle": "2024-08-23T11:51:33.990456Z",
"shell.execute_reply": "2024-08-23T11:51:33.989970Z"
"iopub.execute_input": "2024-08-23T17:44:36.020647Z",
"iopub.status.busy": "2024-08-23T17:44:36.020419Z",
"iopub.status.idle": "2024-08-23T17:44:36.094358Z",
"shell.execute_reply": "2024-08-23T17:44:36.093793Z"
},
"hide-output": false
},
Expand All @@ -154,10 +154,10 @@
"execution_count": 5,
"metadata": {
"execution": {
"iopub.execute_input": "2024-08-23T11:51:33.992666Z",
"iopub.status.busy": "2024-08-23T11:51:33.992341Z",
"iopub.status.idle": "2024-08-23T11:51:33.995299Z",
"shell.execute_reply": "2024-08-23T11:51:33.994920Z"
"iopub.execute_input": "2024-08-23T17:44:36.096765Z",
"iopub.status.busy": "2024-08-23T17:44:36.096358Z",
"iopub.status.idle": "2024-08-23T17:44:36.099494Z",
"shell.execute_reply": "2024-08-23T17:44:36.099087Z"
},
"hide-output": false
},
Expand All @@ -182,10 +182,10 @@
"execution_count": 6,
"metadata": {
"execution": {
"iopub.execute_input": "2024-08-23T11:51:33.997156Z",
"iopub.status.busy": "2024-08-23T11:51:33.996852Z",
"iopub.status.idle": "2024-08-23T11:51:33.999331Z",
"shell.execute_reply": "2024-08-23T11:51:33.998940Z"
"iopub.execute_input": "2024-08-23T17:44:36.101469Z",
"iopub.status.busy": "2024-08-23T17:44:36.101092Z",
"iopub.status.idle": "2024-08-23T17:44:36.103864Z",
"shell.execute_reply": "2024-08-23T17:44:36.103458Z"
},
"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-08-23T11:51:35.620621Z",
"iopub.status.busy": "2024-08-23T11:51:35.620450Z",
"iopub.status.idle": "2024-08-23T11:51:35.659167Z",
"shell.execute_reply": "2024-08-23T11:51:35.658656Z"
"iopub.execute_input": "2024-08-23T17:44:37.751770Z",
"iopub.status.busy": "2024-08-23T17:44:37.751589Z",
"iopub.status.idle": "2024-08-23T17:44:37.790791Z",
"shell.execute_reply": "2024-08-23T17:44:37.790265Z"
},
"hide-output": false
},
Expand All @@ -57,10 +57,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2024-08-23T11:51:35.661428Z",
"iopub.status.busy": "2024-08-23T11:51:35.661110Z",
"iopub.status.idle": "2024-08-23T11:51:35.664939Z",
"shell.execute_reply": "2024-08-23T11:51:35.664426Z"
"iopub.execute_input": "2024-08-23T17:44:37.793005Z",
"iopub.status.busy": "2024-08-23T17:44:37.792823Z",
"iopub.status.idle": "2024-08-23T17:44:37.796284Z",
"shell.execute_reply": "2024-08-23T17:44:37.795821Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -92,10 +92,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2024-08-23T11:51:35.692963Z",
"iopub.status.busy": "2024-08-23T11:51:35.692559Z",
"iopub.status.idle": "2024-08-23T11:51:35.696770Z",
"shell.execute_reply": "2024-08-23T11:51:35.696338Z"
"iopub.execute_input": "2024-08-23T17:44:37.825167Z",
"iopub.status.busy": "2024-08-23T17:44:37.824808Z",
"iopub.status.idle": "2024-08-23T17:44:37.829111Z",
"shell.execute_reply": "2024-08-23T17:44:37.828611Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -128,10 +128,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2024-08-23T11:51:35.698713Z",
"iopub.status.busy": "2024-08-23T11:51:35.698401Z",
"iopub.status.idle": "2024-08-23T11:51:35.716147Z",
"shell.execute_reply": "2024-08-23T11:51:35.715632Z"
"iopub.execute_input": "2024-08-23T17:44:37.831033Z",
"iopub.status.busy": "2024-08-23T17:44:37.830858Z",
"iopub.status.idle": "2024-08-23T17:44:37.848677Z",
"shell.execute_reply": "2024-08-23T17:44:37.848171Z"
},
"hide-output": false
},
Expand Down
Loading

0 comments on commit 95a512a

Please sign in to comment.