-
Alexandre Duret-Lutz authored
(state_bdd_product, tgba_product_succ_iterator): Rename as ... (state_product, tgba_succ_iterator_product): ... these.
8a44ed08
(state_bdd_product, tgba_product_succ_iterator): Rename as ... (state_product, tgba_succ_iterator_product): ... these.