inition Classes</dt>
                                <dd><a href="../index.html" class="extype"
                                       name="ch.unibas.cs.gravis.thriftservice">thriftservice</a>
                                </dd>
                            </dl>
                        </div>
                    </li>
                    <li class="current-entities indented6">
                        <span class="separator"></span>
                        <a class="object" href="" title=""></a>
         