Function ADS::binaryPack

• Defined in File BinaryPacking.h

Function Documentation

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

the binary packing 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:

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