• Alexandre Duret-Lutz's avatar
    Improve some Doxygen comments. · 543de077
    Alexandre Duret-Lutz authored
    This follows up on a mail from Sonali Dutta.
    
    * src/tgba/bdddict.hh (assert_emptiness, ~bdd_dict): Better
    documentation.
    * src/tgba/formula2bdd.hh (formula_to_bdd): Mention
    unregister_all_my_variables().
    (bdd_to_formula): Complete the documentation.
    * THANKS: Add Sonali Dutta.
    543de077