1. 31 Mar, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Cosmetics. · 12783ff7
      Alexandre Duret-Lutz authored
      * src/sanity/style.test: Catch some binary operators not
      delimited with spaces.
      * src/tgbaalgos/bfssteps.cc, src/tgbaalgos/magic.cc,
      src/tgbaalgos/reducerun.cc, src/tgbaalgos/se05.cc,
      src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: Fix these.
      12783ff7
  2. 27 Jan, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Introduce a destroy() method on states, and use it instead of delete. · 574a2285
      Alexandre Duret-Lutz authored
      Right now, destroy() just executes "delete this".  But in a later
      version, we will rewrite tgba_explicit so that it does not
      allocate new states (and the destroy() method for explicit state
      will do nothing).
      
      * src/tgba/state.hh (state::destroy): New method, to replace
      state::~state() in the future.
      (shared_state_deleter): New function.
      * src/evtgba/product.cc, src/evtgbaalgos/reachiter.cc,
      src/evtgbaalgos/save.cc, src/evtgbaalgos/tgba2evtgba.cc,
      src/tgba/tgba.cc, src/tgba/tgbaproduct.cc, src/tgba/tgbareduc.cc,
      src/tgba/tgbasafracomplement.cc, src/tgba/tgbasgba.cc,
      src/tgba/tgbatba.cc, src/tgba/tgbaunion.cc, src/tgba/wdbacomp.cc,
      src/tgbaalgos/cutscc.cc, src/tgbaalgos/emptiness.cc,
      src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/gtec/explscc.cc,
      src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/nsheap.cc,
      src/tgbaalgos/gv04.cc, src/tgbaalgos/magic.cc,
      src/tgbaalgos/minimize.cc, src/tgbaalgos/ndfs_result.hxx,
      src/tgbaalgos/neverclaim.cc, src/tgbaalgos/powerset.hh,
      src/tgbaalgos/reachiter.cc, src/tgbaalgos/reducerun.cc,
      src/tgbaalgos/reductgba_sim.cc,
      src/tgbaalgos/reductgba_sim_del.cc, src/tgbaalgos/replayrun.cc,
      src/tgbaalgos/safety.cc, src/tgbaalgos/save.cc,
      src/tgbaalgos/scc.cc, src/tgbaalgos/se05.cc,
      src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: Adjust to call
      "s->destroy()" instead of "delete s".
      * src/saba/sabacomplementtgba.cc, src/tgba/tgbakvcomplement.cc:
      Pass shared_state_deleter to the shared_ptr constructor, so that
      it calls destroy() instead of delete.
      574a2285
  3. 20 Feb, 2005 1 commit
    • Alexandre Duret-Lutz's avatar
      * src/sanity/style.test: Catch occurrences of "accepting condition". · a2cbe9ca
      Alexandre Duret-Lutz authored
      * bench/emptchk/ltl-human.sh, bench/emptchk/ltl-random.sh,
      src/sanity/style.test, src/tgba/bdddict.cc,
      src/tgba/succiterconcrete.hh, src/tgba/tgbabddcoredata.hh,
      src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh,
      src/tgbaalgos/gv04.cc, src/tgbaalgos/gv04.hh,
      src/tgbaalgos/magic.cc, src/tgbaalgos/magic.hh,
      src/tgbaalgos/se05.cc, src/tgbaalgos/se05.hh,
      src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03.hh,
      src/tgbaalgos/tau03opt.cc, src/tgbaalgos/tau03opt.hh,
      src/tgbatest/dfs.test: Replace them by "acceptance condition".
      a2cbe9ca
  4. 17 Feb, 2005 2 commits
  5. 07 Feb, 2005 1 commit
    • Denis Poitrenaud's avatar
      * src/misc/optionmap.cc, src/misc/optionmap.hh (option_map): New class. · 661dee86
      Denis Poitrenaud authored
      * src/misc/Makefile.am: Add it.
      * src/tgbaalgos/emptiness.cc, src/tgbaalgos/emptiness.hh: Add option
      facilities to the classes emptiness_check and emptiness_result
      * src/tgbaalgos/magic.cc, src/tgbaalgos/magic.hh,
      src/tgbaalgos/se05.cc, src/tgbaalgos/se05.hh: Compute optionnaly
      accepting runs from stack.
      * src/tgbatest/randtgba.cc: Make this option public.
      661dee86
  6. 07 Jan, 2005 1 commit
  7. 06 Jan, 2005 1 commit
    • Denis Poitrenaud's avatar
      * src/ltltest/randltl.cc: Include cassert. · 603b49e2
      Denis Poitrenaud authored
      * src/tgbaalgos/ndfs_result.hxx: Implement the spot::acss_statistics
      interface.
      * src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc, src/tgbaalgos/tau03.cc,
      src/tgbaalgos/tau03opt.cc: Add to each heap class a method returning its
      size.
      603b49e2
  8. 03 Jan, 2005 1 commit
    • Alexandre Duret-Lutz's avatar
      * doc/Doxyfile.in (FILE_PATTERNS): Remove *.hxx. · b054139e
      Alexandre Duret-Lutz authored
      * src/sanity/80columns.test, src/sanity/style.test: Process *.hxx files.
      * src/tgbaalgos/ndfs_result.hh: Rename as ..
      * src/tgbaalgos/ndfs_result.hxx: ... this, so it does not get
      documented (and so Doxygen do not complain).
      * src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc, src/tgbaalgos/tau03.cc,
      src/tgbaalgos/tau03opt.cc: Adjust include.
      * src/tgbaalgos/Makefile.am: Rename ndfs_result.hh as ndfs_result.hxx
      and do not install it, this is a private header.
      b054139e
  9. 20 Dec, 2004 1 commit
    • Denis Poitrenaud's avatar
      * src/tgbaalgos/ndfs_result.hh: Rewrite the computation of accepting · 8dbc9424
      Denis Poitrenaud authored
      runs.
      * src/tgbaalgos/bfssteps.hh, src/tgbaalgos/bfssteps.cc: Add the method
      finalize witch compute (by default) the traversed path.
      * src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc: Fix a bug concerning
      the heap used for bit state hashing version and ajust the prototype of
      has_been_visited and pop_notify.
      * src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: ajust the prototype
      of has_been_visited and pop_notify.
      8dbc9424
  10. 13 Dec, 2004 1 commit
  11. 25 Nov, 2004 2 commits
  12. 22 Nov, 2004 1 commit
    • Denis Poitrenaud's avatar
      * src/tgbaalgos/emptiness_stats.hh, src/tgbaalgos/weight.cc, · 0f15d28f
      Denis Poitrenaud authored
      src/tgbaalgos/weight.hh: New files.
      * src/tgbaalgos/Makefile.am: Add them.
      * src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc,
      src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc,
      src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/status.cc,
      src/tgbaalgos/gtec/status.hh, : Add emptiness check statistics
      capability.
      * src/tgbatest/randtgba.cc: Print these statistics.
      * src/tgbatest/ltl2tgba.cc: tau03opt search can deal without acceptance
      condition.
      * src/tgbatest/emptchk.test: Test tau03opt search.
      0f15d28f
  13. 19 Nov, 2004 1 commit
  14. 17 Nov, 2004 1 commit
    • Denis Poitrenaud's avatar
      * src/tgbaalgos/magic.hh: Fix a comment and remove se05 interface. · 9bea364e
      Denis Poitrenaud authored
      * src/tgbaalgos/magic.cc: Fix a comment.
      * src/tgbaalgos/se05.hh: New file.
      * src/tgbaalgos/se05.cc: Fix a comment.
      * src/tgbaalgos/tau03.hh: New file.
      * src/tgbaalgos/tau03.cc: New file.
      * src/tgbaalgos/Makefile.am: Add it.
      * src/tgbatest/ltl2tgba.cc: Add tau03 new emptiness check.
      * src/tgbatest/randtgba.cc: Add tau03 new emptiness check.
      * src/tgbatest/emptchkr: Fix a comment.
      * src/tgbatest/tba_samples_from_spin/explicit1_1.tba,
      src/tgbatest/tba_samples_from_spin/explicit1_2.tba,
      src/tgbatest/tba_samples_from_spin/explicit1_3.tba,
      src/tgbatest/tba_samples_from_spin/explicit1_4.tba,
      src/tgbatest/tba_samples_from_spin/explicit1_5.tba,
      src/tgbatest/tba_samples_from_spin/explicit1_6.tba,
      src/tgbatest/tba_samples_from_spin/explicit1_7.tba,
      src/tgbatest/tba_samples_from_spin/explicit1_8.tba,
      src/tgbatest/tba_samples_from_spin/explicit1_9.tba,
      src/tgbatest/tba_samples_from_spin/explicit2_1.tba,
      src/tgbatest/tba_samples_from_spin/explicit2_2.tba,
      src/tgbatest/tba_samples_from_spin/explicit2_3.tba,
      src/tgbatest/tba_samples_from_spin/explicit2_4.tba,
      src/tgbatest/tba_samples_from_spin/explicit2_5.tba,
      src/tgbatest/tba_samples_from_spin/explicit2_6.tba,
      src/tgbatest/tba_samples_from_spin/explicit2_7.tba,
      src/tgbatest/tba_samples_from_spin/explicit2_8.tba,
      src/tgbatest/tba_samples_from_spin/explicit2_9.tba: New files
      * src/tgbatest/tba_samples_from_spin.test : New test.
      * src/tgbatest/Makefile.am: Add it.
      9bea364e
  15. 15 Nov, 2004 2 commits
  16. 09 Nov, 2004 1 commit
    • Denis Poitrenaud's avatar
      * src/tgbaalgos/magic.cc: rewrite to externalize the heap and · f52082bc
      Denis Poitrenaud authored
      prepare it to a bit state hashing version.
      * src/tgbaalgos/magic.hh: adapt to the new interface of
      magic_search and se05_search.
      * src/tgbaalgos/se05.cc: new file.
      * src/tgbaalgos/Makefile.am: Add it.
      * src/tgbatest/ltl2tgba.cc: Add new emptiness check.
      * src/tgbatest/emptchk.test: more tests.
      * src/tgbatest/dfs.test: new file.
      * src/tgbatest/Makefile.am: Add it.
      f52082bc