Package | Description |
---|---|
org.processmining.filterbook.parameters |
Modifier and Type | Method and Description |
---|---|
NumberParameter |
Parameters.getNumberA() |
Modifier and Type | Method and Description |
---|---|
void |
Parameters.setNumberA(NumberParameter numberA) |