Skip to content

Commit

Permalink
[auto] Update docs and distribution
Browse files Browse the repository at this point in the history
  • Loading branch information
@haz @github-actions
haz authored and github-actions[bot] committed Jun 23, 2023
1 parent 8e961b3 commit f1796d6
Show file tree
Hide file tree
Showing 4 changed files with 2 additions and 2 deletions.
Binary file removed dist/macq-0.3.4.tar.gz
View file
Binary file not shown.
Binary file renamed dist/macq-0.3.4-py3-none-any.whl → dist/macq-0.3.5-py3-none-any.whl
View file
Binary file not shown.
Binary file added dist/macq-0.3.5.tar.gz
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions docs/macq/extract.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1688,7 +1688,7 @@ <h1 id="api-documentation">API Documentation</h1>
</span><span id="Model-203"><a href="#Model-203"><span class="linenos">203</span></a> <span class="nb">vars</span> <span class="o">=</span> <span class="p">[</span><span class="n">lang</span><span class="o">.</span><span class="n">variable</span><span class="p">(</span><span class="sa">f</span><span class="s2">&quot;x</span><span class="si">{</span><span class="n">i</span><span class="si">}</span><span class="s2">&quot;</span><span class="p">,</span> <span class="n">s</span><span class="p">)</span> <span class="k">for</span> <span class="n">i</span><span class="p">,</span> <span class="n">s</span> <span class="ow">in</span> <span class="nb">enumerate</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">param_sorts</span><span class="p">)]</span>
</span><span id="Model-204"><a href="#Model-204"><span class="linenos">204</span></a>
</span><span id="Model-205"><a href="#Model-205"><span class="linenos">205</span></a> <span class="k">if</span> <span class="nb">len</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1</span><span class="p">:</span>
</span><span id="Model-206"><a href="#Model-206"><span class="linenos">206</span></a> <span class="n">precond</span> <span class="o">=</span> <span class="n">lang</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="nb">list</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">)[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">name</span><span class="p">)(</span><span class="o">*</span><span class="p">[</span><span class="nb">vars</span><span class="p">[</span><span class="n">i</span><span class="p">]</span> <span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">param_act_inds</span><span class="p">])</span> <span class="c1"># type: ignore</span>
</span><span id="Model-206"><a href="#Model-206"><span class="linenos">206</span></a> <span class="n">precond</span> <span class="o">=</span> <span class="n">lang</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="nb">list</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">)[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">name</span><span class="p">)(</span><span class="o">*</span><span class="p">[</span><span class="nb">vars</span><span class="p">[</span><span class="n">i</span><span class="p">]</span> <span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">list</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">)[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">param_act_inds</span><span class="p">])</span> <span class="c1"># type: ignore</span>
</span><span id="Model-207"><a href="#Model-207"><span class="linenos">207</span></a> <span class="k">else</span><span class="p">:</span>
</span><span id="Model-208"><a href="#Model-208"><span class="linenos">208</span></a> <span class="n">precond</span> <span class="o">=</span> <span class="n">CompoundFormula</span><span class="p">(</span>
</span><span id="Model-209"><a href="#Model-209"><span class="linenos">209</span></a> <span class="n">Connective</span><span class="o">.</span><span class="n">And</span><span class="p">,</span>
Expand Down Expand Up @@ -2039,7 +2039,7 @@ <h1 id="api-documentation">API Documentation</h1>
</span><span id="Model.to_pddl_lifted-203"><a href="#Model.to_pddl_lifted-203"><span class="linenos">203</span></a> <span class="nb">vars</span> <span class="o">=</span> <span class="p">[</span><span class="n">lang</span><span class="o">.</span><span class="n">variable</span><span class="p">(</span><span class="sa">f</span><span class="s2">&quot;x</span><span class="si">{</span><span class="n">i</span><span class="si">}</span><span class="s2">&quot;</span><span class="p">,</span> <span class="n">s</span><span class="p">)</span> <span class="k">for</span> <span class="n">i</span><span class="p">,</span> <span class="n">s</span> <span class="ow">in</span> <span class="nb">enumerate</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">param_sorts</span><span class="p">)]</span>
</span><span id="Model.to_pddl_lifted-204"><a href="#Model.to_pddl_lifted-204"><span class="linenos">204</span></a>
</span><span id="Model.to_pddl_lifted-205"><a href="#Model.to_pddl_lifted-205"><span class="linenos">205</span></a> <span class="k">if</span> <span class="nb">len</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1</span><span class="p">:</span>
</span><span id="Model.to_pddl_lifted-206"><a href="#Model.to_pddl_lifted-206"><span class="linenos">206</span></a> <span class="n">precond</span> <span class="o">=</span> <span class="n">lang</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="nb">list</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">)[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">name</span><span class="p">)(</span><span class="o">*</span><span class="p">[</span><span class="nb">vars</span><span class="p">[</span><span class="n">i</span><span class="p">]</span> <span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">param_act_inds</span><span class="p">])</span> <span class="c1"># type: ignore</span>
</span><span id="Model.to_pddl_lifted-206"><a href="#Model.to_pddl_lifted-206"><span class="linenos">206</span></a> <span class="n">precond</span> <span class="o">=</span> <span class="n">lang</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="nb">list</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">)[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">name</span><span class="p">)(</span><span class="o">*</span><span class="p">[</span><span class="nb">vars</span><span class="p">[</span><span class="n">i</span><span class="p">]</span> <span class="k">for</span> <span class="n">i</span> <span class="ow">in</span> <span class="nb">list</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">precond</span><span class="p">)[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">param_act_inds</span><span class="p">])</span> <span class="c1"># type: ignore</span>
</span><span id="Model.to_pddl_lifted-207"><a href="#Model.to_pddl_lifted-207"><span class="linenos">207</span></a> <span class="k">else</span><span class="p">:</span>
</span><span id="Model.to_pddl_lifted-208"><a href="#Model.to_pddl_lifted-208"><span class="linenos">208</span></a> <span class="n">precond</span> <span class="o">=</span> <span class="n">CompoundFormula</span><span class="p">(</span>
</span><span id="Model.to_pddl_lifted-209"><a href="#Model.to_pddl_lifted-209"><span class="linenos">209</span></a> <span class="n">Connective</span><span class="o">.</span><span class="n">And</span><span class="p">,</span>
Expand Down

0 comments on commit f1796d6

Please sign in to comment.