                    class="indented7 " data-isabs="false" fullComment="yes" group="Ungrouped">
                        <a id="evaluators"></a><a id="evaluators:evaluators"></a>
                        <span class="permalink">
      <a href="../../../../../../ch/unibas/cs/gravis/thriftservice/sampling/index.html#evaluators"
         title="Permalink">
        <i class="material-icons"></i>
      </a>
    </span>
                        <span class="modifier_kind">
        <span class="modifier"></span>
  