Uses of Interface
org.processmining.stochasticlabelledpetrinets.probability.FollowerSemantics

Packages that use FollowerSemantics

Package	Description
org.processmining.stochasticlabelledpetrinets.probability

Uses of FollowerSemantics in org.processmining.stochasticlabelledpetrinets.probability

Classes in org.processmining.stochasticlabelledpetrinets.probability that implement FollowerSemantics

Modifier and Type	Class	Description
class	FollowerSemanticsLTL
class	FollowerSemanticsTrace

Methods in org.processmining.stochasticlabelledpetrinets.probability with parameters of type FollowerSemantics

Modifier and Type	Method	Description
static <B> void	CrossProduct.traverse(StochasticLabelledPetriNetSemantics semanticsA, FollowerSemantics<B> systemB, CrossProductResult result, org.processmining.framework.plugin.ProMCanceller canceller)