org.processmining.streamconformance.regions.plugin.cg
Classes
CoverabilityGraphExtender
CoverabilityGraphExtenderWithDistance
DummyCoverabilityGraphCreator
ExtendedCoverabilityGraph