n name="smfsb.UnmarkedSpn.S" class="extype">S</span>]</span>)</span><span class="result"> extends <a href="package$$Spn.html" name="smfsb.Spn" id="smfsb.Spn" class="extype">Spn</a>[<span name="smfsb.UnmarkedSpn.S" class="extype">S</span>] with <span name="scala.Product" class="extype">Product</span> with <span name="scala.Serializable" class="extype">Serializable</span></span></span></h4><div id="comment" class="fullcommenttop"><div class="comment cmt"><p>Case class for SPNs without an initial marking
</p><