-
Alexandre Duret-Lutz authored
numbered_state_heap, numbered_state_heap_hash_map): New classes. * tgbaalgos/emptinesscheck.cc (numbered_state_heap_hash_map_const_iterator): New class. (numbered_state_heap_hash_map): Implement it.
d8f5bf60
To find the state of this project's repository at the time of any of these versions, check out the tags.