         </div>
                    <div class="section" id="Straph-Functionalities">
                        <h2>Straph Functionalities<a class="headerlink" href="#Straph-Functionalities"
                                                     title="Permalink to this headline">¶</a></h2>
                        <p><code class="docutils literal notranslate"><span class="pre">Straph</span></code> provides
                            many features, some are ‘global’ and describe a stream graph as a whole, 