-
Alexandre Duret-Lutz authored
(parity_game_graph_delayed::nb_set_acc_cond): Simplify.
fc4f4f72
To find the state of this project's repository at the time of any of these versions, check out the tags.
(parity_game_graph_delayed::nb_set_acc_cond): Simplify.