smfsb.`package`.MarkedSpn
case class MarkedSpn[S](species: List[String], m: S, pre: DenseMatrix[Int], post: DenseMatrix[Int], h: (S, Time) => HazardVec)(implicit evidence$1: State[S]) extends Spn[S]
Case class for SPNs that include an initial marking
Attributes
-
Graph
-
-
Supertypes
-
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Members list
Attributes
-
Inherited from:
-
Product
Attributes
-
Inherited from:
-
Product