Skip to content

Commit

Permalink
deploy: c010e02
Browse files Browse the repository at this point in the history
  • Loading branch information
@volkm
volkm committed Nov 15, 2023
1 parent d7ae58a commit 535fc22
Show file tree
Hide file tree
Showing 25 changed files with 527 additions and 527 deletions.
4 changes: 2 additions & 2 deletions api/core.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5532,7 +5532,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">0x7f1ecaeee870&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">0x7f79601d75b0&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 @@ -7064,7 +7064,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">0x7f1ecaefb970&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">0x7f79601ebb30&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
2 changes: 1 addition & 1 deletion api/info.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -803,7 +803,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.8.2</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>
<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.8.2</span> <span class="pre">(dev)</span> <span class="pre">(derived</span> <span class="pre">statically)</span> <span class="pre">(+</span> <span class="pre">38</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
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3594,7 +3594,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">0x7f1ecaeee870&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">0x7f79601d75b0&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 @@ -4609,7 +4609,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">0x7f1ecaefb970&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">0x7f79601ebb30&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": "2023-11-08T10:40:17.670812Z",
"iopub.status.busy": "2023-11-08T10:40:17.670572Z",
"iopub.status.idle": "2023-11-08T10:40:17.734644Z",
"shell.execute_reply": "2023-11-08T10:40:17.733613Z"
"iopub.execute_input": "2023-11-15T15:42:07.357079Z",
"iopub.status.busy": "2023-11-15T15:42:07.356704Z",
"iopub.status.idle": "2023-11-15T15:42:07.395340Z",
"shell.execute_reply": "2023-11-15T15:42:07.394774Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -64,10 +64,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:17.738110Z",
"iopub.status.busy": "2023-11-08T10:40:17.737861Z",
"iopub.status.idle": "2023-11-08T10:40:18.138287Z",
"shell.execute_reply": "2023-11-08T10:40:18.137587Z"
"iopub.execute_input": "2023-11-15T15:42:07.397620Z",
"iopub.status.busy": "2023-11-15T15:42:07.397263Z",
"iopub.status.idle": "2023-11-15T15:42:07.595127Z",
"shell.execute_reply": "2023-11-15T15:42:07.594552Z"
},
"hide-output": false
},
Expand All @@ -89,10 +89,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:18.141612Z",
"iopub.status.busy": "2023-11-08T10:40:18.141391Z",
"iopub.status.idle": "2023-11-08T10:40:18.146769Z",
"shell.execute_reply": "2023-11-08T10:40:18.146115Z"
"iopub.execute_input": "2023-11-15T15:42:07.597848Z",
"iopub.status.busy": "2023-11-15T15:42:07.597615Z",
"iopub.status.idle": "2023-11-15T15:42:07.601100Z",
"shell.execute_reply": "2023-11-15T15:42:07.600629Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -129,10 +129,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:18.150574Z",
"iopub.status.busy": "2023-11-08T10:40:18.150009Z",
"iopub.status.idle": "2023-11-08T10:40:18.229066Z",
"shell.execute_reply": "2023-11-08T10:40:18.228247Z"
"iopub.execute_input": "2023-11-15T15:42:07.603512Z",
"iopub.status.busy": "2023-11-15T15:42:07.603288Z",
"iopub.status.idle": "2023-11-15T15:42:07.665216Z",
"shell.execute_reply": "2023-11-15T15:42:07.664651Z"
},
"hide-output": false
},
Expand All @@ -154,10 +154,10 @@
"execution_count": 5,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:18.233579Z",
"iopub.status.busy": "2023-11-08T10:40:18.232895Z",
"iopub.status.idle": "2023-11-08T10:40:18.237409Z",
"shell.execute_reply": "2023-11-08T10:40:18.236682Z"
"iopub.execute_input": "2023-11-15T15:42:07.667455Z",
"iopub.status.busy": "2023-11-15T15:42:07.667248Z",
"iopub.status.idle": "2023-11-15T15:42:07.670195Z",
"shell.execute_reply": "2023-11-15T15:42:07.669802Z"
},
"hide-output": false
},
Expand All @@ -182,10 +182,10 @@
"execution_count": 6,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:18.240446Z",
"iopub.status.busy": "2023-11-08T10:40:18.240189Z",
"iopub.status.idle": "2023-11-08T10:40:18.244156Z",
"shell.execute_reply": "2023-11-08T10:40:18.243378Z"
"iopub.execute_input": "2023-11-15T15:42:07.672044Z",
"iopub.status.busy": "2023-11-15T15:42:07.671757Z",
"iopub.status.idle": "2023-11-15T15:42:07.674196Z",
"shell.execute_reply": "2023-11-15T15:42:07.673807Z"
},
"hide-output": false
},
Expand Down
4 changes: 2 additions & 2 deletions doc/building_models.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -829,8 +829,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
36 changes: 18 additions & 18 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": "2023-11-08T10:40:20.164436Z",
"iopub.status.busy": "2023-11-08T10:40:20.164054Z",
"iopub.status.idle": "2023-11-08T10:40:20.225260Z",
"shell.execute_reply": "2023-11-08T10:40:20.224344Z"
"iopub.execute_input": "2023-11-15T15:42:09.009448Z",
"iopub.status.busy": "2023-11-15T15:42:09.009284Z",
"iopub.status.idle": "2023-11-15T15:42:09.046201Z",
"shell.execute_reply": "2023-11-15T15:42:09.045727Z"
},
"hide-output": false
},
Expand All @@ -57,10 +57,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:20.229038Z",
"iopub.status.busy": "2023-11-08T10:40:20.228822Z",
"iopub.status.idle": "2023-11-08T10:40:20.239648Z",
"shell.execute_reply": "2023-11-08T10:40:20.238932Z"
"iopub.execute_input": "2023-11-15T15:42:09.048566Z",
"iopub.status.busy": "2023-11-15T15:42:09.048253Z",
"iopub.status.idle": "2023-11-15T15:42:09.052369Z",
"shell.execute_reply": "2023-11-15T15:42:09.051857Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -92,10 +92,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:20.273355Z",
"iopub.status.busy": "2023-11-08T10:40:20.272506Z",
"iopub.status.idle": "2023-11-08T10:40:20.278888Z",
"shell.execute_reply": "2023-11-08T10:40:20.278198Z"
"iopub.execute_input": "2023-11-15T15:42:09.075428Z",
"iopub.status.busy": "2023-11-15T15:42:09.074913Z",
"iopub.status.idle": "2023-11-15T15:42:09.079095Z",
"shell.execute_reply": "2023-11-15T15:42:09.078646Z"
},
"hide-output": false
},
Expand All @@ -104,8 +104,8 @@
"name": "stdout",
"output_type": "stream",
"text": [
"ModelType.DTMC WARN (DirectEncodingParser.cpp:119): No. of actions has to be declared. We may continue now, but future versions might not support this.\n",
"\n"
"ModelType.DTMC\n",
" WARN (DirectEncodingParser.cpp:119): No. of actions has to be declared. We may continue now, but future versions might not support this.\n"
]
}
],
Expand All @@ -128,10 +128,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:20.281708Z",
"iopub.status.busy": "2023-11-08T10:40:20.281183Z",
"iopub.status.idle": "2023-11-08T10:40:20.312102Z",
"shell.execute_reply": "2023-11-08T10:40:20.311212Z"
"iopub.execute_input": "2023-11-15T15:42:09.080988Z",
"iopub.status.busy": "2023-11-15T15:42:09.080684Z",
"iopub.status.idle": "2023-11-15T15:42:09.097201Z",
"shell.execute_reply": "2023-11-15T15:42:09.096658Z"
},
"hide-output": false
},
Expand Down
32 changes: 16 additions & 16 deletions doc/dfts.ipynb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,10 +26,10 @@
"execution_count": 1,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:22.210930Z",
"iopub.status.busy": "2023-11-08T10:40:22.210568Z",
"iopub.status.idle": "2023-11-08T10:40:22.283933Z",
"shell.execute_reply": "2023-11-08T10:40:22.282955Z"
"iopub.execute_input": "2023-11-15T15:42:10.440058Z",
"iopub.status.busy": "2023-11-15T15:42:10.439906Z",
"iopub.status.idle": "2023-11-15T15:42:10.486241Z",
"shell.execute_reply": "2023-11-15T15:42:10.485790Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -64,10 +64,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:22.287468Z",
"iopub.status.busy": "2023-11-08T10:40:22.286925Z",
"iopub.status.idle": "2023-11-08T10:40:22.304943Z",
"shell.execute_reply": "2023-11-08T10:40:22.304264Z"
"iopub.execute_input": "2023-11-15T15:42:10.488335Z",
"iopub.status.busy": "2023-11-15T15:42:10.488004Z",
"iopub.status.idle": "2023-11-15T15:42:10.498979Z",
"shell.execute_reply": "2023-11-15T15:42:10.498545Z"
},
"hide-output": false
},
Expand All @@ -89,10 +89,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:22.307793Z",
"iopub.status.busy": "2023-11-08T10:40:22.307446Z",
"iopub.status.idle": "2023-11-08T10:40:22.313485Z",
"shell.execute_reply": "2023-11-08T10:40:22.312717Z"
"iopub.execute_input": "2023-11-15T15:42:10.500832Z",
"iopub.status.busy": "2023-11-15T15:42:10.500538Z",
"iopub.status.idle": "2023-11-15T15:42:10.503511Z",
"shell.execute_reply": "2023-11-15T15:42:10.503016Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -129,10 +129,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2023-11-08T10:40:22.316518Z",
"iopub.status.busy": "2023-11-08T10:40:22.316013Z",
"iopub.status.idle": "2023-11-08T10:40:22.325050Z",
"shell.execute_reply": "2023-11-08T10:40:22.324393Z"
"iopub.execute_input": "2023-11-15T15:42:10.505446Z",
"iopub.status.busy": "2023-11-15T15:42:10.505110Z",
"iopub.status.idle": "2023-11-15T15:42:10.511113Z",
"shell.execute_reply": "2023-11-15T15:42:10.510593Z"
},
"hide-output": false
},
Expand Down
Loading

0 comments on commit 535fc22

Please sign in to comment.