Skip to content
  • Alexandre Duret-Lutz's avatar
    * iface/gspn/ltlgspn.cc (connected_component_eesrg, · 1e360ec6
    Alexandre Duret-Lutz authored
    connected_component_eesrg_factory, numbered_state_heap_eesrg_semi,
    numbered_state_heap_eesrg_const_iterator,
    numbered_state_heap_eesrg_factory_semi): New classes.
    (emptiness_check_eesrg_semi, emptiness_check_eesrg_shy_semi,
    counter_example_eesrg): New functions.
    * iface/gspn/eesrg.hh (emptiness_check_eesrg_semi,
    emptiness_check_eesrg_shy_semi, counter_example_eesrg): New
    functions.
    * iface/gspn/ltlgspn.cc [EESRG]: Adjust to call these new functions.
    1e360ec6
To find the state of this project's repository at the time of any of these versions, check out the tags.