public class PetriGraphMapping<String,T>
extends java.lang.Object
Constructor and Description |
---|
PetriGraphMapping(String name,
java.util.Collection<T> coll1,
boolean isNoMapping) |
Modifier and Type | Method and Description |
---|---|
void |
addComboValues(java.util.Map<String,org.processmining.framework.util.ui.widgets.ProMComboBox> combo) |
java.util.Map<String,T> |
getMapping(boolean includeNotMapped) |