• martinez's avatar
    * src/tgbatest/reduccmp.test: Bug. · 8be67c19
    martinez authored
    * src/tgbatest/reductgba.test: More Test.
    
    * src/tgbatest/ltl2tgba.cc: Adjust ...
    * src/tgbaalgos/reductgba_sim_del.cc, src/tgbaalgos/reductgba_sim.hh,
    src/tgbaalgos/reductgba_sim.cc: try to optimize.
    
    * src/tgba/tgbareduc.hh, src/tgba/tgbareduc.cc: Scc reduction
    and we remove some acceptance condition in scc which are not accepting.
    * src/ltlvisit/syntimpl.cc : Some case wasn't detect.
    * src/ltlvisit/basicreduce.cc: Case FGa || FGb = F(Ga | Gb) added.
    * src/ltltest/syntimpl.test: More Test.
    * src/ltltest/syntimpl.cc: Put the formula in negative normal form.
    8be67c19