final case classInitialized(initialMarking: Seq[ProducedToken] = Nil, initialState: Option[SerializedData] = None) extends GeneratedMessage with Message[Initialized] with Updatable[Initialized] with Product with Serializable
Annotations
@SerialVersionUID()
Linear Supertypes
Product, Equals, Updatable[Initialized], Message[Initialized], GeneratedMessage, Serializable, Serializable, AnyRef, Any