• Thibault Allançon's avatar
    mc: bloom_filter: move code out of bitstate.hh · 64bcc008
    Thibault Allançon authored
    - New bloom filter class (with only Jenkins hash for now)
    - Use std::vector<bool> instead of std::bitset to allow dynamic bitset
    - Specify memory size with command line option: -H MEM_SIZE
    * spot/mc/Makefile.am: add bloom_filter.hh
    * spot/mc/bitstate.hh: implementation here
    * spot/mc/bloom_filter.hh: implementation here
    * spot/mc/mc.hh: modify bitstate wrapper
    * tests/ltsmin/modelcheck.cc: specify mem size in CLI
mc.hh 13.4 KB