Skip to content

Commit

Permalink
deploy: 8ab4121
Browse files Browse the repository at this point in the history
  • Loading branch information
@i2git
i2git committed Jan 17, 2024
1 parent 231dda6 commit c6ca0f9
Show file tree
Hide file tree
Showing 25 changed files with 526 additions and 526 deletions.
4 changes: 2 additions & 2 deletions api/core.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6104,7 +6104,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">0x7f52e45642f0&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">0x7f6f246c1a70&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 @@ -7642,7 +7642,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">0x7f52e4553170&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">0x7f6f24664f30&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 @@ -1655,7 +1655,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">0x7f52dbcd1a30&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">0x7f6f1d89aeb0&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 @@ -1731,7 +1731,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">0x7f52dc5538f0&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">0x7f6f1c5e7970&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 @@ -4150,7 +4150,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">0x7f52e45642f0&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">0x7f6f246c1a70&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 @@ -5177,7 +5177,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">0x7f52e4553170&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">0x7f6f24664f30&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-01-10T10:24:59.111788Z",
"iopub.status.busy": "2024-01-10T10:24:59.111293Z",
"iopub.status.idle": "2024-01-10T10:24:59.157449Z",
"shell.execute_reply": "2024-01-10T10:24:59.156873Z"
"iopub.execute_input": "2024-01-17T10:25:14.459584Z",
"iopub.status.busy": "2024-01-17T10:25:14.459402Z",
"iopub.status.idle": "2024-01-17T10:25:14.504438Z",
"shell.execute_reply": "2024-01-17T10:25:14.503787Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -64,10 +64,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2024-01-10T10:24:59.159964Z",
"iopub.status.busy": "2024-01-10T10:24:59.159530Z",
"iopub.status.idle": "2024-01-10T10:24:59.358504Z",
"shell.execute_reply": "2024-01-10T10:24:59.357858Z"
"iopub.execute_input": "2024-01-17T10:25:14.507232Z",
"iopub.status.busy": "2024-01-17T10:25:14.506848Z",
"iopub.status.idle": "2024-01-17T10:25:14.706710Z",
"shell.execute_reply": "2024-01-17T10:25:14.706008Z"
},
"hide-output": false
},
Expand All @@ -89,10 +89,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2024-01-10T10:24:59.361009Z",
"iopub.status.busy": "2024-01-10T10:24:59.360784Z",
"iopub.status.idle": "2024-01-10T10:24:59.364500Z",
"shell.execute_reply": "2024-01-10T10:24:59.363912Z"
"iopub.execute_input": "2024-01-17T10:25:14.709488Z",
"iopub.status.busy": "2024-01-17T10:25:14.709202Z",
"iopub.status.idle": "2024-01-17T10:25:14.713151Z",
"shell.execute_reply": "2024-01-17T10:25:14.712635Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -129,10 +129,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2024-01-10T10:24:59.366918Z",
"iopub.status.busy": "2024-01-10T10:24:59.366674Z",
"iopub.status.idle": "2024-01-10T10:24:59.420998Z",
"shell.execute_reply": "2024-01-10T10:24:59.420404Z"
"iopub.execute_input": "2024-01-17T10:25:14.715438Z",
"iopub.status.busy": "2024-01-17T10:25:14.715224Z",
"iopub.status.idle": "2024-01-17T10:25:14.769072Z",
"shell.execute_reply": "2024-01-17T10:25:14.768436Z"
},
"hide-output": false
},
Expand All @@ -154,10 +154,10 @@
"execution_count": 5,
"metadata": {
"execution": {
"iopub.execute_input": "2024-01-10T10:24:59.423328Z",
"iopub.status.busy": "2024-01-10T10:24:59.423008Z",
"iopub.status.idle": "2024-01-10T10:24:59.426346Z",
"shell.execute_reply": "2024-01-10T10:24:59.425865Z"
"iopub.execute_input": "2024-01-17T10:25:14.771483Z",
"iopub.status.busy": "2024-01-17T10:25:14.771118Z",
"iopub.status.idle": "2024-01-17T10:25:14.774452Z",
"shell.execute_reply": "2024-01-17T10:25:14.773961Z"
},
"hide-output": false
},
Expand All @@ -182,10 +182,10 @@
"execution_count": 6,
"metadata": {
"execution": {
"iopub.execute_input": "2024-01-10T10:24:59.428502Z",
"iopub.status.busy": "2024-01-10T10:24:59.428093Z",
"iopub.status.idle": "2024-01-10T10:24:59.430977Z",
"shell.execute_reply": "2024-01-10T10:24:59.430502Z"
"iopub.execute_input": "2024-01-17T10:25:14.776748Z",
"iopub.status.busy": "2024-01-17T10:25:14.776389Z",
"iopub.status.idle": "2024-01-17T10:25:14.779201Z",
"shell.execute_reply": "2024-01-17T10:25:14.778730Z"
},
"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-01-10T10:25:00.883693Z",
"iopub.status.busy": "2024-01-10T10:25:00.883524Z",
"iopub.status.idle": "2024-01-10T10:25:00.926384Z",
"shell.execute_reply": "2024-01-10T10:25:00.925755Z"
"iopub.execute_input": "2024-01-17T10:25:16.249747Z",
"iopub.status.busy": "2024-01-17T10:25:16.249275Z",
"iopub.status.idle": "2024-01-17T10:25:16.292513Z",
"shell.execute_reply": "2024-01-17T10:25:16.291933Z"
},
"hide-output": false
},
Expand All @@ -57,10 +57,10 @@
"execution_count": 2,
"metadata": {
"execution": {
"iopub.execute_input": "2024-01-10T10:25:00.928687Z",
"iopub.status.busy": "2024-01-10T10:25:00.928497Z",
"iopub.status.idle": "2024-01-10T10:25:00.932558Z",
"shell.execute_reply": "2024-01-10T10:25:00.932004Z"
"iopub.execute_input": "2024-01-17T10:25:16.295204Z",
"iopub.status.busy": "2024-01-17T10:25:16.294778Z",
"iopub.status.idle": "2024-01-17T10:25:16.298962Z",
"shell.execute_reply": "2024-01-17T10:25:16.298371Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -92,10 +92,10 @@
"execution_count": 3,
"metadata": {
"execution": {
"iopub.execute_input": "2024-01-10T10:25:00.956470Z",
"iopub.status.busy": "2024-01-10T10:25:00.955932Z",
"iopub.status.idle": "2024-01-10T10:25:00.960329Z",
"shell.execute_reply": "2024-01-10T10:25:00.959833Z"
"iopub.execute_input": "2024-01-17T10:25:16.323596Z",
"iopub.status.busy": "2024-01-17T10:25:16.323051Z",
"iopub.status.idle": "2024-01-17T10:25:16.327639Z",
"shell.execute_reply": "2024-01-17T10:25:16.327139Z"
},
"hide-output": false
},
Expand Down Expand Up @@ -128,10 +128,10 @@
"execution_count": 4,
"metadata": {
"execution": {
"iopub.execute_input": "2024-01-10T10:25:00.962516Z",
"iopub.status.busy": "2024-01-10T10:25:00.962167Z",
"iopub.status.idle": "2024-01-10T10:25:00.979596Z",
"shell.execute_reply": "2024-01-10T10:25:00.978986Z"
"iopub.execute_input": "2024-01-17T10:25:16.329850Z",
"iopub.status.busy": "2024-01-17T10:25:16.329502Z",
"iopub.status.idle": "2024-01-17T10:25:16.347300Z",
"shell.execute_reply": "2024-01-17T10:25:16.346679Z"
},
"hide-output": false
},
Expand Down
Loading

0 comments on commit c6ca0f9

Please sign in to comment.