Package org.processmining.stochasticlabelleddatapetrinet.probability

Class CrossProductSLDPN

java.lang.Object

org.processmining.stochasticlabelleddatapetrinet.probability.CrossProductSLDPN

public class CrossProductSLDPN
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
CrossProductSLDPN()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CrossProductSLDPN

public CrossProductSLDPN()

Method Detail

traverse

public static <B> void traverse(StochasticLabelledDataPetriNetSemantics semanticsA,
                                FollowerSemanticsData<B,DataState> systemB,
                                org.processmining.stochasticlabelledpetrinets.probability.CrossProductResult result,
                                org.processmining.framework.plugin.ProMCanceller canceller)