• Alexandre Duret-Lutz's avatar
    Downcase a couple of misnamed class names. · db4693b3
    Alexandre Duret-Lutz authored
    * src/misc/acccompl.hh, src/misc/acccompl.cc (AccCompl): Rename to
    acc_compl.
    * src/tgbaalgos/simulation.cc (AccComplAutomaton, Simulation): Rename
    to acc_compl_automaton and direct_simulation.  At the same time,
    reindent the whole file.
    * src/sanity/style.test: Detect capitalized class names.
    * src/kripke/kripkeexplicit.hh (KripkePrint): Remove useless
    predeclaration.
    * src/tgbaalgos/simulation.hh: Typo in comment.
    db4693b3
simulation.cc 20.4 KB