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