1. 12 Jul, 2004 1 commit
  2. 07 Jul, 2004 1 commit
  3. 15 Apr, 2004 1 commit
    • Alexandre Duret-Lutz's avatar
      * iface/gspn/eesrg.cc (connected_component_eesrg::has_state): · be4f4e33
      Alexandre Duret-Lutz authored
      Free filtered states.
      (emptiness_check_shy_eesrg): New class.
      (emptiness_check_eesrg_shy): New function.
      * iface/gspn/eesrg.hh (emptiness_check_eesrg_shy): New function.
      * iface/gspn/ltlgspn.cc (main) [EESRG]: Handle -e3, -e4, and -e5.
      * * src/tgbaalgos/gtec/gtec.hh, src/tgbaalgos/gtec/gtec.cc
      (emptiness_check_shy::check): Move arc, num, succ_queue, and todo
      as attributes.
      (emptiness_check_shy::find_state): New virtual function.
      be4f4e33
  4. 14 Apr, 2004 2 commits
    • Alexandre Duret-Lutz's avatar
      * src/tgbaalgos/gtec/nsheap.hh (numbered_state_heap_factory, · a2cd1de2
      Alexandre Duret-Lutz authored
      numbered_state_heap_hash_map_factory): New class.
      * src/tgbaalgos/gtec/nsheap.cc (numbered_state_heap_hash_map_factory):
      Implement it.
      * src/tgbaalgos/gtec/gtec.hh (emptiness_check::emptiness_check,
      emptiness_check_shy::emptiness_check_shy): Take a
      numbered_state_heap_factory argument.
      * tgbaalgos/gtec/status.hh
      (emptiness_check_status::emptiness_check_status): Likewise.
      (emptiness_check_status::h): Make it a numbered_state_heap*.
      * src/tgbaalgos/gtec/ce.cc, tgbaalgos/gtec/gtec.cc,
      tgbaalgos/gtec/status.cc: Adjust uses of ecs_->h.
      a2cd1de2
    • Alexandre Duret-Lutz's avatar
      * src/tgbaalgos/emptinesscheck.hh, src/tgbaalgos/emptinesscheck.cc: · 579c343e
      Alexandre Duret-Lutz authored
      Delete and split into ...
      * src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/gtec/ce.hh,
      src/tgbaalgos/gtec/explscc.cc, src/tgbaalgos/gtec/explscc.hh,
      src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/gtec.hh,
      src/tgbaalgos/gtec/nsheap.cc, src/tgbaalgos/gtec/nsheap.hh,
      src/tgbaalgos/gtec/sccstack.cc, src/tgbaalgos/gtec/sccstack.hh,
      src/tgbaalgos/gtec/status.cc, src/tgbaalgos/gtec/status.hh: ...
      these new files.
      * src/tgbaalgos/gtec/Makefile.am: New file.
      * src/tgbaalgos/Makefile.am (SUBDIRS, libtgbaalgos_la_LIBADD):
      Recurse into gtec and link gtec/libgtec.la.
      (tgbaalgos_HEADERS, libtgbaalgos_la_SOURCES): Remove emptinesscheck.hh
      and emptinesscheck.cc.
      * configure.ac: Output src/tgbalagos/gtec/Makefile.
      * iface/gspn/ltlgspn.cc, src/tgbatest/ltl2tgba.cc: Update includes.
      * README: Update tree description.
      579c343e