Class CrossProduct
- java.lang.Object
-
- org.processmining.stochasticlabelledpetrinets.probability.CrossProduct
-
public class CrossProduct extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description CrossProduct()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <B> voidtraverse(StochasticLabelledPetriNetSemantics semanticsA, FollowerSemantics<B> systemB, CrossProductResult result, org.processmining.framework.plugin.ProMCanceller canceller)
-
-
-
Method Detail
-
traverse
public static <B> void traverse(StochasticLabelledPetriNetSemantics semanticsA, FollowerSemantics<B> systemB, CrossProductResult result, org.processmining.framework.plugin.ProMCanceller canceller)
-
-