• Ala-Eddine Ben-Salem's avatar
    Add an implementation of TGTA minimization · ed27dab3
    Ala-Eddine Ben-Salem authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * src/ta/taexplicit.cc, src/ta/taexplicit.hh: Bug fix TGTA
    * src/taalgos/minimize.cc,src/taalgos/minimize.hh: TGTA minimization
    * src/taalgos/tgba2ta.cc: add a TGTA minimization command (uses -Rm)
    * src/taalgos/minimize.cc, src/taalgos/minimize.hh
    (minimize_tgbta): New function.
    * src/taalgos/tgba2ta.cc: Set livelock-accepting flag of TGTA states
    to false so they can be merged with other states.
    * src/ta/taexplicit.cc (hash): Use id.
    * src/ta/taexplicit.hh: Cosmetics.
    ed27dab3
tgba2ta.cc 20.4 KB