1. 12 Feb, 2014 23 commits
    • Alexandre Duret-Lutz's avatar
      f59773e3
    • Alexandre Duret-Lutz's avatar
      Use the degeneralization unicity_table in more places. · 2f717415
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/degen.cc (unicity_table): Move and rename as...
      * src/tgba/state.hh (state_unicity_table): ... this.
      * src/tgbaalgos/cutscc.cc, src/tgbaalgos/cycles.cc,
      src/tgbaalgos/cycles.hh, src/tgbaalgos/minimize.cc,
      src/tgbaalgos/powerset.cc, src/tgbaalgos/powerset.hh,
      src/tgbaalgos/safety.cc: Use it to simplify existing code.
      2f717415
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      [buddy] Enable C++11 and add a move constructor/assignment operator. · bd6d88db
      Alexandre Duret-Lutz authored
      * configure.ac: Enable C++11 mode.
      * src/bdd.h: Use noexport, and add a move constructor and
      move assignment operator.  The move version of these method
      do not have to increment the reference counter, saving time.
      On a small test run, this change saved 24% of the calls to
      bdd_addref_nc().
      bd6d88db
    • Alexandre Duret-Lutz's avatar
      ltlast: simplify with std::make_pair() and c++11's std::tuple · b37dc0bc
      Alexandre Duret-Lutz authored
      * src/ltlast/atomic_prop.cc, src/ltlast/atomic_prop.hh,
      src/ltlast/automatop.cc, src/ltlast/automatop.hh, src/ltlast/binop.cc,
      src/ltlast/binop.hh, src/ltlast/bunop.cc, src/ltlast/bunop.hh,
      src/ltlast/multop.cc, src/ltlast/multop.hh, src/ltlast/unop.cc,
      src/ltlast/unop.hh: Use std::tuple to replace nested std::pair,
      simplify calls to std::map::erase, use auto and std::make_pair with
      insert, and simplify the dump() method using a range for.
      b37dc0bc
    • Alexandre Duret-Lutz's avatar
      c++11: Simplify random generation code using C++11. · c64503fb
      Alexandre Duret-Lutz authored
      * src/misc/random.cc, src/misc/random.hh (srand, drand, mrand, rrand,
      barand): Simplify using <random> from C++11.
      (nrand, bmrand, prand): Remove these unused functions.
      * src/tgbaalgos/randomgraph.cc: Adjust the use of barand.
      * configure.ac: Do not check for srand48 and drand48.
      c64503fb
    • Alexandre Duret-Lutz's avatar
      Remove the configure check for Boost, since we do not use it anymore. · 74804707
      Alexandre Duret-Lutz authored
      * README: Do not mention Boost.
      * configure.ac: Do not check for Boost.
      * m4/boost.m4: Delete.
      74804707
    • Alexandre Duret-Lutz's avatar
      safra: get rid of boost::dynamic_bitset. · 92ef3e10
      Alexandre Duret-Lutz authored
      The bitvect implementation seems a tad faster, but most importantly
      this removes the last dependency on Boost.
      
      * src/tgba/tgbasafracomplement.cc: Replace boost::dynamic_bitset by
      spot::bitvect.
      92ef3e10
    • Alexandre Duret-Lutz's avatar
      bitvect: add a is_subset_of method. · 9a097bb0
      Alexandre Duret-Lutz authored
      * src/misc/bitvect.hh: New method.
      * src/tgbatest/bitvect.cc, src/tgbatest/bitvect.test: Test it.
      9a097bb0
    • Alexandre Duret-Lutz's avatar
      c++11: Replace boost::shared_ptr by std::shared_ptr. · 90a43db5
      Alexandre Duret-Lutz authored
      * src/eltlparse/eltlparse.yy, src/ltlast/formula_tree.hh,
      src/ltlast/nfa.hh, src/saba/sabastate.hh, src/tgba/state.hh: Here.
      90a43db5
    • Alexandre Duret-Lutz's avatar
      c++11: get rid of spot::unique_ptr · 67b9e8d8
      Alexandre Duret-Lutz authored
      But do not replace it by std::unique_ptr, because this was not
      really equivalent.
      
      * src/misc/unique_ptr.hh: Delete.
      * src/misc/Makefile.am: Adjust.
      * src/tgbaalgos/simulation.cc, src/tgbatest/ltl2tgba.cc: Call
      delete explicitly.
      67b9e8d8
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      c++11: improve configure. · 3a406dc3
      Alexandre Duret-Lutz authored
      * configure.ac, m4/ax_check_compile_flag.m4: Update from
      Vaucanson 2.  (Thank you Akim.)
      3a406dc3
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      * HACKING: Some notes about C++11. · 79d6ef07
      Alexandre Duret-Lutz authored
      79d6ef07
    • Alexandre Duret-Lutz's avatar
      c++11: work around Swig 2.0 · c88e22d0
      Alexandre Duret-Lutz authored
      * src/misc/common.hh: Conditionally define SPOT_DELETED to = delete.
      * src/ltlvisit/simplify.hh, src/ta/taexplicit.hh, src/ta/taproduct.hh,
      src/tgba/bdddict.hh, src/tgba/taatgba.hh, src/tgba/tgbabddconcrete.hh,
      src/tgba/tgbaexplicit.hh, src/tgba/tgbaproduct.hh, src/tgba/tgbasgba.hh,
      src/tgba/tgbatba.hh, src/tgba/tgbaunion.hh, src/tgba/wdbacomp.cc: Use
      SPOT_DELETED.
      * wrap/python/spot.i: Include common.hh.
      * wrap/python/Makefile.am: Remove useless definition of SPOT_API
      and BUDDY_API.
      c88e22d0
    • Alexandre Duret-Lutz's avatar
      c++11: explicitly delete copy constructors and operator=. · 9cfc9f0f
      Alexandre Duret-Lutz authored
      * src/ltlvisit/simplify.hh, src/ta/taexplicit.hh, src/ta/taproduct.hh,
      src/tgba/bdddict.hh, src/tgba/taatgba.hh, src/tgba/tgbabddconcrete.hh,
      src/tgba/tgbaexplicit.hh, src/tgba/tgbaproduct.hh, src/tgba/tgbasgba.hh,
      src/tgba/tgbatba.hh, src/tgba/tgbaunion.hh, src/tgba/wdbacomp.cc: Here.
      9cfc9f0f
    • Alexandre Duret-Lutz's avatar
      c++11: use for(auto...) to simplify code in src/bin/. · 557292bd
      Alexandre Duret-Lutz authored
      * src/bin/common_finput.cc, src/bin/genltl.cc, src/bin/ltlcross.cc,
      src/bin/randltl.cc: Simplify.
      557292bd
    • Alexandre Duret-Lutz's avatar
      c++11: replace Sgi::hash_* by Sgi::unordered_*. · 34e91b76
      Alexandre Duret-Lutz authored
      * bench/scc-stats/stats.cc, bench/split-product/cutscc.cc,
      iface/gspn/ssp.cc, src/bin/ltlcross.cc, src/bin/ltlfilt.cc,
      src/bin/randltl.cc, src/dstarparse/nsa2tgba.cc, src/ltlast/formula.hh,
      src/ltlast/nfa.hh, src/ltlvisit/contain.hh, src/ltlvisit/dotty.cc,
      src/ltlvisit/mark.hh, src/ltlvisit/relabel.cc, src/ltlvisit/relabel.hh,
      src/ltlvisit/simplify.cc, src/ltlvisit/snf.hh, src/misc/hash.hh,
      src/misc/mspool.hh, src/priv/acccompl.hh, src/priv/accconv.hh,
      src/saba/explicitstateconjunction.hh, src/saba/sabastate.hh,
      src/sabaalgos/sabareachiter.hh, src/sanity/style.test,
      src/ta/taexplicit.cc, src/ta/taexplicit.hh, src/taalgos/emptinessta.cc,
      src/taalgos/minimize.cc, src/taalgos/reachiter.hh, src/tgba/state.hh,
      src/tgba/taatgba.hh, src/tgba/tgbabddconcretefactory.hh,
      src/tgba/tgbaexplicit.hh, src/tgba/tgbakvcomplement.cc,
      src/tgba/tgbasafracomplement.cc, src/tgba/tgbatba.cc,
      src/tgba/tgbatba.hh, src/tgbaalgos/cutscc.cc, src/tgbaalgos/cycles.hh,
      src/tgbaalgos/degen.cc, src/tgbaalgos/dtbasat.cc,
      src/tgbaalgos/dtgbasat.cc, src/tgbaalgos/eltl2tgba_lacim.cc,
      src/tgbaalgos/emptiness.cc, src/tgbaalgos/gtec/explscc.hh,
      src/tgbaalgos/gtec/nsheap.hh, src/tgbaalgos/gv04.cc,
      src/tgbaalgos/ltl2tgba_fm.cc, src/tgbaalgos/magic.cc,
      src/tgbaalgos/minimize.cc, src/tgbaalgos/ndfs_result.hxx,
      src/tgbaalgos/powerset.hh, src/tgbaalgos/randomgraph.cc,
      src/tgbaalgos/reachiter.hh, src/tgbaalgos/replayrun.cc,
      src/tgbaalgos/safety.cc, src/tgbaalgos/scc.hh, src/tgbaalgos/se05.cc,
      src/tgbaalgos/simulation.cc, src/tgbaalgos/tau03.cc,
      src/tgbaalgos/tau03opt.cc: Adjust code.
      * src/sanity/style.test: Remove check.
      34e91b76
    • Alexandre Duret-Lutz's avatar
      hash.hh: Remove conditional code. · c568b4d3
      Alexandre Duret-Lutz authored
      * m4/stl.m4: Delete.
      * configure.ac: Do not check for unordered_map and friends.
      * src/misc/hash.hh: Remove all conditional code.
      c568b4d3
    • Alexandre Duret-Lutz's avatar
      f3874e05
    • Alexandre Duret-Lutz's avatar
      ltlast: move all accessor methods to headers to help the optimizer · 2c05a9fd
      Alexandre Duret-Lutz authored
      * src/ltlast/atomic_prop.cc, src/ltlast/atomic_prop.hh,
      src/ltlast/automatop.cc, src/ltlast/automatop.hh, src/ltlast/binop.cc,
      src/ltlast/binop.hh, src/ltlast/bunop.cc, src/ltlast/bunop.hh,
      src/ltlast/constant.cc, src/ltlast/constant.hh, src/ltlast/multop.cc,
      src/ltlast/multop.hh, src/ltlast/unop.cc, src/ltlast/unop.hh: Move all
      one-line accessors methods like nth(), child(), op()... from *.cc files
      to their respective *.hh files.
      2c05a9fd
    • Alexandre Duret-Lutz's avatar
      9020ac8b
  2. 11 Feb, 2014 6 commits
  3. 10 Feb, 2014 1 commit
  4. 08 Feb, 2014 9 commits
  5. 07 Feb, 2014 1 commit