e_strategy</a></span><span class="op">(</span></span></span>
<span class="r-in"><span>  transition <span class="op">=</span> <span class="va">mat1</span>,</span></span>
<span class="r-in"><span>  <span class="fu"><a href="define_state.html">define_state</a></span><span class="op">(</span>var <span class="op">=</span> <span class="va">a</span><span class="op">)</span>,</span></span>
<span class="r-in"><span>  <span class="fu"><a href="define_state.html">define_state</a></span><span class="op">(</span>var <sp