Skip to content
  • Pierre PARUTTO's avatar
    Revamp tgbaexplicit.hh · a15aac28
    Pierre PARUTTO authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * src/tgba/tgbaexplicit.hh, src/tgba/tgbaexplicit.cc: Factor most of
    the code in an explicit_graph<State, Type> that inherits from type.
    The tgba_explicit type<State> now inherits from
    explicit_graph<State,tgba>.
    * src/ltlvisit/contain.cc, src/neverparse/neverclaimparse.yy
    src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh, src/tgbaalgos/cutscc.cc,
    src/tgbaalgos/dupexp.cc, src/tgbaalgos/dupexp.hh,
    src/tgbaalgos/emptiness.cc, src/tgbaalgos/ltl2tgba_fm.cc,
    src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/minimize.cc,
    src/tgbaalgos/powerset.cc, src/tgbaalgos/randomgraph.cc,
    src/tgbaalgos/sccfilter.cc, src/tgbaparse/tgbaparse.yy,
    src/tgbatest/complementation.cc, src/tgbatest/explicit.cc,
    src/tgbatest/explprod.cc, src/tgbatest/ltl2tgba.cc,
    src/tgbatest/mixprod.cc, src/tgbatest/powerset.cc,
    src/tgbatest/tgbaread.cc, src/tgbatest/tripprod.cc:
    Replace tgba_explicit* by the actual type used.
    * src/tgbatest/explicit2.cc: New file.
    * src/tgbatest/Makefile.am: Add it.
    a15aac28