• Alexandre Duret-Lutz's avatar
    Cleanup the DFA minimization algorithm. · 92126a6c
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.