22 #include <spot/misc/common.hh>
34 std::vector<unsigned int>& output);
42 std::vector<int>& output,
size_t size);
45 SPOT_API
const std::vector<unsigned int>*
54 int* res,
size_t size);
64 int* dest,
size_t& dest_size);
72 int* res,
size_t size);
Definition: automata.hh:27