-
Alexandre Duret-Lutz authored
The bitvect implementation seems a tad faster, but most importantly this removes the last dependency on Boost. * src/tgba/tgbasafracomplement.cc: Replace boost::dynamic_bitset by spot::bitvect.
92ef3e10
The bitvect implementation seems a tad faster, but most importantly this removes the last dependency on Boost. * src/tgba/tgbasafracomplement.cc: Replace boost::dynamic_bitset by spot::bitvect.