deploy: 2ced38f

api/core.html

@@ -1266,7 +1266,6 @@
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.rational_search"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.rational_search</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.sound_value_iteration"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.sound_value_iteration</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.topological"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.topological</span></code></a></li>
-<li><a class="reference internal" href="#stormpy.MinMaxMethod.topological_cuda"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.topological_cuda</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.value"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.value</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.value_iteration"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.value_iteration</span></code></a></li>
 </ul>
@@ -1511,7 +1510,6 @@
 <li><a class="reference internal" href="#stormpy.PrismProgram.get_undefined_constants"><code class="docutils literal notranslate"><span class="pre">PrismProgram.get_undefined_constants()</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.global_boolean_variables"><code class="docutils literal notranslate"><span class="pre">PrismProgram.global_boolean_variables</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.global_integer_variables"><code class="docutils literal notranslate"><span class="pre">PrismProgram.global_integer_variables</span></code></a></li>
-<li><a class="reference internal" href="#stormpy.PrismProgram.hasUndefinedConstants"><code class="docutils literal notranslate"><span class="pre">PrismProgram.hasUndefinedConstants</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.has_constant"><code class="docutils literal notranslate"><span class="pre">PrismProgram.has_constant()</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.has_label"><code class="docutils literal notranslate"><span class="pre">PrismProgram.has_label()</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.has_reward_model"><code class="docutils literal notranslate"><span class="pre">PrismProgram.has_reward_model()</span></code></a></li>
@@ -2712,7 +2710,6 @@
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.rational_search"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.rational_search</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.sound_value_iteration"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.sound_value_iteration</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.topological"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.topological</span></code></a></li>
-<li><a class="reference internal" href="#stormpy.MinMaxMethod.topological_cuda"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.topological_cuda</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.value"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.value</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.MinMaxMethod.value_iteration"><code class="docutils literal notranslate"><span class="pre">MinMaxMethod.value_iteration</span></code></a></li>
 </ul>
@@ -2957,7 +2954,6 @@
 <li><a class="reference internal" href="#stormpy.PrismProgram.get_undefined_constants"><code class="docutils literal notranslate"><span class="pre">PrismProgram.get_undefined_constants()</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.global_boolean_variables"><code class="docutils literal notranslate"><span class="pre">PrismProgram.global_boolean_variables</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.global_integer_variables"><code class="docutils literal notranslate"><span class="pre">PrismProgram.global_integer_variables</span></code></a></li>
-<li><a class="reference internal" href="#stormpy.PrismProgram.hasUndefinedConstants"><code class="docutils literal notranslate"><span class="pre">PrismProgram.hasUndefinedConstants</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.has_constant"><code class="docutils literal notranslate"><span class="pre">PrismProgram.has_constant()</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.has_label"><code class="docutils literal notranslate"><span class="pre">PrismProgram.has_label()</span></code></a></li>
 <li><a class="reference internal" href="#stormpy.PrismProgram.has_reward_model"><code class="docutils literal notranslate"><span class="pre">PrismProgram.has_reward_model()</span></code></a></li>
@@ -5532,7 +5528,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">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>
+<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">0x7f40d477f7b0&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">
@@ -5946,7 +5942,6 @@
 <p>interval_iteration</p>
 <p>sound_value_iteration</p>
 <p>optimistic_value_iteration</p>
-<p>topological_cuda</p>
 </div></blockquote>
 <dl class="py attribute">
 <dt class="sig sig-object py" id="stormpy.MinMaxMethod.interval_iteration">
@@ -5988,11 +5983,6 @@
 <span class="sig-name descname"><span class="pre">topological</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">&lt;MinMaxMethod.topological:</span> <span class="pre">3&gt;</span></em><a class="headerlink" href="#stormpy.MinMaxMethod.topological" title="Link to this definition">¶</a></dt>
 <dd></dd></dl>
 
