Dear Spot development team,
I am currently working on a python project that uses Spot to process
omega-automata. We want to use tgba_powerset() and obtain a map from states
of the original automaton to the sets representing states of the
deterministic automaton. There is a struct power_map, which one can obtain
when passing it as an argument to tgba_powerset(). However, it returns
SwigPyObject (obtained form C++ method) that is not iterable and we cannot
convert the object to Python dictionary/list/set. One can use
power_map.states_of(const int), however it is also not iterable. Is there a
workaround for this problem? Could you add support for this in python or
make power_map.states_of(const int) iterable?
This fix would be a big help to our project from which we want to publish a
paper soon. Thank you very much for the possible collaboration.
Best regards,
Marek Jankola
