1. 03 Jan, 2015 5 commits
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      tgba_digraph: force selection of properties kept on copy · 87c2b291
      Alexandre Duret-Lutz authored
      * src/tgba/tgba.hh: Declare a prop_set to specify the types.
      * src/tgba/tgbagraph.hh: Use prop_set for all copy constructors.
      * iface/ltsmin/ltsmin.cc, src/bin/autfilt.cc, src/bin/randaut.cc,
      src/tgbaalgos/are_isomorphic.cc, src/tgbaalgos/closure.cc,
      src/tgbaalgos/complete.cc, src/tgbaalgos/degen.cc,
      src/tgbaalgos/dotty.cc, src/tgbaalgos/dtgbacomp.cc,
      src/tgbaalgos/dupexp.cc, src/tgbaalgos/dupexp.hh,
      src/tgbaalgos/sccfilter.cc, src/tgbaalgos/simulation.cc,
      src/tgbaalgos/stutterize.cc, src/tgbatest/checkpsl.cc,
      src/tgbatest/emptchk.cc, src/tgbatest/ltl2tgba.cc,
      wrap/python/spot.i,src/graphtest/tgbagraph.test: Adjust all uses.
      87c2b291
    • Alexandre Duret-Lutz's avatar
      dotty: Specialize for tgba_digraph_ptr · 77cb836e
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/dotty.cc: Specialize for tgba_digraph_ptr.
      * src/tgba/tgbagraph.hh, src/tgbaalgos/dupexp.cc: Copy properties by
      default when cloning an automaton.
      * src/tgbatest/det.test, src/tgbatest/dstar.test,
      src/tgbatest/ltl2tgba.test, src/tgbatest/monitor.test,
      src/tgbatest/neverclaimread.test, src/tgbatest/tgbaread.test: Adjust
      tests.
      77cb836e
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      dotty: switch to horizontal output and add options · 0f178288
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/dotty.cc, src/tgbaalgos/dotty.hh: Add an options
      parameter.
      * src/bin/randaut.cc, src/bin/autfilt.cc, src/bin/dstar2tgba.cc,
      src/bin/ltl2tgba.cc, wrap/python/ajax/spot.in: Use it.
      * src/tgbatest/det.test, src/tgbatest/dstar.test,
      src/tgbatest/ltl2tgba.cc, src/tgbatest/monitor.test,
      src/tgbatest/neverclaimread.test, src/tgbatest/tgbaread.test,
      src/graphtest/tgbagraph.test: Adjust
      because automata are now output horizontally.
      * NEWS: Mention the change.
      0f178288
  2. 23 Dec, 2014 1 commit
  3. 17 Dec, 2014 7 commits
    • Alexandre Duret-Lutz's avatar
    • Thibaud Michaud's avatar
      option --uniq in autfilt and randaut · a989d41b
      Thibaud Michaud authored
      * src/bin/autfilt.cc: add option --uniq.
      * src/bin/randaut.cc: add option --uniq.
      * src/tgbatest/uniq.test: Test it.
      a989d41b
    • Thibaud Michaud's avatar
      Wrap are_isomorphic inside a class and optimize when deterministic · 17687855
      Thibaud Michaud authored
      * src/bin/autfilt.cc: Use isomorphism_checker.
      * src/tgbaalgos/are_isomorphic.cc, src/tgbaalgos/are_isomorphic.hh: Wrap
      are_isomorphic inside a class to keep the canonic version of the first
      automaton between two calls, and use a more efficient algorithm in case
      both automata are deterministic.
      * src/tgbatest/isomorph.test: Add tests for deterministic automata.
      17687855
    • Thibaud Michaud's avatar
      Adding function to canonicalize an automaton. · 1995602d
      Thibaud Michaud authored
      * src/tgbaalgos/are_isomorphic.cc, src/tgbaalgos/are_isomorphic.hh,
      src/bin/autfilt.cc: are_isomorphic now uses canonicalize. It returns a
      bool, because the mapping cannot be deduced easily from the
      canonicalized automaton.
      * src/graph/graph.hh: Add equality operator to trans_storage_t
      for easy comparison of transition vectors.
      * src/tgba/tgbagraph.hh: Add equality operator to tgba_graph_trans_data
      and to tgba_digraph.
      * src/tgbaalgos/canonicalize.cc, src/tgbaalgos/canonicalize.hh:
      New files.
      * src/tgbaalgos/Makefile.am: Add them.
      * src/tgbatest/isomorph.test: Test them.
      1995602d
    • Alexandre Duret-Lutz's avatar
      autfilt: %w shows an accepting word · b83d6d7f
      Alexandre Duret-Lutz authored
      * src/bin/autfilt.cc: Support %w.
      * src/tgbatest/readsave.test: Test it.
      b83d6d7f
    • Alexandre Duret-Lutz's avatar
      autfilt: --instut, --destut, --is-empty · a626a32d
      Alexandre Duret-Lutz authored
      * src/bin/autfilt.cc: Add these new options.
      * src/tgbaalgos/stutterize.cc, src/tgbaalgos/stutterize.hh: Make it
      possible to call sl() and sl2() without passing the set of atomic
      propositions.
      * src/tgbatest/stutter.test: New file.
      * src/tgbatest/Makefile.am: Add it.
      a626a32d
    • Alexandre Duret-Lutz's avatar
      merge transitions: also merge transitions with same conditions · 8e9c4317
      Alexandre Duret-Lutz authored
      * src/tgba/tgbagraph.cc (merge_transition): Do it.
      * src/tgbatest/readsave.test: Test it.
      * src/bin/autfilt.cc: Fix statistics about the original
      automaton when using --stats or --name.
      8e9c4317
  4. 16 Dec, 2014 3 commits
  5. 15 Dec, 2014 2 commits
    • Alexandre Duret-Lutz's avatar
      autfilt: --count · 0d710f96
      Alexandre Duret-Lutz authored
      * src/bin/autfilt.cc: Add a --count option.
      * src/tgbatest/randaut.test: Test autfilt's --count and --states.
      0d710f96
    • Alexandre Duret-Lutz's avatar
      autfilt: --states=RANGE · cad4d94c
      Alexandre Duret-Lutz authored
      * src/bin/autfilt.cc: Add a --states=RANGE option.
      * src/bin/common_range.cc, src/bin/common_range.hh: Generalize
      range_parse to allow an optional upper bound.
      cad4d94c
  6. 11 Dec, 2014 7 commits
  7. 10 Dec, 2014 10 commits
  8. 09 Dec, 2014 2 commits
    • Alexandre Duret-Lutz's avatar
      tgba: simplify usage of named properties · 61edf7f4
      Alexandre Duret-Lutz authored
      * src/tgba/tgba.hh, src/tgba/tgba.cc (set_named_prop): Add a template
      version.
      (get_named_prop): Hide the old version, and supply a template version
      that casts.
      * src/bin/ltlcross.cc, src/hoaparse/hoaparse.yy, src/tgbaalgos/hoa.cc,
      src/tgbaalgos/product.cc: Adjust usage.
      61edf7f4
    • Alexandre Duret-Lutz's avatar
      hoa: store the automaton name as a property · 5a1e38d9
      Alexandre Duret-Lutz authored
      * src/hoaparse/hoaparse.yy: Store the automaton name.
      * src/tgbaalgos/hoa.cc: Output it if it exists.
      * src/tgbatest/hoaparse.test: Adjust tests.
      5a1e38d9
  9. 08 Dec, 2014 3 commits