Skip to content

Commit

Permalink
deploy: 9085cfd
Browse files Browse the repository at this point in the history
  • Loading branch information
@i2git
i2git committed Jul 24, 2024
1 parent 8bf4ebe commit 284a574
Show file tree
Hide file tree
Showing 49 changed files with 552 additions and 552 deletions.
2 changes: 1 addition & 1 deletion advanced_topics.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -934,7 +934,7 @@ <h1>Advanced Examples<a class="headerlink" href="#advanced-examples" title="Link
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
2 changes: 1 addition & 1 deletion api.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1429,7 +1429,7 @@ <h1>Stormpy API Reference<a class="headerlink" href="#stormpy-api-reference" tit
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
6 changes: 3 additions & 3 deletions api/core.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6150,7 +6150,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">0x7f2c444b57b0&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">0x7f1d089578f0&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 @@ -7694,7 +7694,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">0x7f2c444a0fb0&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">0x7f1d094589f0&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 Expand Up @@ -11328,7 +11328,7 @@
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
6 changes: 3 additions & 3 deletions api/dft.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1661,7 +1661,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">0x7f2c385c0270&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">0x7f1cfd8e7af0&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 @@ -1737,7 +1737,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">0x7f2c385f12f0&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">0x7f1cfd8e4d30&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 Expand Up @@ -2105,7 +2105,7 @@
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
2 changes: 1 addition & 1 deletion api/exceptions.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -845,7 +845,7 @@
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
2 changes: 1 addition & 1 deletion api/gspn.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1764,7 +1764,7 @@
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
6 changes: 3 additions & 3 deletions api/info.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -847,7 +847,7 @@
<dd><p>Version information for Storm</p>
<dl class="py attribute">
<dt class="sig sig-object py" id="stormpy.info.Version.build_info">
<span class="sig-name descname"><span class="pre">build_info</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">&quot;Compiled</span> <span class="pre">on</span> <span class="pre">Linux</span> <span class="pre">6.5.0-1023-azure</span> <span class="pre">using</span> <span class="pre">gcc</span> <span class="pre">13.2.0</span> <span class="pre">with</span> <span class="pre">flags</span> <span class="pre">'</span> <span class="pre">-DBOOST_PHOENIX_STL_TUPLE_H_</span> <span class="pre">-O3</span> <span class="pre">-DNDEBUG</span> <span class="pre">-fprefetch-loop-arrays</span> <span class="pre">-flto</span> <span class="pre">-flto-partition=none</span> <span class="pre">-fomit-frame-pointer'&quot;</span></em><a class="headerlink" href="#stormpy.info.Version.build_info" title="Link to this definition"></a></dt>
<span class="sig-name descname"><span class="pre">build_info</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">&quot;Compiled</span> <span class="pre">on</span> <span class="pre">Linux</span> <span class="pre">6.5.0-1024-azure</span> <span class="pre">using</span> <span class="pre">gcc</span> <span class="pre">13.2.0</span> <span class="pre">with</span> <span class="pre">flags</span> <span class="pre">'</span> <span class="pre">-DBOOST_PHOENIX_STL_TUPLE_H_</span> <span class="pre">-O3</span> <span class="pre">-DNDEBUG</span> <span class="pre">-fprefetch-loop-arrays</span> <span class="pre">-flto</span> <span class="pre">-flto-partition=none</span> <span class="pre">-fomit-frame-pointer'&quot;</span></em><a class="headerlink" href="#stormpy.info.Version.build_info" title="Link to this definition"></a></dt>
<dd></dd></dl>

<dl class="py attribute">
Expand All @@ -857,7 +857,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">171</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">174</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 Expand Up @@ -925,7 +925,7 @@
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
2 changes: 1 addition & 1 deletion api/logic.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1441,7 +1441,7 @@
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
2 changes: 1 addition & 1 deletion api/pars.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1559,7 +1559,7 @@
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
6 changes: 3 additions & 3 deletions api/storage.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4196,7 +4196,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">0x7f2c444b57b0&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">0x7f1d089578f0&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 @@ -5229,7 +5229,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">0x7f2c444a0fb0&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">0x7f1d094589f0&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 Expand Up @@ -7696,7 +7696,7 @@
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
2 changes: 1 addition & 1 deletion api/utility.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1150,7 +1150,7 @@
</p>
<p>
&copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.5.<br/>
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
</p>
</div>
</footer>
Expand Down
Loading

0 comments on commit 284a574

Please sign in to comment.