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