org.processmining.humbertogarciacaballero.models.gui.components
Classes
ColorLeyendComponent
HotBoxMenu
NodeHotboxComponent
PlaceConformanceInformationPopUp
PlaceHotBoxComponent
SoundnessInteractionGUI
TransitionHotBoxComponent