Package | Description |
---|---|
org.processmining.acceptingpetrinet.filters | |
org.processmining.acceptingpetrinet.filters.impl |
Modifier and Type | Method and Description |
---|---|
StartEndFilter |
StartEndFilterManager.getFilter(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
java.util.List<StartEndFilter> |
StartEndFilterManager.getFilters() |
Modifier and Type | Method and Description |
---|---|
boolean |
StartEndFilterManager.isDefault(StartEndFilter filter) |
void |
StartEndFilterManager.register(StartEndFilter filter,
boolean isDefault) |
Modifier and Type | Class and Description |
---|---|
class |
StartEndAbstractFilter |
class |
StartEndHideFilter |
class |
StartEndRemoveFilter |