-
Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (minimize): Move the minimization code into... (minimize_dfa): ... this new function, and fix the condition under which a partition is considered to be minimal. Also use a map instead of a list to lookup known formulae.
92126a6c
To find the state of this project's repository at the time of any of these versions, check out the tags.