19 #ifndef SPOT_MISC_INTVCOMP_HH
20 # define SPOT_MISC_INTVCOMP_HH
33 std::vector<unsigned int>& output);
41 std::vector<int>& output,
size_t size);
44 const std::vector<unsigned int>*
53 int* res,
size_t size);
63 int* dest,
size_t& dest_size);
71 int* res,
size_t size);
76 #endif // SPOT_MISC_INTVCOMP_HH