  <a class="class" href="Anytime$Runner.html" title="A class representing the actor running the algorithm."></a>
                        <a href="Anytime$Runner.html" title="A class representing the actor running the algorithm.">
                          Runner
                        </a>
                      </li>
              </ul>
            </div>
          </div>
          <div id="content">
            <body class="class type">
      <div id="definition">
        <div class="big-circle class">c</