public interface AbstractionElementListener
Modifier and Type | Method and Description |
---|---|
void |
abstractionActivityModified(java.util.Set<java.lang.String> originalAlphabet,
java.util.Set<java.lang.String> modifiedAlphabet,
boolean applyGlobally) |