• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/gtec/nsheap.hh, src/tgbaalgos/gtec/nsheap.cc · 93f77c57
    Alexandre Duret-Lutz authored
    (index_and_insert): New function.
    * src/tgbaalgos/gtec/gtec.cc (couvreur99_check_shy::check): Rewrite.
    (couvreur99_check_shy::clear_todo): New method.
    * src/tgbaalgos/gtec/gtec.hh (couvreur99_check_shy::todo_item): New
    struct.
    * iface/gspn/ssp.cc (numbered_state_heap_ssp_semi::index_and_insert):
    New method.
    93f77c57