-
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