Package org.processmining.trafficlightcc.models

Class TLConfDiagnosticsBundle

java.lang.Object

org.processmining.trafficlightcc.models.TLConfDiagnosticsBundle

public class TLConfDiagnosticsBundle
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
TLConfDiagnosticsBundle(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, org.processmining.plugins.petrinet.replayresult.PNRepResult resRound1, org.processmining.plugins.petrinet.replayresult.PNRepResult resRound2, java.util.Collection<TLCElementDiagnostic> tlcDiagnostics, int nbrUnreliableAlignmentsR1, int nbrUnreliableAlignmentsR2)

Method Summary

Modifier and Type	Method	Description
int	getNbrUnreliableAlignmentsR1()
int	getNbrUnreliableAlignmentsR2()
org.processmining.models.graphbased.directed.petrinet.Petrinet	pn()
org.processmining.plugins.petrinet.replayresult.PNRepResult	resRound1()
org.processmining.plugins.petrinet.replayresult.PNRepResult	resRound2()
java.util.Collection<TLCElementDiagnostic>	tlcDiagnostics()

Methods inherited from class java.lang.Object

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

Constructor Detail

TLConfDiagnosticsBundle

public TLConfDiagnosticsBundle(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
                               org.processmining.plugins.petrinet.replayresult.PNRepResult resRound1,
                               org.processmining.plugins.petrinet.replayresult.PNRepResult resRound2,
                               java.util.Collection<TLCElementDiagnostic> tlcDiagnostics,
                               int nbrUnreliableAlignmentsR1,
                               int nbrUnreliableAlignmentsR2)

Method Detail

pn

public org.processmining.models.graphbased.directed.petrinet.Petrinet pn()

resRound1

public org.processmining.plugins.petrinet.replayresult.PNRepResult resRound1()

resRound2

public org.processmining.plugins.petrinet.replayresult.PNRepResult resRound2()

tlcDiagnostics

public java.util.Collection<TLCElementDiagnostic> tlcDiagnostics()

getNbrUnreliableAlignmentsR1

public int getNbrUnreliableAlignmentsR1()

getNbrUnreliableAlignmentsR2

public int getNbrUnreliableAlignmentsR2()