is_inherently_weak should support alternating automata
The current implementation of is_inherently_weak does not support alternating automata
Once it does, there is a shortcut in spot::to_weak_alternating() that can be done.
The current implementation of is_inherently_weak does not support alternating automata
Once it does, there is a shortcut in spot::to_weak_alternating() that can be done.