remove prop_single_acc_set()
We do not need to use a bit to store whether a tgba has a single acceptance set.
has_single_acc_set()
can now be rewritten by checking whether acc().num_sets() == 1
.
We do not need to use a bit to store whether a tgba has a single acceptance set.
has_single_acc_set()
can now be rewritten by checking whether acc().num_sets() == 1
.