• Alexandre Duret-Lutz's avatar
    tgba: remove the support_variable() method. · 0fba428c
    Alexandre Duret-Lutz authored
    * src/kripke/fairkripke.cc, src/kripke/fairkripke.hh,
    src/ta/tgtaexplicit.cc, src/ta/tgtaexplicit.hh, src/tgba/taatgba.cc,
    src/tgba/taatgba.hh, src/tgba/tgba.cc, src/tgba/tgba.hh,
    src/tgba/tgbabddconcrete.cc, src/tgba/tgbabddconcrete.hh,
    src/tgba/tgbaexplicit.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/tgbatba.cc, src/tgba/tgbatba.hh,
    src/tgba/tgbaunion.cc, src/tgba/tgbaunion.hh, src/tgba/wdbacomp.cc:
    Remove anything related to support_variables() and
    compute_support_variables().
    * NEWS: Mention it.
    * src/tgbaalgos/powerset.cc: Adjust the computation of all possible
    conditions.
    0fba428c
tgba.hh 10.5 KB