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

Packages that use CrossProductResult

Package	Description
org.processmining.stochasticlabelledpetrinets.probability

Uses of CrossProductResult in org.processmining.stochasticlabelledpetrinets.probability

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

Modifier and Type	Class	Description
class	CrossProductResultDot
class	CrossProductResultSolver

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

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