-
Jérôme Dubois authored
Fixes #424. * python/spot/impl.i: Add implicit convertion for vector<bool>. * spot/misc/game.cc, spot/misc/game.hh: Add set_state_player() and get_state_player(). * tests/python/parity.py: Test them.
ae7d4504
Fixes #424. * python/spot/impl.i: Add implicit convertion for vector<bool>. * spot/misc/game.cc, spot/misc/game.hh: Add set_state_player() and get_state_player(). * tests/python/parity.py: Test them.