WeightedPIRBase Properties
This is DefaultMeasurementsPerTransmission, a member of class WeightedPIRBase.