• Alexandre Duret-Lutz's avatar
    Make bdd_dict a shared pointer. · dc5ad78b
    Alexandre Duret-Lutz authored
    * src/tgba/bdddict.hh (bdd_dict_ptr): New type.
    (make_bdd_dict): New function.
    * iface/dve2/dve2.cc, iface/dve2/dve2.hh, iface/dve2/dve2check.cc,
    src/bin/dstar2tgba.cc, src/bin/ltlcross.cc,
    src/dstarparse/dstarparse.yy, src/dstarparse/public.hh,
    src/graphtest/tgbagraph.cc, src/kripke/kripkeexplicit.cc,
    src/kripke/kripkeexplicit.hh, src/kripke/kripkeprint.cc,
    src/kripkeparse/kripkeparse.yy, src/kripkeparse/public.hh,
    src/kripketest/parse_print_test.cc, src/ltlvisit/apcollect.cc,
    src/ltlvisit/contain.cc, src/ltlvisit/contain.hh,
    src/ltlvisit/simplify.cc, src/ltlvisit/simplify.hh,
    src/neverparse/neverclaimparse.yy, src/neverparse/public.hh,
    src/priv/accmap.hh, src/saba/saba.hh, src/saba/sabacomplementtgba.cc,
    src/saba/sabacomplementtgba.hh, src/sabatest/sabacomplementtgba.cc,
    src/ta/ta.hh, src/ta/taexplicit.cc, src/ta/taexplicit.hh,
    src/ta/taproduct.cc, src/ta/taproduct.hh, src/ta/tgtaexplicit.cc,
    src/ta/tgtaexplicit.hh, src/taalgos/dotty.cc, src/tgba/bddprint.cc,
    src/tgba/bddprint.hh, src/tgba/formula2bdd.cc, src/tgba/formula2bdd.hh,
    src/tgba/taatgba.cc, src/tgba/taatgba.hh, src/tgba/tgba.hh,
    src/tgba/tgbagraph.hh, src/tgba/tgbakvcomplement.cc,
    src/tgba/tgbakvcomplement.hh, src/tgba/tgbaproduct.cc,
    src/tgba/tgbaproduct.hh, src/tgba/tgbaproxy.cc, src/tgba/tgbaproxy.hh,
    src/tgba/tgbasafracomplement.cc, src/tgba/tgbasafracomplement.hh,
    src/tgba/tgbascc.cc, src/tgba/tgbascc.hh, src/tgba/tgbasgba.cc,
    src/tgba/tgbasgba.hh, src/tgba/tgbaunion.cc, src/tgba/tgbaunion.hh,
    src/tgba/wdbacomp.cc, src/tgbaalgos/compsusp.cc,
    src/tgbaalgos/compsusp.hh, src/tgbaalgos/degen.cc,
    src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc,
    src/tgbaalgos/emptiness.cc, src/tgbaalgos/lbtt.cc,
    src/tgbaalgos/lbtt.hh, src/tgbaalgos/ltl2taa.cc,
    src/tgbaalgos/ltl2taa.hh, src/tgbaalgos/ltl2tgba_fm.cc,
    src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/randomgraph.cc,
    src/tgbaalgos/randomgraph.hh, src/tgbaalgos/save.cc,
    src/tgbaalgos/translate.cc, src/tgbaalgos/translate.hh,
    src/tgbaalgos/word.cc, src/tgbaalgos/word.hh, src/tgbaparse/public.hh,
    src/tgbaparse/tgbaparse.yy, src/tgbatest/complementation.cc,
    src/tgbatest/explprod.cc, src/tgbatest/ltl2tgba.cc,
    src/tgbatest/ltlprod.cc, src/tgbatest/maskacc.cc,
    src/tgbatest/powerset.cc, src/tgbatest/randtgba.cc,
    src/tgbatest/taatgba.cc, src/tgbatest/tgbaread.cc,
    src/tgbatest/tripprod.cc, wrap/python/ajax/spot.in,
    wrap/python/tests/alarm.py, wrap/python/tests/ltl2tgba.py,
    wrap/python/tests/parsetgba.py: Update to use bdd_dict_ptr and
    make_bdd_dict().
    dc5ad78b
tgba.hh 9.45 KB