deploy: 72d5382

Author: volkm

api/core.html

@@ -886,7 +886,7 @@ <h5 class="offcanvas-title fw-bold" id="nfttSidebarOffcanvasLabel">
 
 <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">0x7f82d1ebeb70&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">0x7fe388d08670&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>
 
@@ -962,7 +962,7 @@ <h5 class="offcanvas-title fw-bold" id="nfttSidebarOffcanvasLabel">
 
 <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">0x7f82d0cfe930&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">0x7fe388b181b0&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>
 
@@ -1042,7 +1042,7 @@ <h5 class="offcanvas-title fw-bold" id="nfttSidebarOffcanvasLabel">
 
 <dl class="py class">
 <dt class="sig sig-object py" id="stormpy.dft.ExplicitDFTModelBuilder_double">
-<em class="property"><span class="k"><span class="pre">class</span></span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">ExplicitDFTModelBuilder_double</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.ExplicitDFTModelBuilder_double</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">dft:</span> <span class="pre">storm::dft::storage::DFT&lt;double&gt;</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">0x7f82d24446b0&gt;</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#stormpy.dft.ExplicitDFTModelBuilder_double" title="Link to this definition">¶</a></dt>
+<em class="property"><span class="k"><span class="pre">class</span></span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">ExplicitDFTModelBuilder_double</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.ExplicitDFTModelBuilder_double</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">dft:</span> <span class="pre">storm::dft::storage::DFT&lt;double&gt;</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">0x7fe388c002b0&gt;</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#stormpy.dft.ExplicitDFTModelBuilder_double" title="Link to this definition">¶</a></dt>
 <dd><p>Builder to generate explicit model from DFT</p>
 <p>Constructor</p>
 <dl class="py method">
@@ -1067,7 +1067,7 @@ <h5 class="offcanvas-title fw-bold" id="nfttSidebarOffcanvasLabel">
 
 <dl class="py class">
 <dt class="sig sig-object py" id="stormpy.dft.ExplicitDFTModelBuilder_ratfunc">
-<em class="property"><span class="k"><span class="pre">class</span></span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">ExplicitDFTModelBuilder_ratfunc</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.ExplicitDFTModelBuilder_ratfunc</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">dft:</span> <span class="pre">storm::dft::storage::DFT&lt;carl::RationalFunction&lt;carl::FactorizedPolynomial&lt;carl::MultivariatePolynomial&lt;cln::cl_RA</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">carl::NotRelevant</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">carl::StdMultivariatePolynomialPolicies&lt;0&gt;</span> <span class="pre">&gt;</span> <span class="pre">&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">true&gt;</span> <span class="pre">&gt;</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">0x7f82d2495970&gt;</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#stormpy.dft.ExplicitDFTModelBuilder_ratfunc" title="Link to this definition">¶</a></dt>
+<em class="property"><span class="k"><span class="pre">class</span></span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">ExplicitDFTModelBuilder_ratfunc</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.ExplicitDFTModelBuilder_ratfunc</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">dft:</span> <span class="pre">storm::dft::storage::DFT&lt;carl::RationalFunction&lt;carl::FactorizedPolynomial&lt;carl::MultivariatePolynomial&lt;cln::cl_RA</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">carl::NotRelevant</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">carl::StdMultivariatePolynomialPolicies&lt;0&gt;</span> <span class="pre">&gt;</span> <span class="pre">&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">true&gt;</span> <span class="pre">&gt;</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">0x7fe388c0ae30&gt;</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#stormpy.dft.ExplicitDFTModelBuilder_ratfunc" title="Link to this definition">¶</a></dt>
 <dd><p>Builder to generate explicit model from DFT</p>
 <p>Constructor</p>
 <dl class="py method">