All Classes

Class	Description
BaseLayoutInfo
CompEvClassOccPosInfo
ContentAlignment
CostAdaptation
CostAdaptStep	Configure if the specified alignment cost functions should be automatically adapted to resolve practical non-determinism problems.
DiagnosticDetailTableModel
DiagnosticSelectionChangedEvent
DiagnosticSelectionChangedListener
DotPanelNodePictures	Extends the DotPanel by functionality to add SVG elements to existing dot elements.
EvClassLogOccInfoData
EvClassOccPosTieBreakInfo
EvClassTransMapping	Similar to the TransEvClassMapping; however, it reverses the map thereby offering the option to map multiple event classes to the same transition
EvClOccInfo
EventClassAggStat
EventClassBridgeR1R2
EventClassClickListener
EventClassesContainerR2
EventClassSelectedEvent
EventIndexBasedTLDiagnostics
EventIndexOrderDiagnostics
EventIndexSyncDiagnostic
EventOccurrenceInfo
FrequencyBasedCostManipulator
IndexedAResult
IndexedPOAResult
InOutInLayoutableBox
InOutInLayoutableElement
LogLoader
LogStatUtil
MoveConformanceInfo
MultEvTransMapAwarePILPDelegate
MyProMDebugClassLoader
OrderDiagnosticType
ParitalRunInstanceSecondRun
PartialRunInstanceCreator
PartialRunInstanceFirstRun
PerformanceLogger
PetriNetReplayCloner
PicAdditional	Symbol: |--| | | | | ==== ==== | | ==== ==== | | | | |--|
PicChaos	Symbol: Circle
PicDiagnostic
PicDiagnosticBlockTriangle	Symbol |==========|- | | - | | - | | - |==========|-
PicDiagnosticCircle
PicDiagnosticTriangle
PicEarly	Symbol: -| - | - | - | -|
PicLate	Symbol |- | - | - | - |-
PicMissing	Symbol: ============ | | ============
PicOrientation
PicSync	Symbol: Circle
PNLoader
PNRun
PNRunExtractor
PNRunNetBuilder
POABaseAnalyzer
POILPMultEvTransMapReplayer
POReplayDataWrapper
POReplayResultContainerR1
POReplayResultContainerR2	Class that contains the replay results of the second traffic light conformance round
PreferenceByCost
PrintUtil
ProMElementCloner
PromReplayBundle
PTraceBuilderRelaxedReplay
StopwatchLifeCycle
StopwatchMilestone
SVGElementManipulator<T extends com.kitfox.svg.SVGElement>
TimeMeasurement	Class that represents a time measurement.
TL2Svg
TLCCConnection
TLCDiagDetailsView
TLCDiagnosticNonPNTLView
TLCDiagnosticPNView
TLCDiagnosticsBaseAggregator
TLCDiagnosticsModel
TLCDiagnosticsVisualization
TLCDOrderTimeView
TLCDSupervisingPresenter
TLCElementDiagnostic
TLCElementOrderDiagnostic
TLCElementType
TLConfDiag
TLConfDiagnosticsBundle
TLConfDiagnosticsVisualizationPlugin
TLConfDiagStat
TLConfIndexDiagnosticsBundle
TLConformanceType
TLConfParameters
TLConfResult
TLCOrderDiagnostic	Value saved for early occurrences Value saved for late occurrences Value saved for chaotic occurrences (neither late nor early; however, we might have skipped a segment due to misordering)
TLMetricNormalization
TLRowLayoutHorizontalGroup
TLRowLayoutVerticalGroup
TLVariantIndexDiagnostics
TLVariantReplayResult
TrafficLightConfAlg
TrafficLightConformancePlugin
TrafficLightConfParamUI	Copied from Xixi's PNReplayerUI (transitive copy from Arya's alignment UI).
TrafficLightPic
TransitionClickListener
TransitionSelectedEvent
TransitionSelectedEventImpl
VisualizationUtility