-
Alexandre Duret-Lutz authored
invalidated iterators. * tgba/bdddict.cc (unregister_variable): New methods, extracted from ... (bdd_dict::unregister_all_my_variables): ... here. * tgba/bdddict.hh (unregister_variable): Declare them.
3c3b23bf
To find the state of this project's repository at the time of any of these versions, check out the tags.