Uses of Class
org.processmining.filterbook.parameters.NumberParameter

Packages that use NumberParameter

Package	Description
org.processmining.filterbook.parameters

Uses of NumberParameter in org.processmining.filterbook.parameters

Methods in org.processmining.filterbook.parameters that return NumberParameter

Modifier and Type	Method	Description
NumberParameter	Parameters.getNumberA()

Methods in org.processmining.filterbook.parameters with parameters of type NumberParameter

Modifier and Type	Method	Description
void	Parameters.setNumberA(NumberParameter numberA)