1. 05 Nov, 2008 2 commits
    • Alexandre Duret-Lutz's avatar
    • Jerome Galtier's avatar
      Add support for monoid_rep in Taf-Kit. · faf37729
      Jerome Galtier authored
      	* taf-kit/src/common.hh (arguments_t): Cosmetic changes. Add more
      	  comments. Reorder some attributes. Add new attribute `mrep'.
      	  [WITH_TWO_ALPHABETS] (arguments_t): Add new attributes `mrep1' and
      	  `mrep2'.
      	* taf-kit/src/getters.hh [!WITH_TWO_ALPHABETS] (get_exp_complete):
      	  Add a new argument. Update the `get_exp' macro accordingly.
      	* taf-kit/src/getters.hxx,
      	* taf-kit/src/edition_commands.hxx,
      	* taf-kit/src/fmp_commands.cc,
      	* taf-kit/src/main.cc,
      	* taf-kit/src/pipe_getters.hh,
      	* taf-kit/src/pipe_getters.hxx: Update calls to `make_rat_exp'.
      faf37729
  2. 03 Nov, 2008 1 commit
    • Jerome Galtier's avatar
      Refactor token_representation_t. · 9b72ae96
      Jerome Galtier authored
      	* taf-kit/src/common.hh,
      	* taf-kit/src/edition_commands.hxx,
      	* taf-kit/src/fmp_commands.cc,
      	* taf-kit/src/getters.hh,
      	* taf-kit/src/getters.hxx,
      	* taf-kit/src/main.cc,
      	* taf-kit/src/pipe_getters.hh,
      	* taf-kit/src/pipe_getters.hxx: Rename `token_representation_t' to
      	  `series_rep_t' and `tok_rep' to `srep'.
      9b72ae96
  3. 31 Oct, 2008 1 commit
    • 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
      	Subversion.
      
      	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: .
      51863225
  4. 19 Sep, 2008 1 commit
    • Florian Lesaint's avatar
      2008-09-19 Florian Lesaint <florian.lesaint@lrde.epita.fr> · d63f40f6
      Florian Lesaint authored
      	To enable the use of standalone rational expressions described in xml
      	files, add the OUTPUT_TYPE_EXP and INPUT_TYPE_EXP possibilities.
      	Split output_type in output_aut_type and output_exp_type to have
      	different default output for automata (xml) and rational expressions
      	(exp).
      	* taf-kit/src/common.hh: split output_type.
      	* taf-kit/src/main.cc: split output_type.
      	* taf-kit/src/pipe.hh: Add *_TYPE_EXP.
      	* taf-kit/src/pipe.hxx: split output_type.
      	* taf-kit/src/pipe_writers.hh: split output_type.
      	* taf-kit/src/pipe_writers.hxx: split output_type. Prepare to support
      	xml standalone rational expressions' files. Improve the error
      	messages.
      d63f40f6
  5. 15 Sep, 2008 1 commit
  6. 04 Sep, 2008 1 commit
    • Vivien Delmon's avatar
      Add warning in taf-kit for parser option. · 40a8e569
      Vivien Delmon authored
      	* taf-kit/src/main.cc: Add a call to check_collision.
      	* taf-kit/src/parser_options.hh: ,
      	* taf-kit/src/parser_options.hxx: Add check_collision function to
      	  check if a token representation intersect the alphabet.
      	* taf-kit/tests/vcsn-char-b.test: Add some tests for the previous
      	  function.
      40a8e569
  7. 08 Aug, 2008 1 commit
  8. 06 Aug, 2008 1 commit
    • Jerome Galtier's avatar
      Update taf-kit to use new letter_traits. · e6ce83a8
      Jerome Galtier authored
      	* taf-kit/src/b_commands.cc: Add letter context.
      	* taf-kit/src/commands_macros.hh: Add macro to import letter context.
      	* taf-kit/src/common.hh: Declare new structures.
      	* taf-kit/src/fmp_commands.cc: Add letter context.
      	* taf-kit/src/main.cc: Remove useless code.
      	* taf-kit/src/parser_options.hh,
      	* taf-kit/src/parser_options.hxx: Use new templatized
      	  token_representation. Add static code resolution.
      	* taf-kit/src/z_commands.cc: Add letter context.
      e6ce83a8
  9. 01 Aug, 2008 1 commit
    • Jerome Galtier's avatar
      Overhaul vaucanson handling of epsilon representation. · 25f28dc1
      Jerome Galtier authored
      	* include/vaucanson/algebra/concept/letter.hh: Add a new trait.
      	* include/vaucanson/algebra/implementation/letter/char_letter.hxx,
      	* include/vaucanson/algebra/implementation/letter/int_letter.hxx:
      	* Specialization of default_epsilon.
      	* include/vaucanson/algebra/implementation/series/polynoms.hxx,
      	* include/vaucanson/algebra/implementation/series/rat/dump_visitor.hxx:
      	* Be generic.
      	* src/demos/one_rule_rewriting/check_rw_composition.cc: Add missing
      	* header and refactorize some code.
      	* taf-kit/src/b_commands.cc,
      	* taf-kit/src/commands_macros.hh,
      	* taf-kit/src/common.hh,
      	* taf-kit/src/fmp_commands.cc,
      	* taf-kit/src/main.cc,
      	* taf-kit/src/parser_options.hh,
      	* taf-kit/src/parser_options.hxx,
      	* taf-kit/src/z_commands.cc: Use the new letter trait
      	* (default_epsilon) to handle epsilon more generically.
      25f28dc1
  10. 31 Jul, 2008 1 commit
  11. 29 Jul, 2008 1 commit
  12. 25 Jul, 2008 1 commit
  13. 24 Jul, 2008 2 commits
    • Vivien Delmon's avatar
      Adapt taf-kit to change the token representation. · b4c0e4f5
      Vivien Delmon authored
      	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh:
      	  Add missing const.
      	* taf-kit/src/common.hh: .
      	* taf-kit/src/edition_commands.hxx: .
      	* taf-kit/src/getters.hh: .
      	* taf-kit/src/getters.hxx: .
      	* taf-kit/src/main.cc: .
      	* taf-kit/src/parser_options.hh: .
      	* taf-kit/src/parser_options.hxx: .
      	* taf-kit/src/pipe_getters.hh: .
      	* taf-kit/src/pipe_getters.hxx: .
      	* taf-kit/src/tdc_commands.cc: .
      b4c0e4f5
    • Jerome Galtier's avatar
      Add a new option --parser to taf-kit. · 97d236db
      Jerome Galtier authored
      	* taf-kit/src/common.hh: Add attributes to args.
      	* taf-kit/src/getters.hh,
      	* taf-kit/src/getters.hxx: Improve get_alphabet.
      	* taf-kit/src/main.cc: Add new options, adapt existing ones.
      	* taf-kit/src/parser_options.hh,
      	* taf-kit/src/parser_options.hxx: New.
      	* taf-kit/src/predefined_alphabets.hh: Reintroduce ascii and
      	digits alphabets.
      97d236db
  14. 13 Nov, 2007 1 commit
    • Alexandre Duret-Lutz's avatar
      Kill more warnings from recent GCCs. · 28f3a0a3
      Alexandre Duret-Lutz authored
      	* include/vaucanson/misc/global_timer.hh: Simplify.  The only
      	caller in taf-kit/src/main.cc is already checking for the
      	emptyness of the string, and the previous code was using !=
      	to compare two char*.
      	* taf-kit/src/common.hh (arguments_t::args, arguments_t::alphabet,
      	arguments_t::alphabet2): Declare as const char*.
      	* taf-kit/src/main.cc (alphabet::name, alphabet::alphabet): Idem.
      	* taf-kit/src/pipe.hh, taf-kit/src/pipe.hxx (set_name): Take
      	a const argument.
      28f3a0a3
  15. 10 Oct, 2007 1 commit
    • Guillaume Leroi's avatar
      Rename predefined alphabets · 00a2a55b
      Guillaume Leroi authored
      	`ascii' has been suppress too, because the xml parser cannot handle `"',
      	and Vaucanson does not handle correctly alphabets with digits.
      	* taf-kit/src/main.cc: Rename `a-z' to letters and `a-zA-Z' to alpha.
      00a2a55b
  16. 03 Oct, 2007 1 commit
  17. 02 Oct, 2007 1 commit
  18. 24 Jul, 2007 1 commit
  19. 10 Jul, 2007 1 commit
    • Florent D'Halluin's avatar
      Add support for different i/o format · 648d7e54
      Florent D'Halluin authored
      	* common.hh: Adjust to new command-line options
      	* getters.hxx: Adjust automaton loader to new formats
      	* main.cc: Adjust to new command-line options
      	* pipe.hh: 
      	* pipe.hxx, Add i/o format information to
      	result container.
      	* pipe_getters.hh,
      	* pipe_getters.hxx: Add new i/o format getters
      	* pipe_writers.hh,
      	* pipe_writers.hxx: Add new i/o format writer.
      
      	Automaton i/o format can be specified in taf-kit using
      	-i, --input-type=INPUT_TYPE and -o, --output_type=OUTPUT_TYPE.
      	In command sequences, this is specific to each command.
      
      	Supported types:
      	Input:
      	  vcsn-b: FSM, XML.
      	  vcsn-z: FSM, XML.
      	  vcsn-tdc: XML.
      	Output:
      	  vcsn-b: FSM, XML, DOT.
      	  vcsn-z: FSM, XML, DOT.
      	  vcsn-tdc: XML, DOT.
      648d7e54
  20. 09 Jul, 2007 1 commit
    • Florent D'Halluin's avatar
      Improve virtual pipe output · 8014d73f
      Florent D'Halluin authored
      	* getters.hxx,
      	* main.cc: Adjustements to new protoypes.
      	* pipe.hh,
      	* pipe.hxx: Add methods to command_output class.
      	* pipe_getters.hh,
      	* pipe_getters.hxx: Improve clarity of error messages.
      	* pipe_writers.hh,
      	* pipe_writers.hxx: Remove default output for commands
      	that return nothing.
      
      	Add some documentation in pipe.hh.
      8014d73f
  21. 05 Jul, 2007 1 commit
    • Florent D'Halluin's avatar
      Add internal pipe · 7037e46d
      Florent D'Halluin authored
      	* commands_macros.hh: Change command definition macros to
      	keep results between commands.
      
      	* common.hh: Add access to the global result.
      
      	* common_automaton_commands.hh,
      	* common_commands.hh: Change command output to
      	keep results.
      
      	* getters.hh,
      	* getters.hxx: Allow getters to get data from the global
      	result.
      
      	* main.cc: Allow internal command sequencing using "\|"
      
      	* pipe.hh: New.
      	* pipe.hxx: New.
      	* pipe_command_sequence.hh: New.
      	* pipe_command_sequence.hxx: New.
      	* pipe_getters.hh: New.
      	* pipe_getters.hxx: New.
      	* pipe_writers.hh: New.
      	* pipe_writers.hxx: New.
      	Implementation of the internal pipe.  Documentation will be
      	provided shortly.
      
      	* ratexp_commands.hh,
      	* tdc_commands.cc: Change command output to
      	keep results.
      
      	Implementation of internal pipe in taf-kit (See Ticket #93):
      	Commands can be sequenced using "\|" in tak-kit binaries.
      	Command-line options are specific to their command except
      	Timer & Bencher manipulation options (--report-time, --bench,
      	--export-time-dot, --export-time-xml), which are global to
      	the whole sequence.
      	i.e.: --bench will benchmark the whole sequence.  The defect
      	described in ticket #104 is also resolved.
      
      	Note: In vcsn-b and vcsn-z, both automata and regular
      	expressions keep their internal representation between
      	commands.  In vcsn-tdc, both boolean automata and
      	transducers do, but there might be issues about
      	boolean_transducer namespace not being declared in
      	CONTEXT_HEADER.
      	The binaries have yet to be extensively tested.
      7037e46d
  22. 25 Jun, 2007 1 commit
    • Florent D'Halluin's avatar
      Add timer command-line options in taf-kit · daaf1eb4
      Florent D'Halluin authored
      	* src/common.hh,
      	* src/main.cc:
      	Add two command-line options to taf-kit binaries.
      	The global timer in taf-kit can now be exported in
      	DOT format using --export-time-dot and in XML format
      	using --export-time-xml.
      
      	Additionally, --report-time now takes the verbose
      	level of the report as an optional parameter.
      
      	See ../include/vaucanson/misc/timer.hh for
      	documentation.
      daaf1eb4
  23. 20 Jun, 2007 1 commit
    • Florent D'Halluin's avatar
      Split timer.* into smaller files & add documentation · 28c1e41d
      Florent D'Halluin authored
      	* include/vaucanson/misc/global_timer.hh:
      	Make it work outside vaucanson.
      	* include/vaucanson/misc/timer.cc:
      	Remove implementation of misc::Timer internal classes.
      	* include/vaucanson/misc/timer.hh:
      	Remove declaration of misc::Timer internal classes.
      	* include/vaucanson/misc/timer.hxx:
      	Move inline methods of misc::Timer here
      	* include/vaucanson/misc/timer_internal_gathering.cc,
      	* include/vaucanson/misc/timer_internal_gathering.hh,
      	* include/vaucanson/misc/timer_internal_gathering.hxx:
      	Move declaration & implementation of misc::Timer internal
      	classes regarding data gathering in those three files.
      	* include/vaucanson/misc/timer_internal_graph.cc,
      	* include/vaucanson/misc/timer_internal_graph.hh,
      	* include/vaucanson/misc/timer_internal_graph.hxx:
      	Move declaration & implementation of misc::Timer internal
      	classes regarding result computation in those three files.
      	* taf-kit/src/common.hh,
      	* taf-kit/src/main.cc:
      	Change global timer name from timer to global_timer to avoid
      	conflicts with the new namespace.
      
      	Former private classes of misc::Timer are now in the separate
      	namespace misc::timer.  Minor changes are made to the taf-kit
      	source to work with the new implementation.
      	Documentation is provided in include/vaucanson/misc/timer.hh.
      
      	Clean source code (thanks for pointing out what was wrong).
      	
      28c1e41d
  24. 23 Feb, 2007 1 commit
    • Akim Demaille's avatar
      Continue to clean the Bencher mess. · e6a3ec3e
      Akim Demaille authored
      	* include/vaucanson/misc/global_timer.hh: New, extracted and
      	extended from...
      	* include/vaucanson/misc/usual_macros.hh: here.
      	Include it.
      	* include/Makefile.am: Adjust.
      	* include/vaucanson/misc/bencher.hh: Make most methods const.
      	(BENCH_START, BENCH_STOP, BENCH_PRINT, BENCH_PLOT): Remove,
      	replaced by macros in global_timer.hh.
      	Also include bencher.cc for Vaucanson.
      	* include/vaucanson/misc/bencher.hxx: Move most methods to...
      	* include/vaucanson/misc/bencher.cc: here.
      	Spread the missing consts.
      	(print): Return the stream.
      	(operator<< (ostream, Bencher)): New.
      
      	* include/vaucanson/misc/timer.hh: Also include the cc file.
      	* include/vaucanson/misc/timer.hxx: Don't.
      
      	* taf-kit/src/common.hh: Adjust to these changes.
      	* taf-kit/src/main.cc: Have a single main loop.
      	Make sure the default number of iterations is 1.
      
      
      	* taf-kit/tests/Makefile.am (XFAIL_TESTS): Add completeness.test.
      e6a3ec3e
  25. 04 Feb, 2007 1 commit
    • Benoît Sigoure's avatar
      Update the copyright notices. · 61e345bd
      Benoît Sigoure authored
      	* include/vaucanson/algebra/concept/alphabets_base.hxx,
      	* include/vaucanson/algebra/concept/freemonoid_base.hh,
      	* include/vaucanson/algebra/concept/freemonoid_product.hh,
      	* include/vaucanson/algebra/concept/freemonoid_product.hxx,
      	* include/vaucanson/algebra/concept/letter.hh,
      	* include/vaucanson/algebra/concept/monoid_base.hh,
      	* include/vaucanson/algebra/concept/monoid_base.hxx,
      	* include/vaucanson/algebra/concept/numerical_semiring.hxx,
      	* include/vaucanson/algebra/concept/semigroup_base.hh,
      	* include/vaucanson/algebra/concept/semigroup_base.hxx,
      	* include/vaucanson/algebra/concept/semiring_base.hh,
      	* include/vaucanson/algebra/concept/semiring_base.hxx,
      	* include/vaucanson/algebra/concept/series_base.hh,
      	* include/vaucanson/algebra/concept/series_base.hxx,
      	* include/vaucanson/algebra/concept/tropical_semiring.hh,
      	* include/vaucanson/algebra/concept/tropical_semiring.hxx,
      	* include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hxx,
      	* include/vaucanson/algebra/implementation/alphabets/predefs.hh,
      	* include/vaucanson/algebra/implementation/alphabets/set_alphabet.hxx,
      	* include/vaucanson/algebra/implementation/free_monoid/predefs.hh,
      	* include/vaucanson/algebra/implementation/free_monoid/str_words.hh,
      	* include/vaucanson/algebra/implementation/free_monoid/str_words.hxx,
      	* include/vaucanson/algebra/implementation/free_monoid/tools.hh,
      	* include/vaucanson/algebra/implementation/free_monoid/tools.hxx,
      	* include/vaucanson/algebra/implementation/free_monoid/words.hh,
      	* include/vaucanson/algebra/implementation/free_monoid/words.hxx,
      	* include/vaucanson/algebra/implementation/letter/char_letter.hh,
      	* include/vaucanson/algebra/implementation/letter/couple_letter.hh,
      	* include/vaucanson/algebra/implementation/letter/couple_letter.hxx,
      	* include/vaucanson/algebra/implementation/letter/int_letter.hh,
      	* include/vaucanson/algebra/implementation/letter/int_letter.hxx,
      	* include/vaucanson/algebra/implementation/letter/range.hh,
      	* include/vaucanson/algebra/implementation/letter/range.hxx,
      	* include/vaucanson/algebra/implementation/predefs.hh,
      	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh,
      	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx,
      	* include/vaucanson/algebra/implementation/semiring/tropical_semiring.hxx,
      	* include/vaucanson/algebra/implementation/series/generalized.hh,
      	* include/vaucanson/algebra/implementation/series/generalized.hxx,
      	* include/vaucanson/algebra/implementation/series/krat.hh,
      	* include/vaucanson/algebra/implementation/series/krat_coefficient.hh,
      	* include/vaucanson/algebra/implementation/series/krat_coefficient.hxx,
      	* include/vaucanson/algebra/implementation/series/krat_conversion.hh,
      	* include/vaucanson/algebra/implementation/series/krat_conversion.hxx,
      	* include/vaucanson/algebra/implementation/series/krat_exp_is_finite_app.hxx,
      	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh,
      	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx,
      	* include/vaucanson/algebra/implementation/series/krat_exp_pattern.hh,
      	* include/vaucanson/algebra/implementation/series/krat_exp_pattern.hxx,
      	* include/vaucanson/algebra/implementation/series/krat_exp_support.hxx,
      	* include/vaucanson/algebra/implementation/series/krat_exp_transpose.hxx,
      	* include/vaucanson/algebra/implementation/series/polynoms.hxx,
      	* include/vaucanson/algebra/implementation/series/rat/depth_visitor.hh,
      	* include/vaucanson/algebra/implementation/series/rat/depth_visitor.hxx,
      	* include/vaucanson/algebra/implementation/series/rat/dispatch_visitor.hh,
      	* include/vaucanson/algebra/implementation/series/rat/dispatch_visitor.hxx,
      	* include/vaucanson/algebra/implementation/series/rat/dump_visitor.hh,
      	* include/vaucanson/algebra/implementation/series/rat/dump_visitor.hxx,
      	* include/vaucanson/algebra/implementation/series/rat/exp.hh,
      	* include/vaucanson/algebra/implementation/series/rat/exp.hxx,
      	* include/vaucanson/algebra/implementation/series/rat/nodes.hh,
      	* include/vaucanson/algebra/implementation/series/rat/nodes.hxx,
      	* include/vaucanson/algebra/implementation/series/rat/random_visitor.hh,
      	* include/vaucanson/algebra/implementation/series/rat/random_visitor.hxx,
      	* include/vaucanson/algebra/implementation/series/rat/reverse_visitor.hh,
      	* include/vaucanson/algebra/implementation/series/rat/reverse_visitor.hxx,
      	* include/vaucanson/algebra/implementation/series/series.hh,
      	* include/vaucanson/algebra/implementation/series/series.hxx,
      	* include/vaucanson/algebra/implementation/series/transpose.hh,
      	* include/vaucanson/algebra/implementation/series/transpose.hxx,
      	* include/vaucanson/algorithms/accessible.hxx,
      	* include/vaucanson/algorithms/aci_canonical.hxx,
      	* include/vaucanson/algorithms/aut_to_exp.hh,
      	* include/vaucanson/algorithms/aut_to_exp.hxx,
      	* include/vaucanson/algorithms/backward_realtime.hxx,
      	* include/vaucanson/algorithms/berry_sethi.hh,
      	* include/vaucanson/algorithms/brzozowski.hh,
      	* include/vaucanson/algorithms/complement.hh,
      	* include/vaucanson/algorithms/complement.hxx,
      	* include/vaucanson/algorithms/complete.hh,
      	* include/vaucanson/algorithms/concatenate.hh,
      	* include/vaucanson/algorithms/concatenate.hxx,
      	* include/vaucanson/algorithms/derived_term_automaton.hh,
      	* include/vaucanson/algorithms/eps_removal.hh,
      	* include/vaucanson/algorithms/eps_removal.hxx,
      	* include/vaucanson/algorithms/evaluation.hh,
      	* include/vaucanson/algorithms/evaluation.hxx,
      	* include/vaucanson/algorithms/extension.hxx,
      	* include/vaucanson/algorithms/finite_support_conversion.hh,
      	* include/vaucanson/algorithms/finite_support_conversion.hxx,
      	* include/vaucanson/algorithms/forward_realtime.hh,
      	* include/vaucanson/algorithms/forward_realtime.hxx,
      	* include/vaucanson/algorithms/initial_derivation.hxx,
      	* include/vaucanson/algorithms/internal/build_pattern.hh,
      	* include/vaucanson/algorithms/internal/build_pattern.hxx,
      	* include/vaucanson/algorithms/internal/outsplitting.hxx,
      	* include/vaucanson/algorithms/internal/partial_rat_exp.hh,
      	* include/vaucanson/algorithms/internal/partial_rat_exp_constant_term.hh,
      	* include/vaucanson/algorithms/internal/partial_rat_exp_constant_term.hxx,
      	* include/vaucanson/algorithms/internal/partial_rat_exp_derivation.hh,
      	* include/vaucanson/algorithms/internal/partial_rat_exp_derivation.hxx,
      	* include/vaucanson/algorithms/is_letterized.hxx,
      	* include/vaucanson/algorithms/is_normalized.hxx,
      	* include/vaucanson/algorithms/is_realtime.hxx,
      	* include/vaucanson/algorithms/krat_exp_cderivation.hxx,
      	* include/vaucanson/algorithms/krat_exp_constant_term.hxx,
      	* include/vaucanson/algorithms/krat_exp_derivation.hxx,
      	* include/vaucanson/algorithms/krat_exp_expand.hh,
      	* include/vaucanson/algorithms/krat_exp_expand.hxx,
      	* include/vaucanson/algorithms/krat_exp_flatten.hh,
      	* include/vaucanson/algorithms/krat_exp_flatten.hxx,
      	* include/vaucanson/algorithms/krat_exp_linearize.hh,
      	* include/vaucanson/algorithms/krat_exp_linearize.hxx,
      	* include/vaucanson/algorithms/krat_exp_partial_derivation.hxx,
      	* include/vaucanson/algorithms/krat_exp_realtime.hh,
      	* include/vaucanson/algorithms/krat_exp_realtime.hxx,
      	* include/vaucanson/algorithms/letter_to_letter_composition.hh,
      	* include/vaucanson/algorithms/letter_to_letter_composition.hxx,
      	* include/vaucanson/algorithms/minimization_hopcroft.hh,
      	* include/vaucanson/algorithms/normalized.hxx,
      	* include/vaucanson/algorithms/projection.hh,
      	* include/vaucanson/algorithms/realtime.hxx,
      	* include/vaucanson/algorithms/realtime_composition.hh,
      	* include/vaucanson/algorithms/realtime_composition.hxx,
      	* include/vaucanson/algorithms/realtime_decl.hxx,
      	* include/vaucanson/algorithms/realtime_to_fmp.hh,
      	* include/vaucanson/algorithms/realtime_to_fmp.hxx,
      	* include/vaucanson/algorithms/standard.hh,
      	* include/vaucanson/algorithms/standard.hxx,
      	* include/vaucanson/algorithms/standard_of.hh,
      	* include/vaucanson/algorithms/standard_of.hxx,
      	* include/vaucanson/algorithms/sub_automaton.hh,
      	* include/vaucanson/algorithms/sub_automaton.hxx,
      	* include/vaucanson/algorithms/sub_normalize.hh,
      	* include/vaucanson/algorithms/sum.hh,
      	* include/vaucanson/algorithms/sum.hxx,
      	* include/vaucanson/algorithms/thompson.hh,
      	* include/vaucanson/algorithms/thompson.hxx,
      	* include/vaucanson/algorithms/transpose.hh,
      	* include/vaucanson/algorithms/transpose.hxx,
      	* include/vaucanson/algorithms/trim.hxx,
      	* include/vaucanson/automata/concept/automata.hxx,
      	* include/vaucanson/automata/concept/automata_kind.hh,
      	* include/vaucanson/automata/concept/copy.hh,
      	* include/vaucanson/automata/concept/copy.hxx,
      	* include/vaucanson/automata/concept/delta_kind.hh,
      	* include/vaucanson/automata/concept/handlers.hh,
      	* include/vaucanson/automata/concept/handlers.hxx,
      	* include/vaucanson/automata/concept/history.hh,
      	* include/vaucanson/automata/concept/history.hxx,
      	* include/vaucanson/automata/concept/kinds.hh,
      	* include/vaucanson/automata/concept/kinds.hxx,
      	* include/vaucanson/automata/concept/tags.hh,
      	* include/vaucanson/automata/concept/tags.hxx,
      	* include/vaucanson/automata/concept/transducer.hh,
      	* include/vaucanson/automata/concept/transducer.hxx,
      	* include/vaucanson/automata/concept/transducer_base.hxx,
      	* include/vaucanson/automata/concept/transducer_ops.hh,
      	* include/vaucanson/automata/concept/transducer_ops.hxx,
      	* include/vaucanson/automata/concept/translate.hh,
      	* include/vaucanson/automata/concept/translate.hxx,
      	* include/vaucanson/automata/implementation/automaton_view.hxx,
      	* include/vaucanson/automata/implementation/generalized.hh,
      	* include/vaucanson/automata/implementation/generalized.hxx,
      	* include/vaucanson/automata/implementation/kind_adapter.hh,
      	* include/vaucanson/automata/implementation/kind_adapter.hxx,
      	* include/vaucanson/automata/implementation/transpose_view.hh,
      	* include/vaucanson/automata/implementation/transpose_view.hxx,
      	* include/vaucanson/config/math.hh,
      	* include/vaucanson/design_pattern/default_ops.hh,
      	* include/vaucanson/design_pattern/default_ops.hxx,
      	* include/vaucanson/design_pattern/design_pattern.hh,
      	* include/vaucanson/design_pattern/element.hh,
      	* include/vaucanson/design_pattern/element.hxx,
      	* include/vaucanson/design_pattern/element_op_traits.hh,
      	* include/vaucanson/design_pattern/element_ops.hh,
      	* include/vaucanson/design_pattern/element_ops.hxx,
      	* include/vaucanson/design_pattern/factory.hh,
      	* include/vaucanson/design_pattern/meta_element_root.hh,
      	* include/vaucanson/design_pattern/meta_element_root.hxx,
      	* include/vaucanson/design_pattern/slots.hh,
      	* include/vaucanson/design_pattern/slots.hxx,
      	* include/vaucanson/design_pattern/structure.hh,
      	* include/vaucanson/design_pattern/structure.hxx,
      	* include/vaucanson/design_pattern/syntactic_decorator.hxx,
      	* include/vaucanson/misc/bencher.cc,
      	* include/vaucanson/misc/bencher.hh,
      	* include/vaucanson/misc/bencher.hxx,
      	* include/vaucanson/misc/char_traits.hh,
      	* include/vaucanson/misc/char_traits.hxx,
      	* include/vaucanson/misc/container_ops.hh,
      	* include/vaucanson/misc/container_ops.hxx,
      	* include/vaucanson/misc/escaper.hh,
      	* include/vaucanson/misc/escaper.hxx,
      	* include/vaucanson/misc/iomanip.hh,
      	* include/vaucanson/misc/iomanip.hxx,
      	* include/vaucanson/misc/random.hxx,
      	* include/vaucanson/misc/special_char_traits.hh,
      	* include/vaucanson/misc/support.hh,
      	* include/vaucanson/misc/timer.cc,
      	* include/vaucanson/misc/timer.hh,
      	* include/vaucanson/misc/timer.hxx,
      	* include/vaucanson/misc/usual_escaped_characters.hh,
      	* include/vaucanson/misc/usual_escaped_characters.hxx,
      	* include/vaucanson/misc/window.hh,
      	* include/vaucanson/misc/window.hxx,
      	* include/vaucanson/standard_algorithms.hh,
      	* include/vaucanson/tools/automaton_tools.hh,
      	* include/vaucanson/tools/dot_dump.hh,
      	* include/vaucanson/tools/dot_dump.hxx,
      	* include/vaucanson/tools/dot_format.hh,
      	* include/vaucanson/tools/dot_format.hxx,
      	* include/vaucanson/tools/fsm_dump.hh,
      	* include/vaucanson/tools/fsm_dump.hxx,
      	* include/vaucanson/tools/gen_book.hh,
      	* include/vaucanson/tools/gen_book.hxx,
      	* include/vaucanson/tools/gen_random.hh,
      	* include/vaucanson/tools/io.hh,
      	* include/vaucanson/tools/io.hxx,
      	* include/vaucanson/tools/simple_format.hh,
      	* include/vaucanson/tools/simple_format.hxx,
      	* include/vaucanson/tools/usual_io.hh,
      	* include/vaucanson/tools/usual_io.hxx,
      	* include/vaucanson/tools/xml_display.hh,
      	* include/vaucanson/tools/xml_load.hh,
      	* include/vaucanson/vaucanson.hh,
      	* include/vaucanson/xml/error_handler.hh,
      	* include/vaucanson/xml/error_handler.hxx,
      	* include/vaucanson/xml/ios.hh,
      	* include/vaucanson/xml/ios.hxx,
      	* include/vaucanson/xml/session.hh,
      	* include/vaucanson/xml/strings.hh,
      	* include/vaucanson/xml/strings.hxx,
      	* src/benchs/common/bench_automaton.hh,
      	* src/benchs/common/bench_constructs.hh,
      	* src/benchs/composition/normalized_composition_bench.hh,
      	* src/benchs/composition/realtime_composition_bench.hh,
      	* src/benchs/derived_terms/derived_terms_bench.hh,
      	* src/benchs/determinization/determinization_bench.hh,
      	* src/benchs/minimization_2n/minimization_2n_brzozowski_bench.hh,
      	* src/benchs/minimization_2n/minimization_2n_hopcroft_bench.hh,
      	* src/benchs/minimization_2n/minimization_2n_moore_bench.hh,
      	* src/benchs/minimization_debruijn/minimization_debruijn_brzozowski_bench.hh,
      	* src/benchs/minimization_debruijn/minimization_debruijn_hopcroft_bench.hh,
      	* src/benchs/minimization_debruijn/minimization_debruijn_moore_bench.hh,
      	* src/benchs/quotient/quotient_bool_bench.hh,
      	* src/benchs/quotient/quotient_z_bench.hh,
      	* src/demos/algorithms/classics.cc,
      	* src/demos/algorithms/contains_factor.cc,
      	* src/demos/algorithms/equivalent_functions.cc,
      	* src/demos/algorithms/universal.cc,
      	* src/demos/function_library/algorithms.cc,
      	* src/demos/function_library/rt_tdc_algorithms.cc,
      	* src/demos/function_library/tdc_algorithms.cc,
      	* src/demos/one_rule_rewriting/ORR_demo.cc,
      	* src/demos/one_rule_rewriting/ORR_rt_gen.cc,
      	* src/demos/one_rule_rewriting/ORR_tdc_gen.cc,
      	* src/demos/one_rule_rewriting/fibonacci_demo.cc,
      	* src/demos/one_rule_rewriting/fibonacci_rt_gen.cc,
      	* src/demos/one_rule_rewriting/fibonacci_tdc_gen.cc,
      	* src/demos/vgrep/vgrep.cc,
      	* src/tests/check/tester.cc,
      	* src/tests/check/unique.cc,
      	* src/tests/design_pattern/element-full-test.cc,
      	* src/tests/design_pattern/intrinsics.hh,
      	* src/tests/design_pattern/intrinsics_assign.cc,
      	* src/tests/design_pattern/intrinsics_binops.cc,
      	* src/tests/design_pattern/intrinsics_convert.cc,
      	* src/tests/design_pattern/intrinsics_default.cc,
      	* src/tests/design_pattern/intrinsics_extra.cc,
      	* src/tests/design_pattern/intrinsics_link.cc,
      	* src/tests/design_pattern/intrinsics_ops.cc,
      	* src/tests/design_pattern/intrinsics_orphanage.cc,
      	* src/tests/design_pattern/intrinsics_size.cc,
      	* src/tests/include/tests/algebra/alphabets/alphabet_test.hh,
      	* src/tests/include/tests/algebra/alphabets/alphabet_torture_test.hh,
      	* src/tests/include/tests/algebra/free_monoid/constructor_without_arguments2_failcomp.hh,
      	* src/tests/include/tests/algebra/free_monoid/constructor_without_arguments_failcomp.hh,
      	* src/tests/include/tests/algebra/free_monoid/free_monoid_test.hh,
      	* src/tests/include/tests/algebra/numerical_semiring/numerical_semiring_test.hh,
      	* src/tests/include/tests/algebra/semiring/semiring_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_identity_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_letter_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_product_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_star_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_sum_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_zero_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_identity_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_letter_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_product_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_star_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_sum_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_zero_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/derivations_common.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_common.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_identity_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_letter_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_product_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_star_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_sum_test.hh,
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_zero_test.hh,
      	* src/tests/include/tests/algebra/series/krat/main/krat_exp_aci_canonical_test.hh,
      	* src/tests/include/tests/algebra/series/krat/main/krat_exp_constant_term_test.hh,
      	* src/tests/include/tests/algebra/series/krat/main/krat_exp_expand_test.hh,
      	* src/tests/include/tests/algebra/series/krat/main/krat_exp_flatten_test.hh,
      	* src/tests/include/tests/algebra/series/krat/main/krat_exp_parse_test.hh,
      	* src/tests/include/tests/algebra/series/krat/main/krat_exp_realtime_test.hh,
      	* src/tests/include/tests/algebra/series/krat/tests/generate_random_krat.cc,
      	* src/tests/include/tests/algebra/series/polynom/series_polynom_test.hh,
      	* src/tests/include/tests/automata/algos/boolean_automata/aci_canonical_test.hh,
      	* src/tests/include/tests/automata/algos/boolean_automata/berry_sethi_test.hh,
      	* src/tests/include/tests/automata/algos/fmp_transducers/evaluation_fmp_test.hh,
      	* src/tests/include/tests/automata/algos/fmp_transducers/sub_normalize_test.hh,
      	* src/tests/include/tests/automata/algos/freemonoid_labeled_graphs/generalized_test.hh,
      	* src/tests/include/tests/automata/algos/freemonoid_labeled_graphs/krat_exp_realtime_conflict_test.hh,
      	* src/tests/include/tests/automata/algos/freemonoid_labeled_graphs/realtime_test.hh,
      	* src/tests/include/tests/automata/algos/graphs/extract_test.hh,
      	* src/tests/include/tests/automata/algos/graphs/reachable_test.hh,
      	* src/tests/include/tests/automata/algos/graphs/sub_automaton_test.hh,
      	* src/tests/include/tests/automata/algos/graphs/trim_test.hh,
      	* src/tests/include/tests/automata/algos/label_aware_graphs/standard_of_regression_test.hh,
      	* src/tests/include/tests/automata/algos/label_aware_graphs/sum_test.hh,
      	* src/tests/include/tests/automata/algos/labeled_graphs/normalize_test.hh,
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/derived_term_automaton_test.hh,
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/deterministic_test.hh,
      	* src/tests/include/tests/automata/algos/series_multiplicity_transducers/extension_test.hh,
      	* src/tests/include/tests/automata/algos/series_multiplicity_transducers/realtime_trans_test.hh,
      	* src/tests/include/tests/automata/implementation_check/add_state_test.hh,
      	* src/tests/include/tests/automata/implementation_check/add_transition_test.hh,
      	* src/tests/include/tests/automata/implementation_check/coherence_state_transition_test.hh,
      	* src/tests/include/tests/automata/implementation_check/global_consistency_test.hh,
      	* src/tests/include/tests/automata/implementation_check/init_final_test.hh,
      	* src/tests/include/tests/automata/implementation_check/rdelta_test.hh,
      	* src/tests/include/tests/check/tester.hh,
      	* src/tests/include/tests/context_headers/transducers/global_consistency_test.hh,
      	* src/tests/include/tests/design_pattern/design_pattern-test.hh,
      	* src/tests/misc/assert_test.cc,
      	* src/tests/misc/bitset.cc,
      	* src/tests/misc/char_traits.cc,
      	* src/tests/misc/koenig.cc,
      	* src/tests/misc/limits.cc,
      	* src/tests/misc/random.cc,
      	* src/tests/misc/selectors.cc,
      	* src/tests/misc/static.cc,
      	* src/tests/misc/unique.cc,
      	* src/tests/misc/window.cc,
      	* taf-kit/src/common.hh,
      	* taf-kit/src/main.cc,
      	* vaucanswig/meta/automaton.hh,
      	* vaucanswig/meta/context.hh,
      	* vaucanswig/meta/vauto.cc,
      	* vaucanswig/meta/vauto.hh,
      	* vaucanswig/meta/vcontext.cc,
      	* vaucanswig/meta/vcontext.hh: Update the copyright notices.
      61e345bd
  26. 10 Jan, 2007 1 commit
    • Robert Bigaignon's avatar
      Add benchmarking facilities to TAF-Kit. · 10c60c0c
      Robert Bigaignon authored
      	* include/vaucanson/misc/timer.cc,
      	* include/vaucanson/misc/timer.hxx,
      	* include/vaucanson/misc/timer.hh: Add new operations designed
      	  to be used by Bencher.
      
      	* include/vaucanson/misc/bencher.hh,
      	* include/vaucanson/misc/bencher.cc,
      	* include/vaucanson/misc/bencher.hxx: New. The Bencher
      	  class. Use Timer to collect measures on a programm
      	  execution.
      
      	* taf-kit/src/common.hh: .
      	* taf-kit/src/main.cc: .
      
      	* include/Makefile.am: Update accordingly.
      10c60c0c
  27. 29 Oct, 2006 1 commit
  28. 03 Oct, 2006 1 commit
    • Robert Bigaignon's avatar
      More timer overhaul. · 11043997
      Robert Bigaignon authored
      	* include/vaucanson/misc/timer.cc,
      	* include/vaucanson/misc/timer.hh: Inline operator<< to avoid
      	  multiple definitions at link.
      
      	* taf-kit/src/main.cc: Call print rather than dump.
      11043997
  29. 30 Aug, 2006 1 commit
    • Akim Demaille's avatar
      Use the Timer in TAF-Kit. · 98c9926b
      Akim Demaille authored
      	* taf-kit/src/edition_commands.hxx: s/wrong/invalid/.
      	* taf-kit/src/interface.cc: Idem.
      	* taf-kit/src/common.hh (config/system.hh): Include it to
      	define VAUCANSON.
      	(GLOBAL_TIMER): New.
      	(arguments_t): Provide a ctor.
      	(arguments_t::report_time): New.
      	* taf-kit/src/main.cc (timer): New.
      	(options): Add --report-time.
      	Use the anonymous namespace instead of static.
      	Use the timer.
      98c9926b
  30. 04 Aug, 2006 1 commit
  31. 19 Jul, 2006 1 commit
    • Michal Cadilhac's avatar
      Add TAF-Kit for Z weighted automata. · 347b957a
      Michal Cadilhac authored
      - taf-kit/src/ratexp_commands.hh: New. RatExp specific commands. Not
      common because RatExp are not handled for every type of automata.
      - taf-kit/src/common_commands.hh: Update accordingly.
      - taf-kit/src/interface.hh,
      - taf-kit/src/interface.cc: New. Interface to choose a command and to
      list them.
      - taf-kit/src/commands.hh,
      - taf-kit/src/b_commands.cc: Update accordingly.
      - taf-kit/src/z_commands.cc: New. Z weighted automata support.
      - taf-kit/src/Makefile.am: Add `vcsn-z'.
      347b957a
  32. 07 Jun, 2006 1 commit
    • Akim Demaille's avatar
      Set up a test framework for TAF-Kit. · 21c1a639
      Akim Demaille authored
      	* src/taf-kit: Move too...
      	* taf-kit/src: here.
      	* taf-kit/tests: New.
      	* taf-kit/tests/defs.in: New.
      	* taf-kit/tests/vcsn-b.test: New.
      	* taf-kit/tests/Makefile.am: New.
      	* taf-kit/Makefile.am: New.
      
      	* src/Makefile.am, configure.ac, Makefile.am: Adjust.
      21c1a639
  33. 01 Jun, 2006 1 commit
    • Akim Demaille's avatar
      2006-06-01 Akim Demaille <akim@lrde.epita.fr> · fe112f1b
      Akim Demaille authored
      	Multipurpose patch, don't do that at home.
      
      	* src/taf-kit/main.cc: Remove useless extern "C".
      
              * src/tests/design_pattern/Makefile.am: Adjust.
      
              * src/tests/bin/generate-test-suite.sh: Revamp it.
      	Use lower case names for non env vars.
      	Factor some code.
      
              * src/tests/Makefile.am: License.
      	* src/tests/check/Makefile.check, src/tests/check/Makefile.flags:
      	Rename as...
      	* src/tests/check/check.mk, src/tests/check/check-flags.mk:
      	these.
      	Adjust all dependencies.
      
              * argp/configure.ac: Remove obsolete invocation to
      	AM_PROG_CC_STDC.
      	
              * build-aux/vcsn-xml.m4: s/vcsn_cv_xml_user_hint/with_xerces/
      	to please expert users of config.site.
      
              * configure.ac: Stop pretending CXX can be CC.
      	
              * doc/makefiles/vcsn-Makefile: 
      
              * Makefile.am (SUBDIRS): Compile src first then doc. 
      
      	NOTICE is named COPYING.
      fe112f1b
  34. 31 May, 2006 1 commit
    • Akim Demaille's avatar
      Bind taf-kit to argp. · 73f14e7a
      Akim Demaille authored
      	* src/taf-kit/main.cc: Use the standard version strings.
      	* src/taf-kit/Makefile.am: Use argp.
      	* Makefile.am (SUBDIRS): Add argp.
      73f14e7a
  35. 07 May, 2006 1 commit
    • Michal Cadilhac's avatar
      Add TAF-Kit for Boolean automata. · b33682c5
      Michal Cadilhac authored
      TAF-Kit stands for Typed Automata Function Kit, that is to say,
      programs that deal with fixed type automata, on the command line.
      
      - src/taf-kit: New. TAF-Kit directory.
      
      - src/taf-kit/b_commands.cc: New. Add commands specific to Boolean
      automata.
      
      The following files will be common to all TAF-Kit binaries:
      
      - src/taf-kit/commands.hh: New.
      - src/taf-kit/edit_automaton.hh,
      - src/taf-kit/edit_automaton.hxx: New. `edit_automaton' and 
      `create_automaton' functions.
      - src/taf-kit/commands_macros.hh: New. Useful macros to define commands.
      - src/taf-kit/getters.hh,
      - src/taf-kit/getters.hxx: New. Getters for expressions, automata, ...
      - src/taf-kit/common.hh: New.
      - src/taf-kit/predefined_alphabets.hh: New.
      - src/taf-kit/common_commands.hh: New.
      - src/taf-kit/main.cc: New.
      
      - src/taf-kit/Makefile.am: New.
      - src/Makefile.am: Include TAF-Kit as a subdirectory if its build has
      been requested.
      - config/vcsn_taf_kit.m4: New. Check for Curses and enable the build
      of TAF-Kit on demand.
      - configure.ac: Update accordingly.
      b33682c5