deploy: 8bf8fc5

_autosummary/specless.automaton.transition_system.MinigridTransitionSystem.html

@@ -2252,7 +2252,7 @@ <h1>specless.automaton.transition_system.MinigridTransitionSystem<a class="heade
 
 <dl class="py method">
 <dt class="sig sig-object py" id="specless.automaton.transition_system.MinigridTransitionSystem.run">
-<span class="sig-name descname"><span class="pre">run</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="pre">word:</span> <span class="pre">{&lt;enum</span> <span class="pre">'IntEnum'&gt;,</span> <span class="pre">typing.Hashable,</span> <span class="pre">typing.Iterable[enum.IntEnum],</span> <span class="pre">typing.Iterable[typing.Hashable]},</span> <span class="pre">record_video:</span> <span class="pre">bool</span> <span class="pre">=</span> <span class="pre">False,</span> <span class="pre">video_folder:</span> <span class="pre">str</span> <span class="pre">=</span> <span class="pre">'',</span> <span class="pre">**get_next_state_kwargs:</span> <span class="pre">dict</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">Tuple</span><span class="p"><span class="pre">[</span></span><span class="pre">Iterable</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">,</span></span><span class="w"> </span><span class="pre">Iterable</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">]</span></span></span></span><a class="reference internal" href="../_modules/specless/automaton/transition_system.html#MinigridTransitionSystem.run"><span class="viewcode-link"><span class="pre">[source]</span></span></a><a class="headerlink" href="#specless.automaton.transition_system.MinigridTransitionSystem.run" title="Permalink to this definition"></a></dt>
+<span class="sig-name descname"><span class="pre">run</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="pre">word:</span> <span class="pre">{typing.Iterable[typing.Hashable],</span> <span class="pre">typing.Iterable[enum.IntEnum],</span> <span class="pre">typing.Hashable,</span> <span class="pre">&lt;enum</span> <span class="pre">'IntEnum'&gt;},</span> <span class="pre">record_video:</span> <span class="pre">bool</span> <span class="pre">=</span> <span class="pre">False,</span> <span class="pre">video_folder:</span> <span class="pre">str</span> <span class="pre">=</span> <span class="pre">'',</span> <span class="pre">**get_next_state_kwargs:</span> <span class="pre">dict</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">Tuple</span><span class="p"><span class="pre">[</span></span><span class="pre">Iterable</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">,</span></span><span class="w"> </span><span class="pre">Iterable</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">]</span></span></span></span><a class="reference internal" href="../_modules/specless/automaton/transition_system.html#MinigridTransitionSystem.run"><span class="viewcode-link"><span class="pre">[source]</span></span></a><a class="headerlink" href="#specless.automaton.transition_system.MinigridTransitionSystem.run" title="Permalink to this definition"></a></dt>
 <dd><p>processes a input word and produces a output word &amp; state sequence</p>
 </dd></dl>
 
@@ -2522,7 +2522,7 @@ <h1>specless.automaton.transition_system.MinigridTransitionSystem<a class="heade
 
 <dl class="py method">
 <dt class="sig sig-object py" id="specless.automaton.transition_system.MinigridTransitionSystem.transition">
