44 void initial_reserve_id(uint32_t
id);
46 void free(uint32_t index);
47 PN_stdfloat fraction_used()
const;
49 void output(std::ostream &out)
const;
50 void write(std::ostream &out)
const;
53 static const uint32_t IndexEnd;
54 static const uint32_t IndexAllocated;