Package org.processmining.lpmsupportedwords.algorithms

Class GenerateHTMLCoverageReportAlgorithm

java.lang.Object

org.processmining.lpmsupportedwords.algorithms.GenerateHTMLCoverageReportAlgorithm

Direct Known Subclasses:

GenerateHTMLCoverageReportPlugin

public class GenerateHTMLCoverageReportAlgorithm
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static SplitLogOnLPMAlgorithmInterface	ALG

Constructor Summary

Constructors

Constructor	Description
GenerateHTMLCoverageReportAlgorithm()

Method Summary

Modifier and Type	Method	Description
static void	appendResourceToStringBuilder(java.lang.String resource, java.lang.StringBuilder sb)	Adds the contents of the given resource (some filename) to the given StringBuilder.
static java.lang.Object[]	evaluate(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.acceptingpetrinet.models.AcceptingPetriNetArray models, org.deckfour.xes.model.XLog log, GenerateHTMLCoverageReportParameters parameters)
static boolean[][]	getCoverage(org.processmining.plugins.petrinet.replayresult.PNRepResult replayResult, org.deckfour.xes.model.XLog splitLog, org.deckfour.xes.model.XLog log)	Converts a replay result based on a split log into an array of boolean arrays indicating coverage of the whole log.
static org.processmining.modelrepair.plugins.align.PNLogReplayer.ReplayParams	getReplayerParameters(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking m_initial, org.processmining.models.semantics.petrinet.Marking m_final, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClassifier classifier)
protected static double	precision(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.plugins.petrinet.replayresult.PNRepResult pnRepResult, org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)

Methods inherited from class java.lang.Object

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

Field Detail

ALG

public static final SplitLogOnLPMAlgorithmInterface ALG

Constructor Detail

GenerateHTMLCoverageReportAlgorithm

public GenerateHTMLCoverageReportAlgorithm()

Method Detail

evaluate

public static java.lang.Object[] evaluate(org.processmining.contexts.uitopia.UIPluginContext context,
                                          org.processmining.acceptingpetrinet.models.AcceptingPetriNetArray models,
                                          org.deckfour.xes.model.XLog log,
                                          GenerateHTMLCoverageReportParameters parameters)

getReplayerParameters

public static org.processmining.modelrepair.plugins.align.PNLogReplayer.ReplayParams getReplayerParameters(org.processmining.framework.plugin.PluginContext context,
                                                                                                           org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                                                                                           org.processmining.models.semantics.petrinet.Marking m_initial,
                                                                                                           org.processmining.models.semantics.petrinet.Marking m_final,
                                                                                                           org.deckfour.xes.model.XLog log,
                                                                                                           org.deckfour.xes.classification.XEventClassifier classifier)

precision

protected static double precision(org.processmining.contexts.uitopia.UIPluginContext context,
                                  org.processmining.plugins.petrinet.replayresult.PNRepResult pnRepResult,
                                  org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)

appendResourceToStringBuilder

public static void appendResourceToStringBuilder(java.lang.String resource,
                                                 java.lang.StringBuilder sb)

Adds the contents of the given resource (some filename) to the given StringBuilder.

Parameters:

resource -

sb -

getCoverage

public static boolean[][] getCoverage(org.processmining.plugins.petrinet.replayresult.PNRepResult replayResult,
                                      org.deckfour.xes.model.XLog splitLog,
                                      org.deckfour.xes.model.XLog log)

Converts a replay result based on a split log into an array of boolean arrays indicating coverage of the whole log.

Parameters:

replayResult -

splitLog -

log -

Returns:

boolean[trace][event] = (trace, event) in log is covered by the model used in replayResult