- 21 Mar, 2007 4 commits
-
-
Jimmy Ma authored
* taf-kit/src/Makefile.am: Update rules to add the support of libvcsn.
-
Jimmy Ma authored
* lib/Makefile.am: Now creating a .so instead of .a The distclean rule is now called maintainer-clean. * lib/generate_libvcsn.rb: The parsing method has changed. We are now taking advantage of the interface of vaucanswig to generate libvcsn.
-
Jimmy Ma authored
* eps_removal.hh, * normalized.hh, * product.hh, * realtime.hh, * standard.hh, * standard_of.hh, * sub_automaton.hh, * thompson.hh: Corrected wrong interface comments.
-
Jimmy Ma authored
* include/vaucanson/algorithms/aut_to_exp.hxx: Added a missing inline to correct a multiple definition error found in libvcsn.
-
- 20 Mar, 2007 9 commits
-
-
Akim Demaille authored
* include/vaucanson/algebra/implementation/alphabets/set_alphabet.hh, * include/vaucanson/algebra/implementation/alphabets/set_alphabet.hxx: Rename as... * include/vaucanson/algebra/implementation/alphabets/alphabet_set.hh, * include/vaucanson/algebra/implementation/alphabets/alphabet_set.hxx: these. * include/Makefile.am, * include/vaucanson/algebra/implementation/alphabets/predefs.hh, * include/vaucanson/algebra/implementation/free_monoid/str_words.hh: Adjust. * include/vaucanson/boolean_automaton_structures.hh: Comment fix.
-
Akim Demaille authored
* Makefile.am (BUILT_SOURCES): New.
-
Akim Demaille authored
-
Akim Demaille authored
* configure.ac (VCSN_XMLNS): New. * include/vaucanson/config/pconf.hh.in: Adjust. * include/vaucanson/xml/session.hxx: Use it. * include/vaucanson/xml/xml_chooser.hxx: Use tools::create_element. * include/vaucanson/xml/xml_converter.hxx: Idem. Also, remove useless vars. Use VCSN_XMLNS. Formatting changes. * include/vaucanson/xml/xerces_parser.hh, * include/vaucanson/xml/xerces_parser.hxx (loaddocument): Rename as... (load_document): this. (PARSER_SET_VALUE, PARSER_SET_PROPERTY): Rename as... (PARSER_SET_PROPERTY, PARSER_SET_FEATURE): these, for consistency. * include/vaucanson/xml/tools.hxx: Formatting changes.
-
Akim Demaille authored
-
Akim Demaille authored
* include/vaucanson/algorithms/determinize.hxx: Shorten scopes. Use a while-loop instead of a do-loop. The difference here is negligible but while-loops are more traditional and easier to read.
-
Akim Demaille authored
* data/automata/b/a1.cc, data/automata/b/b1.cc, * data/automata/b/divkbaseb.cc, data/automata/b/double_ring.cc, * data/automata/b/ladybird.cc, data/automata/tdc/t1.cc: Be more tolerant on the input: accept the format as last optional argument. * data/automata/b/double_ring.cc: Catch invalid arguments.
-
Guillaume Lazzara authored
-
Akim Demaille authored
* include/vaucanson/tools/dumper.hh, * include/vaucanson/tools/dumper.hxx (dumper): Let the format argument be optional. * include/vaucanson/tools/bencher.hxx: White space changes. Get rid of useless variables.
-
- 19 Mar, 2007 3 commits
-
-
Guillaume Leroi authored
* eps_removal.hxx: Use a map to check if a transition already exist. * realtime.hxx: Remove useless output.
-
Florian Lesaint authored
r1587 removed print_document, even if session.hxx was still using it. print_document is back, with new arguments. * session.hxx: update use of print_document. * tools.hh: add a new print_document function * tools.hxx: add a new print_document function * xml_converter.hxx: use print_document again.
-
Florian Lesaint authored
See ticket #98: https://trac.lrde.org/vaucanson/trac.cgi/ticket/98 Allow to use " as " (and similar) in the XML desc. * tools.hh: remove unused functions. * tools.hxx: remove unused functions. * xml_converter.hxx: use of DOMWriter from Xerces Library. * xml_xerces_stream.hh: New, New Xerces Class for output on a C++ stream.
-
- 18 Mar, 2007 1 commit
-
-
Guillaume Lazzara authored
Fix a make check issue * aut_to_exp.hh: Add a new include.
-
- 16 Mar, 2007 2 commits
-
-
Guillaume Leroi authored
Epsilon removal must be done after cutting words in letter. By this way, the algorithm may generate less transitions. * include/vaucanson/algorithms/realtime.hxx: Move the call to eps_removal after do_realtime_words_here. Remove useless code which was doing a epsilon removal after eps_removal's call.
-
Akim Demaille authored
* include/vaucanson/algorithms/determinize.hxx, * include/vaucanson/algorithms/standard.hxx, * include/vaucanson/automata/implementation/graph.hh, * include/vaucanson/automata/implementation/graph.hxx: Improve readability (according to my book...). Space around bin ops. More doxumentation. Remove a spurious `;'.
-
- 15 Mar, 2007 2 commits
-
-
Akim Demaille authored
* include/vaucanson/misc/timer.hh, * include/vaucanson/misc/timer.hxx, * include/vaucanson/misc/timer.cc (min, max): Remove them all. (operator<): New, for Timer, TimeVar, and Time. (TimeVar::lap, TimeVar::start_child, TimeVar::stop_child): New. (Time::initial, Time::first, Time::saved_cumulated): Remove. (Timer::operator+=, Timer::operator/=): Don't forget the member "total". * include/vaucanson/misc/bencher.cc: Adjust. Make it compilable as a standalone test again. Use ?: where it makes more sense that if.
-
Guillaume Leroi authored
* eps_removal.hxx: Use vector instead of list. Define operator() for functor. Constifie attributes of Finder.
-
- 14 Mar, 2007 1 commit
-
-
Guillaume Lazzara authored
Split fsm_dump.{hh,hxx} according to the documentation. * ../../../doc/manual/developer.tex: . * fsm_dump.hh: . * fsm_dump.hxx: . * fsm_load.hh: New. * fsm_load.hxx: New.
-
- 09 Mar, 2007 3 commits
-
-
Guillaume Leroi authored
* include/vaucanson/algorithms/realtime.hxx: Use monoid_elt_t::iterator for iterating through letter instead of string::substr.
-
Guillaume Leroi authored
* algorithms/image.hxx: Change void return type of image_dispatch2 to output_projection_helper. Use overloading to dispatch method calls with or without a map instead of an "if".
-
Guillaume Leroi authored
* include/vaucanson/algorithms/product.hxx: Change reference type to type for attribute semiring_zero_.
-
- 07 Mar, 2007 1 commit
-
-
Guillaume Lazzara authored
Fix a wrong ifndef condition * composition_cover.hh: . * internal/build_pattern.hh: . * internal/partial_rat_exp.hh: . * internal/partial_rat_exp_constant_term.hh: . * internal/partial_rat_exp_derivation.hh: .
-
- 06 Mar, 2007 4 commits
-
-
Guillaume Lazzara authored
lead to a compiling error. Fix includes issues * include/vaucanson/algorithms/aut_to_exp.hxx: A header was missing. * include/vaucanson/algorithms/product.hxx: Few structures were only declared and implemented in this file. The structure's declarations have been moved to the .hh and now we keep the implementations only.
-
Guillaume Lazzara authored
contexts/*_functions.thh. They are now declared in new files: *_maker.t{hh,hxx}. These new files are included in the *_structures.hh. This patch will be useful for libvcsn-*. We may be able to instantiate the make_automaton functions in a .cc file to speed up the compilation. Include the make_automaton functions in the structures' headers. * include/Makefile.am: Add the new files in the list. * include/vaucanson/boolean_automaton_structures.hh: . * include/vaucanson/boolean_transducer_structures.hh: . * include/vaucanson/contexts/automaton_functions.thh: . * include/vaucanson/contexts/automaton_functions.thxx: Remove. * include/vaucanson/contexts/automaton_maker.thh: New. * include/vaucanson/contexts/automaton_maker.thxx: New. * include/vaucanson/contexts/fmp_transducer_functions.thh: . * include/vaucanson/contexts/fmp_transducer_functions.thxx: Remove. * include/vaucanson/contexts/fmp_transducer_maker.thh: New. * include/vaucanson/contexts/fmp_transducer_maker.thxx: New. * include/vaucanson/contexts/transducer_functions.thh: . * include/vaucanson/contexts/transducer_functions.thxx: Remove. * include/vaucanson/contexts/transducer_maker.thh: New. * include/vaucanson/contexts/transducer_maker.thxx: New. * include/vaucanson/fmp_transducer_structures.hh: . * include/vaucanson/r_automaton_structures.hh: . * include/vaucanson/z_automaton_structures.hh: . * include/vaucanson/z_fmp_transducer.hh: . * include/vaucanson/z_fmp_transducer_structures.hh: . * include/vaucanson/z_transducer_structures.hh: .
-
Guillaume Lazzara authored
These files were forgotten in the patch #1573. Add forgotten VCSN_USE_LIB ifndef * include/vaucanson/algorithms/composition_cover.hh: . * include/vaucanson/algorithms/internal/build_pattern.hh: . * 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_derivation.hh: . * include/vaucanson/tools/dot_dump.hh: . * include/vaucanson/tools/dot_format.hh: . * include/vaucanson/tools/gen_book.hh: . * include/vaucanson/tools/io.hh: . * include/vaucanson/tools/simple_dump.hh: . * include/vaucanson/tools/simple_format.hh: . * include/vaucanson/tools/usual_io.hh: .
-
Guillaume Lazzara authored
.hxx files (revert the patch #1561). A new define, VCSN_USE_LIB, has been created to explicitly not include the .hxx files for the algorithms (may be extended to other types of functions later). It will be useful whenever one will want to compile a binary and link it against libvcsn-*. It also removes the old VCSN_WITHOUT_ALGORITHMS_INCLUDES defines. VCSN_USE_LIB replaces VCSN_WITHOUT_ALGORITHMS_INCLUDES. The documentation will come in a next patch. Add a new define to explicitly not include the algorithms' .hxx files. * include/vaucanson/algebra/concept/alphabets_base.hh: . * include/vaucanson/algebra/concept/freemonoid_base.hh: . * include/vaucanson/algebra/concept/freemonoid_product.hh: . * include/vaucanson/algebra/concept/freemonoid_product_base.hh: . * include/vaucanson/algebra/concept/monoid_base.hh: . * include/vaucanson/algebra/concept/numerical_semiring.hh: . * include/vaucanson/algebra/concept/semigroup_base.hh: . * include/vaucanson/algebra/concept/semiring_base.hh: . * include/vaucanson/algebra/concept/series_base.hh: . * include/vaucanson/algebra/concept/tropical_semiring.hh: . * include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hh: . * include/vaucanson/algebra/implementation/alphabets/set_alphabet.hh: . * include/vaucanson/algebra/implementation/free_monoid/str_words.hh: . * include/vaucanson/algebra/implementation/free_monoid/tools.hh: . * include/vaucanson/algebra/implementation/free_monoid/words.hh: . * include/vaucanson/algebra/implementation/free_monoid_product/freemonoid_product_pair_str.hh: . * include/vaucanson/algebra/implementation/letter/couple_letter.hh: . * include/vaucanson/algebra/implementation/letter/int_letter.hh: . * include/vaucanson/algebra/implementation/letter/range.hh: . * include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh: . * include/vaucanson/algebra/implementation/semiring/rational_number.hh: . * include/vaucanson/algebra/implementation/semiring/tropical_semiring.hh: . * include/vaucanson/algebra/implementation/series/generalized.hh: . * include/vaucanson/algebra/implementation/series/krat.hh: . * include/vaucanson/algebra/implementation/series/krat_coefficient.hh: . * include/vaucanson/algebra/implementation/series/krat_conversion.hh: . * include/vaucanson/algebra/implementation/series/krat_exp_parser.hh: . * include/vaucanson/algebra/implementation/series/krat_exp_pattern.hh: . * include/vaucanson/algebra/implementation/series/polynoms.hh: . * include/vaucanson/algebra/implementation/series/rat/depth_visitor.hh: . * include/vaucanson/algebra/implementation/series/rat/dispatch_visitor.hh: . * include/vaucanson/algebra/implementation/series/rat/dump_visitor.hh: . * include/vaucanson/algebra/implementation/series/rat/exp.hh: . * include/vaucanson/algebra/implementation/series/rat/nodes.hh: . * include/vaucanson/algebra/implementation/series/rat/random_visitor.hh: . * include/vaucanson/algebra/implementation/series/rat/reverse_visitor.hh: . * include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hh: . * include/vaucanson/algebra/implementation/series/series.hh: . * include/vaucanson/algebra/implementation/series/transpose.hh: . * include/vaucanson/algorithms/accessible.hh: . * include/vaucanson/algorithms/aci_canonical.hh: . * include/vaucanson/algorithms/aut_to_exp.hh: . * include/vaucanson/algorithms/backward_realtime.hh: . * include/vaucanson/algorithms/berry_sethi.hh: . * include/vaucanson/algorithms/brzozowski.hh: . * include/vaucanson/algorithms/complement.hh: . * include/vaucanson/algorithms/complete.hh: . * include/vaucanson/algorithms/concatenate.hh: . * include/vaucanson/algorithms/cut_up.hh: . * include/vaucanson/algorithms/derived_term_automaton.hh: . * include/vaucanson/algorithms/determinize.hh: . * include/vaucanson/algorithms/domain.hh: . * include/vaucanson/algorithms/eps_removal.hh: . * include/vaucanson/algorithms/eval.hh: . * include/vaucanson/algorithms/evaluation.hh: . * include/vaucanson/algorithms/evaluation_fmp.hh: . * include/vaucanson/algorithms/extension.hh: . * include/vaucanson/algorithms/finite_support_conversion.hh: . * include/vaucanson/algorithms/forward_realtime.hh: . * include/vaucanson/algorithms/image.hh: . * include/vaucanson/algorithms/initial_derivation.hh: . * include/vaucanson/algorithms/internal/has_neighbour.hh: . * include/vaucanson/algorithms/internal/outsplitting.hh: . * include/vaucanson/algorithms/internal/skeleton.hh: . * include/vaucanson/algorithms/invert.hh: . * include/vaucanson/algorithms/is_ambiguous.hh: . * include/vaucanson/algorithms/is_deterministic.hh: . * include/vaucanson/algorithms/is_letterized.hh: . * include/vaucanson/algorithms/is_normalized.hh: . * include/vaucanson/algorithms/is_realtime.hh: . * include/vaucanson/algorithms/isomorph.hh: . * include/vaucanson/algorithms/krat_exp_cderivation.hh: . * include/vaucanson/algorithms/krat_exp_constant_term.hh: . * include/vaucanson/algorithms/krat_exp_derivation.hh: . * include/vaucanson/algorithms/krat_exp_expand.hh: . * include/vaucanson/algorithms/krat_exp_flatten.hh: . * include/vaucanson/algorithms/krat_exp_linearize.hh: . * include/vaucanson/algorithms/krat_exp_partial_derivation.hh: . * include/vaucanson/algorithms/krat_exp_realtime.hh: . * include/vaucanson/algorithms/letter_to_letter_composition.hh: . * include/vaucanson/algorithms/minimization_hopcroft.hh: . * include/vaucanson/algorithms/minimization_moore.hh: . * include/vaucanson/algorithms/normalized.hh: . * include/vaucanson/algorithms/normalized_composition.hh: . * include/vaucanson/algorithms/product.hh: . * include/vaucanson/algorithms/projection.hh: . * include/vaucanson/algorithms/realtime.hh: . * include/vaucanson/algorithms/realtime_composition.hh: . * include/vaucanson/algorithms/realtime_decl.hh: . * include/vaucanson/algorithms/search.hh: . * include/vaucanson/algorithms/standard.hh: . * include/vaucanson/algorithms/standard_of.hh: . * include/vaucanson/algorithms/sub_automaton.hh: . * include/vaucanson/algorithms/sub_normalize.hh: . * include/vaucanson/algorithms/sum.hh: . * include/vaucanson/algorithms/thompson.hh: . * include/vaucanson/algorithms/transpose.hh: . * include/vaucanson/algorithms/trim.hh: . * include/vaucanson/automata/concept/automata.hh: . * include/vaucanson/automata/concept/automata_base.hh: . * include/vaucanson/automata/concept/automata_ops.hh: . * include/vaucanson/automata/concept/copy.hh: . * include/vaucanson/automata/concept/handlers.hh: . * include/vaucanson/automata/concept/history.hh: . * include/vaucanson/automata/concept/kinds.hh: . * include/vaucanson/automata/concept/tags.hh: . * include/vaucanson/automata/concept/transducer.hh: . * include/vaucanson/automata/concept/transducer_base.hh: . * include/vaucanson/automata/concept/transducer_ops.hh: . * include/vaucanson/automata/concept/translate.hh: . * include/vaucanson/automata/implementation/automaton_view.hh: . * include/vaucanson/automata/implementation/generalized.hh: . * include/vaucanson/automata/implementation/geometry.hh: . * include/vaucanson/automata/implementation/graph.hh: . * include/vaucanson/automata/implementation/kind_adapter.hh: . * include/vaucanson/automata/implementation/transpose_view.hh: . * include/vaucanson/design_pattern/default_ops.hh: . * include/vaucanson/design_pattern/element.hh: . * include/vaucanson/design_pattern/element_ops.hh: . * include/vaucanson/design_pattern/meta_element_root.hh: . * include/vaucanson/design_pattern/slots.hh: . * include/vaucanson/design_pattern/structure.hh: . * include/vaucanson/design_pattern/syntactic_decorator.hh: . * include/vaucanson/misc/bencher.hh: . * include/vaucanson/misc/bitset.hh: . * include/vaucanson/misc/char_traits.hh: . * include/vaucanson/misc/container_ops.hh: . * include/vaucanson/misc/deferrer.hh: . * include/vaucanson/misc/escaper.hh: . * include/vaucanson/misc/functors.hh: . * include/vaucanson/misc/iomanip.hh: . * include/vaucanson/misc/random.hh: . * include/vaucanson/misc/self_iterator.hh: . * include/vaucanson/misc/sparse_interval.hh: . * include/vaucanson/misc/support.hh: . * include/vaucanson/misc/timer.hh: . * include/vaucanson/misc/unique.hh: . * include/vaucanson/misc/usual_escaped_characters.hh: . * include/vaucanson/misc/window.hh: . * include/vaucanson/tools/dot_display.hh: . * include/vaucanson/tools/fsm_dump.hh: . * include/vaucanson/tools/gen_random.hh: . * include/vaucanson/tools/out_display.hh: . * include/vaucanson/tools/xml_display.hh: . * include/vaucanson/tools/xml_dump.hh: . * include/vaucanson/tools/xml_load.hh: . * include/vaucanson/xml/XML.hh: . * include/vaucanson/xml/error_handler.hh: . * include/vaucanson/xml/node.hh: . * include/vaucanson/xml/session.hh: . * include/vaucanson/xml/strings.hh: . * include/vaucanson/xml/tools.hh: . * include/vaucanson/xml/xerces_parser.hh: . * include/vaucanson/xml/xml_chooser.hh: . * include/vaucanson/xml/xml_converter.hh: .
-
- 01 Mar, 2007 1 commit
-
-
Florian Lesaint authored
The function is now a functor called Product * include/vaucanson/algorithms/product.hh: Add preconditions and references to ETA. * include/vaucanson/algorithms/product.hxx: Refactoring of product.
-
- 27 Feb, 2007 3 commits
-
-
Akim Demaille authored
* include/vaucanson/r_automaton.hh, * include/vaucanson/z_automaton.hh, * include/vaucanson/z_min_plus_automaton.hh, * include/vaucanson/z_max_plus_automaton.hh: Don't do it. * include/vaucanson/r_automaton_structures.hh, * include/vaucanson/z_automaton_structures.hh, * include/vaucanson/boolean_automaton_structures.hh, * include/vaucanson/z_min_plus_automaton_structures.hh, * include/vaucanson/z_max_plus_automaton_structures.hh: Do it.
-
Akim Demaille authored
* include/vaucanson/misc/self_iterator.hxx: Fix big syntax mistakes I made when extracting this file from the *.hh file.
-
Akim Demaille authored
* include/vaucanson/boolean_automaton_structures.hh, * include/vaucanson/boolean_transducer_structures.hh, * include/vaucanson/fmp_transducer_structures.hh, * include/vaucanson/r_automaton_structures.hh, * include/vaucanson/z_automaton_structures.hh, * include/vaucanson/z_fmp_transducer_structures.hh, * include/vaucanson/z_max_plus_automaton_structures.hh, * include/vaucanson/z_min_plus_automaton_structures.hh, * include/vaucanson/z_transducer_structures.hh: Use correct CPP guards.
-
- 26 Feb, 2007 4 commits
-
-
Vivien Delmon authored
* include/vaucanson/algorithms/determinize.hh: . * include/vaucanson/algorithms/minimization_moore.hh: .
-
Akim Demaille authored
* include/vaucanson/misc/timer.hh: Here.
-
Akim Demaille authored
* include/vaucanson/misc/timer.hh: here, * include/vaucanson/misc/timer.cc: and there. Also, make sure the compilation of the test works.
-
Akim Demaille authored
-
- 25 Feb, 2007 1 commit
-
-
Vivien Delmon authored
* include/vaucanson/algorithms/determinize.hh: . * include/vaucanson/algorithms/determinize.hxx: . * include/vaucanson/algorithms/minimization_moore.hh: . * include/vaucanson/algorithms/minimization_moore.hxx: .
-
- 23 Feb, 2007 1 commit
-
-
Jimmy Ma authored
VCSN_CONTEXT is now defined in the compilation flags, avoiding multiple definitions when not used in libvcsn. * include/vaucanson/boolean_automaton_structures.hh: . * include/vaucanson/boolean_transducer_structures.hh: . * include/vaucanson/fmp_transducer_structures.hh: . * include/vaucanson/r_automaton_structures.hh: . * include/vaucanson/z_automaton_structures.hh: . * include/vaucanson/z_fmp_transducer_structures.hh: . * include/vaucanson/z_max_plus_automaton_structures.hh: . * include/vaucanson/z_min_plus_automaton_structures.hh: . * include/vaucanson/z_transducer_structures.hh: . * lib/generate_libvcsn.rb: .
-