21#include <spot/misc/common.hh>
33 std::vector<unsigned int>& output);
41 std::vector<int>& output,
size_t size);
44 SPOT_API
const std::vector<unsigned int>*
53 int* res,
size_t size);
63 int* dest,
size_t& dest_size);
71 int* res,
size_t size);
Definition: automata.hh:26