public class PatternMappingPanelExt
extends PatternMappingPanel
Constructor and Description |
---|
PatternMappingPanelExt() |
Modifier and Type | Method and Description |
---|---|
void |
updateTransClass(PetrinetGraph net,
ITransClassifier transClassifier,
java.lang.Object[] patternsWithNone,
boolean showOneMatchDialog) |