Uses of Interface
org.processmining.stochasticlabelleddatapetrinet.probability.FollowerSemanticsData

Packages that use FollowerSemanticsData

Package	Description
org.processmining.stochasticlabelleddatapetrinet.probability

Uses of FollowerSemanticsData in org.processmining.stochasticlabelleddatapetrinet.probability

Classes in org.processmining.stochasticlabelleddatapetrinet.probability that implement FollowerSemanticsData

Modifier and Type	Class	Description
class	FollowerSemanticsDataImpl

Methods in org.processmining.stochasticlabelleddatapetrinet.probability with parameters of type FollowerSemanticsData

Modifier and Type	Method	Description
static <B> void	CrossProductSLDPN.traverse(StochasticLabelledDataPetriNetSemantics semanticsA, FollowerSemanticsData<B,DataState> systemB, org.processmining.stochasticlabelledpetrinets.probability.CrossProductResult result, org.processmining.framework.plugin.ProMCanceller canceller)