If maxSize == unbounded, returns parent.goodAllocSize(bytes). Otherwise, returns max for sizes in the interval [min, max], and parent.goodAllocSize(bytes) otherwise.
Precondition: If set at runtime, min and/or max must be initialized appropriately.
Postcondition: result >= bytes
See Implementation
If maxSize == unbounded, returns parent.goodAllocSize(bytes). Otherwise, returns max for sizes in the interval [min, max], and parent.goodAllocSize(bytes) otherwise.
Precondition: If set at runtime, min and/or max must be initialized appropriately.
Postcondition: result >= bytes