Skip to content
  • Alexandre Duret-Lutz's avatar
    Introduct a down_cast macro. · 9f63bb66
    Alexandre Duret-Lutz authored
    * src/misc/casts.hh: New file.
    * src/misc/Makefile.am: Add it.
    * iface/dve2/dve2.cc, iface/gspn/gspn.cc, iface/gspn/ssp.cc,
    src/evtgba/explicit.cc, src/evtgba/product.cc, src/misc/casts.hh,
    src/tgba/state.hh, src/tgba/statebdd.cc, src/tgba/taatgba.cc,
    src/tgba/taatgba.hh, src/tgba/tgbabddconcrete.cc,
    src/tgba/tgbaexplicit.cc, src/tgba/tgbaexplicit.hh,
    src/tgba/tgbakvcomplement.cc, src/tgba/tgbaproduct.cc,
    src/tgba/tgbasafracomplement.cc, src/tgba/tgbasgba.cc,
    src/tgba/tgbatba.cc, src/tgba/tgbaunion.cc, src/tgba/wdbacomp.cc,
    src/tgbaalgos/ndfs_result.hxx, src/tgbaalgos/reductgba_sim.cc,
    src/tgbaalgos/reductgba_sim_del.cc: Use down_cast when
    appropriate.
    9f63bb66