-<dl class="py attribute">
-<dt class="sig sig-object py" id="stormpy.MinMaxMethod.topological_cuda">
-<span class="sig-name descname"><span class="pre">topological_cuda</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">&lt;MinMaxMethod.topological_cuda:</span> <span class="pre">8&gt;</span></em><a class="headerlink" href="#stormpy.MinMaxMethod.topological_cuda" title="Link to this definition">¶</a></dt>
-<dd></dd></dl>
-
 <dl class="py property">
 <dt class="sig sig-object py" id="stormpy.MinMaxMethod.value">
 <em class="property"><span class="pre">property</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">value</span></span><a class="headerlink" href="#stormpy.MinMaxMethod.value" title="Link to this definition">¶</a></dt>
@@ -7064,7 +7054,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">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>
+<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">0x7f40d3d52230&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>
 
@@ -7121,12 +7111,6 @@
 <dd><p>Retrieves the global integer variables of the program</p>
 </dd></dl>
 
-<dl class="py property">
-<dt class="sig sig-object py" id="stormpy.PrismProgram.hasUndefinedConstants">
-<em class="property"><span class="pre">property</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">hasUndefinedConstants</span></span><a class="headerlink" href="#stormpy.PrismProgram.hasUndefinedConstants" title="Link to this definition">¶</a></dt>
-<dd><p>Does the program have undefined constants?</p>
-</dd></dl>
-
 <dl class="py method">
 <dt class="sig sig-object py" id="stormpy.PrismProgram.has_constant">
 <span class="sig-name descname"><span class="pre">has_constant</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">self</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><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></em>, <em class="sig-param"><span class="n"><span class="pre">name</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">str</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">bool</span></span></span><a class="headerlink" href="#stormpy.PrismProgram.has_constant" title="Link to this definition">¶</a></dt>

api/info.html

@@ -793,7 +793,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.2.0-1015-azure</span> <span class="pre">using</span> <span class="pre">gcc</span> <span class="pre">12.2.0</span> <span class="pre">with</span> <span class="pre">flags</span> <span class="pre">'</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.2.0-1016-azure</span> <span class="pre">using</span> <span class="pre">gcc</span> <span class="pre">12.2.0</span> <span class="pre">with</span> <span class="pre">flags</span> <span class="pre">'</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">
@@ -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">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>
+<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">53</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">

api/pars.html

@@ -1243,7 +1243,7 @@
 
 <dl class="py method">
 <dt class="sig sig-object py" id="stormpy.pars.ParameterRegion.create_from_string">
-<em class="property"><span class="pre">static</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">create_from_string</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">region_string</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">str</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">variables</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">Set</span><span class="p"><span class="pre">[</span></span><a class="reference internal" href="core.html#stormpy.Variable" title="pycarl.core.Variable"><span class="pre">pycarl.core.Variable</span></a><span class="p"><span class="pre">]</span></span></span></em>, <em class="sig-param"><span class="n"><span class="pre">splitting_threshold</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">int</span><span class="w"> </span><span class="p"><span class="pre">|</span></span><span class="w"> </span><span class="pre">None</span></span><span class="w"> </span><span class="o"><span class="pre">=</span></span><span class="w"> </span><span class="default_value"><span class="pre">None</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.pars.ParameterRegion" title="stormpy.pars.pars.ParameterRegion"><span class="pre">stormpy.pars.pars.ParameterRegion</span></a></span></span><a class="headerlink" href="#stormpy.pars.ParameterRegion.create_from_string" title="Link to this definition">¶</a></dt>
+<em class="property"><span class="pre">static</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">create_from_string</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">region_string</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">str</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">variables</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">Set</span><span class="p"><span class="pre">[</span></span><a class="reference internal" href="core.html#stormpy.Variable" title="pycarl.core.Variable"><span class="pre">pycarl.core.Variable</span></a><span class="p"><span class="pre">]</span></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.pars.ParameterRegion" title="stormpy.pars.pars.ParameterRegion"><span class="pre">stormpy.pars.pars.ParameterRegion</span></a></span></span><a class="headerlink" href="#stormpy.pars.ParameterRegion.create_from_string" title="Link to this definition">¶</a></dt>
 <dd><p>Create region from string</p>
 </dd></dl>