-<span class="sig-name descname"><span class="pre">transition</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">curr_state:</span> <span class="pre">~typing.Hashable</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">input_symbol:</span> <span class="pre">{&lt;enum</span> <span class="pre">'IntEnum'&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">typing.Hashable}</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">**get_next_state_kwargs:</span> <span class="pre">dict</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">Tuple</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">,</span></span><span class="w"> </span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span></span></span><a class="reference internal" href="../_modules/specless/automaton/transition_system.html#MinigridTransitionSystem.transition"><span class="viewcode-link"><span class="pre">[source]</span></span></a><a class="headerlink" href="#specless.automaton.transition_system.MinigridTransitionSystem.transition" title="Permalink to this definition"></a></dt>
+<span class="sig-name descname"><span class="pre">transition</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">curr_state:</span> <span class="pre">~typing.Hashable</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">input_symbol:</span> <span class="pre">{typing.Hashable</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">&lt;enum</span> <span class="pre">'IntEnum'&gt;}</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">**get_next_state_kwargs:</span> <span class="pre">dict</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">Tuple</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">,</span></span><span class="w"> </span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span></span></span><a class="reference internal" href="../_modules/specless/automaton/transition_system.html#MinigridTransitionSystem.transition"><span class="viewcode-link"><span class="pre">[source]</span></span></a><a class="headerlink" href="#specless.automaton.transition_system.MinigridTransitionSystem.transition" title="Permalink to this definition"></a></dt>
 <dd><p>transitions the TS given the current TS state and an input symbol, then
 outputs the state observation.</p>
 <p>Note: Accepts both a TS symbol or one of self.actions.</p>

_autosummary/specless.automaton.transition_system.TSBuilder.html

@@ -130,7 +130,7 @@ <h1>specless.automaton.transition_system.TSBuilder<a class="headerlink" href="#s
 </table>
 <dl class="py method">
 <dt class="sig sig-object py" id="specless.automaton.transition_system.TSBuilder.__call__">
-<span class="sig-name descname"><span class="pre">__call__</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">graph_data:</span> <span class="pre">{&lt;class</span> <span class="pre">'str'&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">&lt;class</span> <span class="pre">'specless.wrapper.tswrapper.TransitionSystemWrapper'&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="specless.automaton.transition_system.TransitionSystem.html#specless.automaton.transition_system.TransitionSystem" title="specless.automaton.transition_system.TransitionSystem"><span class="pre">TransitionSystem</span></a></span></span><a class="reference internal" href="../_modules/specless/automaton/transition_system.html#TSBuilder.__call__"><span class="viewcode-link"><span class="pre">[source]</span></span></a><a class="headerlink" href="#specless.automaton.transition_system.TSBuilder.__call__" title="Permalink to this definition"></a></dt>
+<span class="sig-name descname"><span class="pre">__call__</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">graph_data:</span> <span class="pre">{&lt;class</span> <span class="pre">'specless.wrapper.tswrapper.TransitionSystemWrapper'&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">&lt;class</span> <span class="pre">'str'&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="specless.automaton.transition_system.TransitionSystem.html#specless.automaton.transition_system.TransitionSystem" title="specless.automaton.transition_system.TransitionSystem"><span class="pre">TransitionSystem</span></a></span></span><a class="reference internal" href="../_modules/specless/automaton/transition_system.html#TSBuilder.__call__"><span class="viewcode-link"><span class="pre">[source]</span></span></a><a class="headerlink" href="#specless.automaton.transition_system.TSBuilder.__call__" title="Permalink to this definition"></a></dt>
 <dd><p>Returns an initialized TransitionSystem instance given the graph_data</p>
 <p>graph_data and graph_data_format must match</p>
 <dl class="field-list simple">

_autosummary/specless.automaton.transition_system.TransitionSystem.html

@@ -2212,7 +2212,7 @@ <h1>specless.automaton.transition_system.TransitionSystem<a class="headerlink" h
 
 <dl class="py method">
 <dt class="sig sig-object py" id="specless.automaton.transition_system.TransitionSystem.run">
-<span class="sig-name descname"><span class="pre">run</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">word</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">{typing.Hashable,</span> <span class="pre">typing.Iterable[typing.Hashable]}</span></span></em>, <em class="sig-param"><span class="o"><span class="pre">**</span></span><span class="n"><span class="pre">get_next_state_kwargs</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">dict</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">Tuple</span><span class="p"><span class="pre">[</span></span><span class="pre">Iterable</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">,</span></span><span class="w"> </span><span class="pre">Iterable</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">]</span></span></span></span><a class="reference internal" href="../_modules/specless/automaton/transition_system.html#TransitionSystem.run"><span class="viewcode-link"><span class="pre">[source]</span></span></a><a class="headerlink" href="#specless.automaton.transition_system.TransitionSystem.run" title="Permalink to this definition"></a></dt>
+<span class="sig-name descname"><span class="pre">run</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">word</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">{typing.Iterable[typing.Hashable],</span> <span class="pre">typing.Hashable}</span></span></em>, <em class="sig-param"><span class="o"><span class="pre">**</span></span><span class="n"><span class="pre">get_next_state_kwargs</span></span><span class="p"><span class="pre">:</span></span><span class="w"> </span><span class="n"><span class="pre">dict</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">Tuple</span><span class="p"><span class="pre">[</span></span><span class="pre">Iterable</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">,</span></span><span class="w"> </span><span class="pre">Iterable</span><span class="p"><span class="pre">[</span></span><span class="pre">Hashable</span><span class="p"><span class="pre">]</span></span><span class="p"><span class="pre">]</span></span></span></span><a class="reference internal" href="../_modules/specless/automaton/transition_system.html#TransitionSystem.run"><span class="viewcode-link"><span class="pre">[source]</span></span></a><a class="headerlink" href="#specless.automaton.transition_system.TransitionSystem.run" title="Permalink to this definition"></a></dt>
 <dd><p>processes a input word and produces a output word &amp; state sequence</p>
 <dl class="field-list simple">
 <dt class="field-odd">Parameters<span class="colon">:</span></dt>

_modules/specless/tsp/solver/milp.html

@@ -169,7 +169,7 @@ <h1>Source code for specless.tsp.solver.milp</h1><div class="highlight"><pre>
 
         <span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">come_back_home</span><span class="p">:</span>
             <span class="k">return</span> <span class="n">tours</span>
-        <span class="k">return</span> <span class="n">tours</span>
+        <span class="k">return</span> <span class="nb">list</span><span class="p">(</span><span class="nb">map</span><span class="p">(</span><span class="k">lambda</span> <span class="n">x</span><span class="p">:</span> <span class="n">x</span><span class="p">[</span><span class="mi">0</span><span class="p">:</span><span class="o">-</span><span class="mi">1</span><span class="p">],</span> <span class="n">tours</span><span class="p">))</span>
 
     <span class="k">def</span> <span class="nf">get_cost</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">m</span><span class="p">):</span>
         <span class="k">return</span> <span class="nb">float</span><span class="p">(</span><span class="n">m</span><span class="o">.</span><span class="n">objVal</span><span class="p">)</span>
@@ -314,7 +314,7 @@ <h1>Source code for specless.tsp.solver.milp</h1><div class="highlight"><pre>
         <span class="c1"># TODO:</span>
         <span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">come_back_home</span><span class="p">:</span>
             <span class="k">return</span> <span class="n">tours</span>
-        <span class="k">return</span> <span class="n">tours</span>
+        <span class="k">return</span> <span class="nb">list</span><span class="p">(</span><span class="nb">map</span><span class="p">(</span><span class="k">lambda</span> <span class="n">x</span><span class="p">:</span> <span class="n">x</span><span class="p">[</span><span class="mi">0</span><span class="p">:</span><span class="o">-</span><span class="mi">1</span><span class="p">],</span> <span class="n">tours</span><span class="p">))</span>
 
     <span class="k">def</span> <span class="nf">get_timestamps</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">m</span><span class="p">,</span> <span class="n">variables</span><span class="p">,</span> <span class="n">tour</span><span class="p">):</span>
         <span class="k">if</span> <span class="nb">len</span><span class="p">(</span><span class="n">tour</span><span class="p">)</span> <span class="o">&lt;</span> <span class="mi">2</span><span class="p">:</span>