-
Alexandre Duret-Lutz authored
numbered_state_heap_ssp_semi): Implement a double hash_map using greatspn's new container() function. * iface/gspn/ssp.hh (gspn_ssp_interface): Add a doublehash option. * iface/gspn/ltlgspn.cc: Add option -1 to disable this optimization.
857f0ac5
To find the state of this project's repository at the time of any of these versions, check out the tags.