Uses of Class
org.oristool.models.gspn.chains.DTMCStationary
-
Uses of DTMCStationary in org.oristool.models.gspn.chains
Modifier and TypeMethodDescriptionabstract DTMCStationary<S>
DTMCStationary.Builder.build()
Builds a new instance with the provided configurations.