• Thibaud Michaud's avatar
    Optimizing closure and sl. · fcf6e251
    Thibaud Michaud authored
    * src/tgbaalgos/closure.cc, src/tgbaalgos/closure.hh: Using vectors
    instead of sets and unordered maps, adding an overload to handle rvalue
    references.
    * src/tgbaalgos/stutterize.cc, src/tgbaalgos/stutterize.hh: Adding
    an overload to handle rvalue references.
    * bench/stutter/stutter_invariance_formulas.cc,
    bench/stutter/stutter_invariance_randomgraph.cc: Automata are modified
    in-place by is_stutter_invariant so they have to be copied before being
    processed.
    * src/tgbaalgos/stutter_invariance.cc,
    src/tgbaalgos/stutter_invariance.hh: Use the in-place version of
    closure and sl.
    fcf6e251
stutterize.hh 1.46 KB