                 <a class="class" href="Abstraction.html" title="Algorithms can be instructed to use an abstraction scheme to reason about an element (see
AbstractionScheme.scala)."></a>
                        <a href="Abstraction.html" title="Algorithms can be instructed to use an abstraction scheme to reason about an element (see
AbstractionScheme.scala).">
                          Abstraction
                        </a>
                      </li><li class="current-entities indented4">
               