1. 31 Oct, 2008 2 commits
    • Reuben Thomas's avatar
      Get argp from gnulib. · 51863225
      Reuben Thomas authored
      	Get rid of externals annoyances by getting argp from gnulib, the way
      	it should be done. It may be useful to use gnulib for other things
      	too; in particular, current gnulib has just introduced complexity
      	metrics and coverage checks.
      	N.B. Only developers who wish to change the gnulib setup need to
      	install gnulib; all the necessary files for compilation are in
      	Care is required when deciding what files should be checked in and
      	which ignored, as gnulib does not (yet) support Subversion. Git users
      	will be happy, as they are automatically catered for. I used a simple
      	technique: before updating the gnulib settings, I removed the gnulib
      	and m4 directories, and then I added to Subversion all the files that
      	gnulib created.
      	Also, note that because we already use lib/ for the Vaucanson libraries,
      	gnulib-tool needs to be invoked with --source-base=gnulib, which is
      	where it stores its source files.
      	* Makefile.am: .
      	* build-aux/link-warning.h: New.
      	* configure.ac: .
      	* gnulib/Makefile.am: New.
      	* gnulib/alloca.c: New.
      	* gnulib/alloca.in.h: New.
      	* gnulib/argp-ba.c: New.
      	* gnulib/argp-eexst.c: New.
      	* gnulib/argp-fmtstream.c: New.
      	* gnulib/argp-fmtstream.h: New.
      	* gnulib/argp-fs-xinl.c: New.
      	* gnulib/argp-help.c: New.
      	* gnulib/argp-namefrob.h: New.
      	* gnulib/argp-parse.c: New.
      	* gnulib/argp-pin.c: New.
      	* gnulib/argp-pv.c: New.
      	* gnulib/argp-pvh.c: New.
      	* gnulib/argp-xinl.c: New.
      	* gnulib/argp.h: New.
      	* gnulib/asnprintf.c: New.
      	* gnulib/basename.c: New.
      	* gnulib/dirname.c: New.
      	* gnulib/dirname.h: New.
      	* gnulib/error.c: New.
      	* gnulib/error.h: New.
      	* gnulib/exitfail.c: New.
      	* gnulib/exitfail.h: New.
      	* gnulib/float+.h: New.
      	* gnulib/float.in.h: New.
      	* gnulib/getopt.c: New.
      	* gnulib/getopt.in.h: New.
      	* gnulib/getopt1.c: New.
      	* gnulib/getopt_int.h: New.
      	* gnulib/gettext.h: New.
      	* gnulib/intprops.h: New.
      	* gnulib/malloc.c: New.
      	* gnulib/mempcpy.c: New.
      	* gnulib/printf-args.c: New.
      	* gnulib/printf-args.h: New.
      	* gnulib/printf-parse.c: New.
      	* gnulib/printf-parse.h: New.
      	* gnulib/rawmemchr.c: New.
      	* gnulib/rawmemchr.valgrind: New.
      	* gnulib/size_max.h: New.
      	* gnulib/sleep.c: New.
      	* gnulib/stdbool.in.h: New.
      	* gnulib/stdint.in.h: New.
      	* gnulib/stdio.in.h: New.
      	* gnulib/stdlib.in.h: New.
      	* gnulib/strcasecmp.c: New.
      	* gnulib/strchrnul.c: New.
      	* gnulib/strchrnul.valgrind: New.
      	* gnulib/strerror.c: New.
      	* gnulib/string.in.h: New.
      	* gnulib/strings.in.h: New.
      	* gnulib/stripslash.c: New.
      	* gnulib/strncasecmp.c: New.
      	* gnulib/strndup.c: New.
      	* gnulib/strnlen.c: New.
      	* gnulib/sysexits.in.h: New.
      	* gnulib/unistd.in.h: New.
      	* gnulib/vasnprintf.c: New.
      	* gnulib/vasnprintf.h: New.
      	* gnulib/vsnprintf.c: New.
      	* gnulib/wchar.in.h: New.
      	* gnulib/xalloc-die.c: New.
      	* gnulib/xalloc.h: New.
      	* gnulib/xmalloc.c: New.
      	* gnulib/xsize.h: New.
      	* gnulib/xstrndup.c: New.
      	* gnulib/xstrndup.h: New.
      	* gnulib: New.
      	* m4/alloca.m4: New.
      	* m4/argp.m4: New.
      	* m4/dirname.m4: New.
      	* m4/dos.m4: New.
      	* m4/double-slash-root.m4: New.
      	* m4/eoverflow.m4: New.
      	* m4/error.m4: New.
      	* m4/exitfail.m4: New.
      	* m4/extensions.m4: New.
      	* m4/float_h.m4: New.
      	* m4/getopt.m4: New.
      	* m4/gnulib-cache.m4: New.
      	* m4/gnulib-common.m4: New.
      	* m4/gnulib-comp.m4: New.
      	* m4/gnulib-tool.m4: New.
      	* m4/include_next.m4: New.
      	* m4/inline.m4: New.
      	* m4/intmax_t.m4: New.
      	* m4/inttypes_h.m4: New.
      	* m4/longlong.m4: New.
      	* m4/malloc.m4: New.
      	* m4/mempcpy.m4: New.
      	* m4/printf.m4: New.
      	* m4/rawmemchr.m4: New.
      	* m4/size_max.m4: New.
      	* m4/sleep.m4: New.
      	* m4/stdbool.m4: New.
      	* m4/stdint.m4: New.
      	* m4/stdint_h.m4: New.
      	* m4/stdio_h.m4: New.
      	* m4/stdlib_h.m4: New.
      	* m4/strcase.m4: New.
      	* m4/strchrnul.m4: New.
      	* m4/strerror.m4: New.
      	* m4/string_h.m4: New.
      	* m4/strings_h.m4: New.
      	* m4/strndup.m4: New.
      	* m4/strnlen.m4: New.
      	* m4/sysexits.m4: New.
      	* m4/unistd_h.m4: New.
      	* m4/vasnprintf.m4: New.
      	* m4/vsnprintf.m4: New.
      	* m4/wchar.m4: New.
      	* m4/wchar_t.m4: New.
      	* m4/wint_t.m4: New.
      	* m4/xalloc.m4: New.
      	* m4/xsize.m4: New.
      	* m4/xstrndup.m4: New.
      	* m4: New.
      	* taf-kit/src/Makefile.am: .
      	* taf-kit/src/main.cc: .
    • Reuben Thomas's avatar
      Remove (classic) delta iterators. · 5a0c545f
      Reuben Thomas authored
      	The classic delta iterators are used nowhere, so remove them.
      	(Only deltac and deltaf are used.)
      	Rejoice as nearly 1,400 lines of code disappears!
      	* include/vaucanson/automata/concept/automata_base.hh: .
      	* include/vaucanson/automata/concept/automata_base.hxx: .
      	* include/vaucanson/automata/concept/automata_ops.hh: .
      	* include/vaucanson/automata/concept/automata_ops.hxx: .
      	* include/vaucanson/automata/concept/kinds.hh: Also add back missing brace
      	  removed in r2313.
      	* include/vaucanson/automata/concept/kinds.hxx: Also add back missing brace
      	  removed in r2313.
      	* include/vaucanson/automata/implementation/automaton_view.hh: .
      	* include/vaucanson/automata/implementation/automaton_view.hxx: .
      	* include/vaucanson/automata/implementation/bmig_graph_impl.hh: .
      	* include/vaucanson/automata/implementation/bmig_graph_impl.hxx: .
      	* include/vaucanson/automata/implementation/listg_graph_impl.hh: .
      	* include/vaucanson/automata/implementation/listg_graph_impl.hxx: .
      	* include/vaucanson/automata/implementation/transpose_view.hh: .
      	* include/vaucanson/automata/implementation/transpose_view.hxx: .
      	* src/tests/include/tests/automata/implementation_check/rdelta_test.hh: .
  2. 30 Oct, 2008 3 commits
  3. 29 Oct, 2008 16 commits
    • Jerome Galtier's avatar
      Use monoid representation for FMP words implementation. · df8d6f36
      Jerome Galtier authored
      	* include/vaucanson/algebra/implementation/monoid/pair_str_words.hh
      	  (op_first, op_second, op_in_mirror, op_length): Remove `algebra'
      	  namespace qualifier.
      	  (op_rout): Rename the first template argument from `Self' to `F',
      	  add the template argument `S' and remove the template argument
      	  `T'. Remove `algebra' namespace qualifier. Use `FreeMonoidProduct'
      	  and explicit word type. Cosmetic changes.
      	* include/vaucanson/algebra/implementation/monoid/pair_str_words.hxx:
      	  Cosmetic changes.
      	  (op_rout): Update signature according to the header file. Use
      	  monoid representation tokens (open_par, sep, close_par).
    • Jerome Galtier's avatar
      Add support for monoid representation in fmp. · 959e9502
      Jerome Galtier authored
      	* include/vaucanson/algebra/concept/freemonoid_product.hh: Add
      	  predeclaration of `FreeMonoidProduct'. Add specialization of
      	  `monoid_rep' for the `FreeMonoidProduct' concept. Add constructor
      	  to explicitly give the monoid representation. Add new attribute
      	  and accessor `rep_'. Cosmetic changes.
      	* include/vaucanson/algebra/concept/freemonoid_product.hxx: Add
      	  initialization of the `rep_' attribute to all constructors. Add
      	  implementation of the new constructor. Cosmetic changes.
    • Jerome Galtier's avatar
      Add the missing op_rout for FMP_base. · 27efe4cd
      Jerome Galtier authored
      	* include/vaucanson/algebra/concept/freemonoid_product_base.hh,
      	* include/vaucanson/algebra/concept/freemonoid_product_base.hxx:
    • Jerome Galtier's avatar
      Fix free monoid words implementation. · 913893ee
      Jerome Galtier authored
      	* include/vaucanson/algebra/implementation/monoid/str_words.hh
      	  (op_rout): Change signature by adding the `const' qualifier to the
      	  thirs argument.
      	* include/vaucanson/algebra/implementation/monoid/str_words.hxx
      	  (op_rout): Update third argument. Remove parenthesis after the
      	  `empty' attribute.
    • Jerome Galtier's avatar
      Add pair automaton to the test-suite and add pair_to_fmp test. · 5fc9d661
      Jerome Galtier authored
      	* src/tests/include/Makefile.am: Add new file to the distribution.
      	* src/tests/include/tests/automata/algos/README: Add a short
      	  description of the new pair_automata folder.
      	* src/tests/include/tests/automata/algos/pair_automata/pair_to_fmp_test.hh: New.
      	* src/tests/test-suites/char_char_boolean_automaton.defs: New.
      	* src/tests/test-suites/context_headers_char_char_boolean.defs: New.
      	* src/tests/test-suites/context_headers_int_int_boolean.defs: New.
      	* src/tests/test-suites/generate-all.sh: Generate tests for
      	  `char_char_boolean_automaton' and `int_int_boolean_automaton'.
      	* src/tests/test-suites/int_int_boolean_automaton.defs: New.
      	* src/tests/test-suites/subdirs.mk: Update according to the new
    • Jerome Galtier's avatar
      Add more specialization for the letter random generator. · f09ad89d
      Jerome Galtier authored
      	* include/vaucanson/misc/random.hh (generate): New macro
      	  `DECLARE_PAIR_SPECIALIZATION' to declare three more specialization
      	  for std::pair (std::pair<char,char>, std::pair<int,int> and
      	* include/vaucanson/misc/random.hxx (generate): New macro
      	  `MAKE_PAIR_SPECIALIZATION' to make three more specialization for
      	  std::pair (std::pair<char,char>, std::pair<int,int> and
    • Jerome Galtier's avatar
      Add the pair_to_fmp algorithm (close #173). · c8e63239
      Jerome Galtier authored
      	* include/Makefile.am: Add new files to the distribution.
      	* include/vaucanson/algorithms/pair_to_fmp.hh: New.
      	* include/vaucanson/algorithms/pair_to_fmp.hxx: New.
      	* doc/NEWS.txt: Update.
    • Jerome Galtier's avatar
      Minor updates to ltl_to_pair. · 04b14114
      Jerome Galtier authored
      	* include/vaucanson/algorithms/ltl_to_pair.hh (mute_ltl_to_pair):
      	  When calculating the `ret_impl_t', now explicitly specify the
      	  implementation details required by `mute_graph_impl_monoid_traits'.
      	* include/vaucanson/algorithms/ltl_to_pair.hxx: Cosmetic change.
    • Jerome Galtier's avatar
      Rework a trait used to mute graph implementations. · d4c68621
      Jerome Galtier authored
      	* include/vaucanson/automata/concept/automata_base.hh
      	  (mute_graph_impl_monoid_traits): Rename the `M' template argument
      	  to `W'. Add the `L' template argument. Remove calculation of the
      	  letter type, as it must now be provided by the user. Replace
      	  `monoid_elt_value_t' by `W'. Replace `letter_t' by `L'. The trait
      	  now only deals with implementation details.
    • Jerome Galtier's avatar
      Fix handling of the rep_ attribute in free_monoid. · c8f13bfe
      Jerome Galtier authored
      	* include/vaucanson/algebra/implementation/monoid/free_monoid.hh:
      	  (representation): Add `const' qualifier.
      	* include/vaucanson/algebra/implementation/monoid/free_monoid.hxx:
      	  (CTORS): Reorder attributes initialization list.
      	  (representation): Add `const' qualifier.
    • Jerome Galtier's avatar
      Cosmetic changes. · 685c30cf
      Jerome Galtier authored
      	* include/vaucanson/algebra/concept/freemonoid_base.hxx,
      	* include/vaucanson/algebra/implementation/series/polynoms.hxx: Here.
    • Reuben Thomas's avatar
      Improve some FIXMEs. · 01fd220b
      Reuben Thomas authored
      	* include/vaucanson/automata/concept/automata_base.hh: Annotate
      	  "states", "series" and "transitions" better, and add a pointer
      	  to Trac #191. Fix some English.
      	* include/vaucanson/automata/concept/automata_base.hxx: Improve
      	  comments for "transitions" and "states" methods.
      	* include/vaucanson/automata/concept/transducer_base.hh: Fix English.
      	* include/vaucanson/misc/usual_macros.hh: Add a FIXME pointing to
      	  Trac #190 [sic].
    • Reuben Thomas's avatar
      Fix typo in previous commit: AutomataSet should be AutomatonSet. · bb0c4794
      Reuben Thomas authored
      	* include/vaucanson/automata/concept/automata.hh: AutomataSet ->
    • Reuben Thomas's avatar
      Add some FIXMEs for Trac #3. · aa4a0f35
      Reuben Thomas authored
      	* include/vaucanson/algebra/implementation/series/series.hh: .
      	* include/vaucanson/automata/concept/automata.hh: .
      	* include/vaucanson/automata/concept/transducer.hh: .
    • Reuben Thomas's avatar
      Correct comment: these are not "const versions" of methods. · 9d507187
      Reuben Thomas authored
      	* /include/vaucanson/automata/conceptautomata_base.hh: The
      	  methods states and transitions were marked as "const
      	  versions" but they don't return a const type. Remove this
      	  note on each method.
    • Reuben Thomas's avatar
      Correct typo. · 708934a1
      Reuben Thomas authored
      	* /include/vaucanson/automata/conceptautomata_base.hh: "states"
      	  should be "transitions".
  4. 28 Oct, 2008 1 commit
  5. 27 Oct, 2008 4 commits
    • Reuben Thomas's avatar
      Fix English typo. · 3777d934
      Reuben Thomas authored
      	* /home/rrt/vaucanson/trunk/include/vaucanson/design_pattern/element.hh:
      	  theorical -> theoretical.
    • Reuben Thomas's avatar
      Remove the ancient and unused semigroup_kind type. · 1c0001f9
      Reuben Thomas authored
      	The type semigroup_kind is defined for each semiring, but
      	never used. The code is old, so if it hasn't been used for
      	so long, it might as well be removed. (It's just another
      	trap for the unwary, otherwise.)
      	* include/vaucanson/algebra/concept/freemonoid_product.hh.
      	* include/vaucanson/algebra/concept/numerical_semiring.hh.
      	* include/vaucanson/algebra/concept/semigroup_base.hh.
      	* include/vaucanson/algebra/concept/tropical_semiring.hh.
      	* include/vaucanson/algebra/implementation/monoid/free_monoid.hh.
      	* include/vaucanson/algebra/implementation/series/series.hh.
    • Reuben Thomas's avatar
      Add "latteux" as ORR_iterate. · 8f323dbc
      Reuben Thomas authored
      	Latteux is an iterative ORR program that obviously shares
      	a history with the rest of the code in this directory.
      	It should be more integrated, and it's not at all obvious
      	that it works properly, but for the moment, I have just
      	added it to the directory and made sure that it compiles,
      	and at least runs. In future it should be tested thoroughly,
      	debugged, and merged in with the rest of the code (at the
      	moment there's a lot of code in ORR_iterate.cc that appears
      	in other files in this directory).
      	* src/demos/one_rule_rewriting/Makefile.am: Add ORR_iterate.
      	* src/demos/one_rule_rewriting/ORR_iterate.cc: New.
      	* src/demos/one_rule_rewriting/shortest.hh: New.
    • Reuben Thomas's avatar
      Use English for automaton names. · 09db9991
      Reuben Thomas authored
      	* src/demos/one_rule_rewriting/ORR_demo.cc: Use "L" and "R"
      	  rather than "G" and "D" in name labels.
  6. 24 Oct, 2008 6 commits
    • Reuben Thomas's avatar
      Add some missing tests to svn:ignore list. · 60d3f2bd
      Reuben Thomas authored
    • Reuben Thomas's avatar
      Fix English. · a91d4f25
      Reuben Thomas authored
      	* data/template_graph_impl.hh: Fix some English.
    • Reuben Thomas's avatar
      Remove labels_are_couples. · 931a8ae9
      Reuben Thomas authored
      	This labels kind is defunct, and used nowhere, and not part of
      	the new scheme of things.
      	* include/vaucanson/automata/concept/kinds.hh.
      	* include/vaucanson/automata/concept/kinds.hxx.
    • Reuben Thomas's avatar
      Fix English. · c68b493f
      Reuben Thomas authored
      	* include/vaucanson/algorithms/realtime.hh: Fix English.
    • Alexandre Duret-Lutz's avatar
    • Vivien Delmon's avatar
      Bug fixes. · bc7784cc
      Vivien Delmon authored
      	* include/vaucanson/algebra/concept/series_base.hxx,
      	* include/vaucanson/algebra/concept/freemonoid_base.hxx: add missing
      	* include/vaucanson/algebra/implementation/monoid/monoid_rep.hxx:
      	  add missing double quote.
      	* include/vaucanson/algebra/implementation/series/krat.hh: add
      	  missing references.
      	* include/vaucanson/algebra/implementation/series/krat.hxx: use the
      	  accessor to the representation.
      	* include/vaucanson/algebra/implementation/series/polynoms.hxx:
      	  remove braces.
  7. 22 Oct, 2008 8 commits
    • Vivien Delmon's avatar
      Remove the old token representation system from automaton_maker. · 9b87d8d1
      Vivien Delmon authored
      	* include/vaucanson/contexts/automaton_maker.thh,
      	* include/vaucanson/contexts/automaton_maker.thxx: 
      	  Remove the old token representation system from automaton_maker.
    • Vivien Delmon's avatar
      Add op_rout function in concept and implementation of freemonoid. · a8b66465
      Vivien Delmon authored
      	* include/vaucanson/algebra/concept/freemonoid_base.hxx: 
      	  Add op_rout dispatch.
      	* include/vaucanson/algebra/implementation/monoid/str_words.hh,
      	* include/vaucanson/algebra/implementation/monoid/str_words.hxx:
      	  Add specialization of op_rout function on str_words.
    • Vivien Delmon's avatar
      Adapt the rational expression parser to the new representation system. · 745b2558
      Vivien Delmon authored
      	* lib/krat_exp/krat_exp_bison.yy: Remove the token ONE from the
      	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh,
      	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx:
      	  Remove everything related with the ONE token and use the new
      	  representation system.
    • Vivien Delmon's avatar
      Add op_rout function in concept and implementation of series. · 7a966ab4
      Vivien Delmon authored
      	* include/vaucanson/algebra/concept/series_base.hh,
      	* include/vaucanson/algebra/concept/series_base.hxx: Add op_rout
      	* include/vaucanson/algebra/implementation/series/polynoms.hxx:
      	  Add specialization of op_rout function on polynoms.
      	* include/vaucanson/algebra/implementation/series/krat.hh,
      	* include/vaucanson/algebra/implementation/series/krat.hxx,
      	* include/vaucanson/algebra/implementation/series/rat/dump_visitor.hh,
      	* include/vaucanson/algebra/implementation/series/rat/dump_visitor.hxx:
      	  Add specialization of op_rout function on krat.
    • Vivien Delmon's avatar
      Remove the old token representation system. · a1a55fbc
      Vivien Delmon authored
      	* include/vaucanson/algebra/concept/letter.hh,
      	* include/vaucanson/algebra/concept/letter.hxx,
      	* include/vaucanson/algebra/implementation/letter/char_letter.hxx,
      	* include/vaucanson/algebra/implementation/letter/couple_letter.hxx,
      	* include/vaucanson/algebra/implementation/letter/int_letter.hxx:
      	  Remove LETTER_DEFAULT and COUPLE_LETTER_DEFAULT macros and the
      	  token_representation structure.
    • Vivien Delmon's avatar
      Keep the series representation in the structure. · d2e008ae
      Vivien Delmon authored
      	* include/vaucanson/algebra/implementation/series/series.hh,
      	* include/vaucanson/algebra/implementation/series/series.hxx: Add an
      	  attribut to keep the series representation, fix the existing
      	  constructor to work with the default representation and add a new
      	  constructor to specify a representation.
    • Jerome Galtier's avatar
      Update test suite to cope with [2300]. · 20a7673f
      Jerome Galtier authored
      	* src/tests/test-suites/algebra_alphabet_set_alpha.defs,
      	* src/tests/test-suites/algebra_alphabet_set_char.defs,
      	* src/tests/test-suites/algebra_alphabet_set_int.defs,
      	* src/tests/test-suites/algebra_free_monoid_product_string.defs,
      	* src/tests/test-suites/algebra_free_monoid_string.defs,
      	* src/tests/test-suites/algebra_series_krat_bool_string.defs,
      	* src/tests/test-suites/algebra_series_krat_cderivation.defs,
      	* src/tests/test-suites/algebra_series_krat_derivation.defs,
      	* src/tests/test-suites/algebra_series_krat_double_string.defs,
      	* src/tests/test-suites/algebra_series_krat_int_string.defs,
      	* src/tests/test-suites/algebra_series_krat_partial_derivation.defs,
      	* src/tests/test-suites/algebra_series_polynom_bool_string.defs,
      	* src/tests/test-suites/algebra_series_polynom_double_string.defs,
      	* src/tests/test-suites/algebra_series_polynom_int_string.defs:
      	  Remove inclusion of `predefs'. Add some type helpers.
    • Vivien Delmon's avatar
      Keep the monoid representation in the structure. · 93ddd3d3
      Vivien Delmon authored
      	* include/vaucanson/algebra/implementation/monoid/free_monoid.hh,
      	* include/vaucanson/algebra/implementation/monoid/free_monoid.hxx:
      	  Add an attribut to keep the monoid representation, fix the
      	  existing constructor to work with the default representation and
      	  add a new constructor to specify the representation.
      	* include/vaucanson/algebra/implementation/free_monoid: Remove.
      	* include/vaucanson/algebra/implementation/free_monoid_product: Remove.