Function ADS::patchedPack

• Defined in File BinaryPacking.h

Function Documentation

inline std::vector<std::uint8_t> ADS::patchedPack(std::span<const std::uint32_t> x, bool sorted = false)

the patched binary packing (PFor) of x in blocks of 128 integers, of their differences at a distance of 4 if sorted

Pre:

if sorted, x is non-decreasing (an audit)

Post:

patchedUnpack( result , x.size() , sorted ) == x (an audit)