ink">
      <a href="../../../../../../ch/unibas/cs/gravis/thriftservice/scripts/AugmentModel$.html#notifyAll():Unit"
         title="Permalink">
        <i class="material-icons"></i>
      </a>
    </span>
                                <span class="modifier_kind">
        <span class="modifier">final </span>
        <span class="kind">def</span>
      </span>
                                <span class="symbol">
        <span class="name">notifyAll</span><span class="params">()</span><span
          