-
Denis Poitrenaud authored
* src/tgbaalgos/ndfs_result.hxx: Implement the spot::acss_statistics interface. * src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc, src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: Add to each heap class a method returning its size.
603b49e2