Skip to content

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.