scala-smfsb/smfsb/MarkedSpn

MarkedSpn

case class MarkedSpn[S](species: List[String], m: S, pre: DenseMatrix[Int], post: DenseMatrix[Int], h: (S, Time) => HazardVec)(implicit evidence$2: State[S]) extends Spn[S]

Case class for SPNs that include an initial marking

trait Serializable
trait Product
trait Equals
trait Spn[S]
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product