• Maximilien Colange's avatar
    add a pool allocator for STL containers · c9131aee
    Maximilien Colange authored
    * spot/priv/allocator.hh, spot/priv/Makefile.am: add a STL-compliant
      allocator based on spot::fixed_size_pool
    * spot/misc/fixpool.hh, spot/misc/fixpool.cc, spot/misc/Makefile.am:
      refactor the existing spot::fixed_size_pool
    * spot/ltsmin/ltsmin.cc, spot/twa/twaproduct.cc: reflect changes in the
      interface of spot::fixed_size_pool
    * tests/core/mempool.cc: test the new allocator
    c9131aee
fixpool.cc 2.72 KB