1. 10 Aug, 2014 1 commit
  2. 27 Jun, 2014 1 commit
  3. 20 Jun, 2014 3 commits
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      tgbagraph: add a merge_transitions() method. · 424de903
      Alexandre Duret-Lutz authored
      * src/graph/graph.hh: Add some framework to erase transitions, and
      defrag the resulting transitions_ vector on demand.  Also remove
      the nb_states() and nb_transitions() because num_states() and
      num_transitions() already exist.
      * src/graphtest/graph.cc, src/graphtest/ngraph.cc: Adjust to
      use num_states().
      * src/tgba/tgbagraph.hh (merge_transitions): New method.
      * src/misc/hash.hh: Add a pair_hash class, needed by
      merge_transitions().
      * src/graphtest/tgbagraph.cc, src/graphtest/tgbagraph.test: Add states
      for transitions removal and merge_transitions().
      424de903
    • Alexandre Duret-Lutz's avatar
      Implement an scc_info class that should eventually replace scc_map. · 9903ae2f
      Alexandre Duret-Lutz authored
      * src/graph/graph.hh (trans_iterator): Add operator->() and operator
      bool().
      * src/tgbaalgos/sccinfo.cc, src/tgbaalgos/sccinfo.hh: New files.
      * src/tgbaalgos/Makefile.am: Add them.
      * src/tgbatest/ltl2tgba.cc: Use the new dump_scc_info_dot() function.
      9903ae2f
  4. 23 May, 2014 3 commits
  5. 20 May, 2014 3 commits