"reference internal" href="#getoperator">getOperator</a><ul>
<li><a class="reference internal" href="#id28">Returns</a></li>
</ul>
</li>
<li><a class="reference internal" href="#setwalk">setWalk</a><ul>
<li><a class="reference internal" href="#id29">Parameters</a></li>
</ul>
</li>
<li><a class="reference internal" href="#getwalk">getWalk</a><ul>
<li><a class="reference internal" href="#id30">Returns</a></li>
</ul>
</li>
<li><a class="reference internal" href="#getfinalstate">getFinalState</a><ul>
<li><a cla