Skip to content

Commit

Permalink
deploy: 32e1b54
Browse files Browse the repository at this point in the history
  • Loading branch information
i2git committed Dec 4, 2024
1 parent 0883970 commit 92373e1
Show file tree
Hide file tree
Showing 28 changed files with 584 additions and 584 deletions.
4 changes: 2 additions & 2 deletions api/core.html
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">0x7f6ae3543d70&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">0x7f55589c4030&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">0x7f6ae35198b0&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">0x7f5558977330&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
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">0x7f6ad8130630&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">0x7f554d8e4130&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">0x7f6ad8efc6b0&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">0x7f554d8e4cb0&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
2 changes: 1 addition & 1 deletion api/info.html
Original file line number Diff line number Diff line change
Expand Up @@ -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">33</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">34</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">
Expand Down
4 changes: 2 additions & 2 deletions api/storage.html
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">0x7f6ae3543d70&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">0x7f55589c4030&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">0x7f6ae35198b0&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">0x7f5558977330&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
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-27T10:42:27.848758Z",
"iopub.status.busy": "2024-11-27T10:42:27.848586Z",
"iopub.status.idle": "2024-11-27T10:42:27.888479Z",
"shell.execute_reply": "2024-11-27T10:42:27.888035Z"
"iopub.execute_input": "2024-12-04T10:41:27.564473Z",
"iopub.status.busy": "2024-12-04T10:41:27.564314Z",
"iopub.status.idle": "2024-12-04T10:41:27.603650Z",
"shell.execute_reply": "2024-12-04T10:41:27.603152Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -65,10 +65,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-27T10:42:27.890191Z",
"iopub.status.busy": "2024-11-27T10:42:27.890019Z",
"iopub.status.idle": "2024-11-27T10:42:28.099523Z",
"shell.execute_reply": "2024-11-27T10:42:28.099020Z"
"iopub.execute_input": "2024-12-04T10:41:27.605401Z",
"iopub.status.busy": "2024-12-04T10:41:27.605213Z",
"iopub.status.idle": "2024-12-04T10:41:27.820331Z",
"shell.execute_reply": "2024-12-04T10:41:27.819799Z"
},
"hide-output": false
},
Expand All @@ -90,10 +90,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-27T10:42:28.101214Z",
"iopub.status.busy": "2024-11-27T10:42:28.101032Z",
"iopub.status.idle": "2024-11-27T10:42:28.104418Z",
"shell.execute_reply": "2024-11-27T10:42:28.103936Z"
"iopub.execute_input": "2024-12-04T10:41:27.822526Z",
"iopub.status.busy": "2024-12-04T10:41:27.822132Z",
"iopub.status.idle": "2024-12-04T10:41:27.825708Z",
"shell.execute_reply": "2024-12-04T10:41:27.825275Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -130,10 +130,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-27T10:42:28.106110Z",
"iopub.status.busy": "2024-11-27T10:42:28.105924Z",
"iopub.status.idle": "2024-11-27T10:42:28.177015Z",
"shell.execute_reply": "2024-11-27T10:42:28.176556Z"
"iopub.execute_input": "2024-12-04T10:41:27.827281Z",
"iopub.status.busy": "2024-12-04T10:41:27.827068Z",
"iopub.status.idle": "2024-12-04T10:41:27.890071Z",
"shell.execute_reply": "2024-12-04T10:41:27.889489Z"
},
"hide-output": false
},
Expand All @@ -155,10 +155,10 @@
"execution_count": 5,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-27T10:42:28.178952Z",
"iopub.status.busy": "2024-11-27T10:42:28.178547Z",
"iopub.status.idle": "2024-11-27T10:42:28.181624Z",
"shell.execute_reply": "2024-11-27T10:42:28.181165Z"
"iopub.execute_input": "2024-12-04T10:41:27.891905Z",
"iopub.status.busy": "2024-12-04T10:41:27.891598Z",
"iopub.status.idle": "2024-12-04T10:41:27.894437Z",
"shell.execute_reply": "2024-12-04T10:41:27.894069Z"
},
"hide-output": false
},
Expand All @@ -183,10 +183,10 @@
"execution_count": 6,
"metadata": {
"execution": {
"iopub.execute_input": "2024-11-27T10:42:28.183098Z",
"iopub.status.busy": "2024-11-27T10:42:28.182834Z",
"iopub.status.idle": "2024-11-27T10:42:28.185405Z",
"shell.execute_reply": "2024-11-27T10:42:28.184949Z"
"iopub.execute_input": "2024-12-04T10:41:27.895901Z",
"iopub.status.busy": "2024-12-04T10:41:27.895663Z",
"iopub.status.idle": "2024-12-04T10:41:27.898253Z",
"shell.execute_reply": "2024-12-04T10:41:27.897859Z"
},
"hide-output": false
},
Expand Down
4 changes: 2 additions & 2 deletions doc/building_models.html
Original file line number Diff line number Diff line change
Expand Up @@ -886,8 +886,8 @@ <h2>Building different formalisms<a class="headerlink" href="#Building-different
</div>
<div class="output_area docutils container">
<div class="highlight"><pre>
ModelType.DTMC WARN (DirectEncodingParser.cpp:119): No. of actions has to be declared. We may continue now, but future versions might not support this.

ModelType.DTMC
WARN (DirectEncodingParser.cpp:119): No. of actions has to be declared. We may continue now, but future versions might not support this.
</pre></div></div>
</div>
<p>Another option are JANI descriptions. These are another high-level description format. Building models from JANI is done in two steps. First the Jani-description is parsed, and then the model is built from this description:</p>
Expand Down
Loading

0 comments on commit 92373e1

Please sign in to comment.