• Alexandre Duret-Lutz's avatar
    powerset: rewrite the determinization construction using bitvectors · f958c519
    Alexandre Duret-Lutz authored
    This helps issue #26 considerably, but I'm not closing it because there
    are a few places here and there that can be cleaned up.  For instance
    build_state_set in minimize.cc should be rewritten.
    
    * src/misc/bitvect.hh (bitvector_array::clear_all): New method.
    * src/tgbaalgos/powerset.cc (tgba_powerset): Rewrite it.
    * src/tgbaalgos/powerset.hh (power_map): Simplify.
    f958c519