Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/gtec/nsheap.cc (numbered_state_heap_hash_map::find): · 8ff4ca08
    Alexandre Duret-Lutz authored
    Rewrite.
    (numbered_state_heap_hash_map::index): New functions.
    (numbered_state_heap_hash_map::filter): Delete.
    * src/tgbaalgos/gtec/nsheap.hh
    (numbered_state_heap_hash_map::index): New functions.
    (numbered_state_heap_hash_map::filter): Delete.
    * iface/gspn/eesrg.cc (numbered_state_heap_eesrg_semi::find,
    numbered_state_heap_eesrg_semi::index): Rewrite.
    (numbered_state_heap_eesrg_semi::filter): Remove.
    * src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/ce.cc:
    Adjust to use find() and index() instead of filter()..
    8ff4ca08
To find the state of this project's repository at the time of any of these versions, check out the tags.