dented6">
                        <span class="separator"></span>
                        <a class="object" href="WalkSAT$.html" title=""></a>
                        <a href="WalkSAT$.html" title="">
                          WalkSAT
                        </a>
                      </li>
              </ul>
            </div>
          </div>
          <div id="content">
            <body class="class type">
      <div id="definition">
        <a href="BlockSampler$.html" title="See companion object"><di