Skip to content

Do not hardwire BitsetVector as default in IterationStep

oliver.sander_at_tu-dresden.de requested to merge generalize-bitvector-in-iterationstep into master

Use DefaultBitVector_t instead. That way, the default has to be overridden less frequently.

Merge request reports