• Alexandre Duret-Lutz's avatar
    tgba_succ_iterator: have first() and next() return a bool · 1a5c0cb1
    Alexandre Duret-Lutz authored
    The returned Boolean indicates whether there is a successor or not.
    This way
    |  for (i->first(); !i->done(); i->next())
    |    {
    |       ...
    |    }
    can be replaced by
    | if (i->first()) do
    |   {
    |      ...
    |   }
    | while (i->next());
    avoiding all the virtual calls to done().
    * iface/dve2/dve2.cc, src/kripke/kripkeexplicit.cc,
    src/kripke/kripkeexplicit.hh, src/ta/ta.hh, src/ta/taexplicit.cc,
    src/ta/taexplicit.hh, src/ta/taproduct.cc, src/ta/taproduct.hh,
    src/ta/tgtaproduct.cc, src/ta/tgtaproduct.hh, src/tgba/succiter.hh,
    src/tgba/succiterconcrete.cc, src/tgba/succiterconcrete.hh,
    src/tgba/taatgba.cc, src/tgba/taatgba.hh, src/tgba/tgba.hh,
    src/tgba/tgbaexplicit.hh, src/tgba/tgbakvcomplement.cc,
    src/tgba/tgbamask.cc, src/tgba/tgbaproduct.cc,
    src/tgba/tgbasafracomplement.cc, src/tgba/tgbasgba.cc,
    src/tgba/tgbatba.cc, src/tgba/tgbaunion.cc, src/tgba/tgbaunion.hh,
    src/tgba/wdbacomp.cc: Implement and adjust to this new interface.