20 #ifndef SPOT_MISC_INTVCOMP_HH
21 # define SPOT_MISC_INTVCOMP_HH
35 std::vector<unsigned int>& output);
43 std::vector<int>& output,
size_t size);
46 SPOT_API
const std::vector<unsigned int>*
55 int* res,
size_t size);
65 int* dest,
size_t& dest_size);
73 int* res,
size_t size);
78 #endif // SPOT_MISC_INTVCOMP_HH