le="Data set type class, for ABC methods">DataSet</a>
                      </li><li class="current-entities indented2">
                        <span class="separator"></span>
                        <a class="class" href="Types$$MarkedSpn.html" title="Case class for SPNs that include an initial marking"></a>
                        <a href="Types$$MarkedSpn.html" title="Case class for SPNs that include an initial marking">MarkedSpn</a>
                      </li><li class="current-entities indented2">
   