1. 03 Dec, 2009 6 commits
    • Jérôme Galtier's avatar
      Enable FSXML IO for automata in TAF-Kit. · bf5750fb
      Jérôme Galtier authored
      * taf-kit/src/edition_commands.hxx, taf-kit/src/getters.hh,
      taf-kit/src/getters.hxx, taf-kit/src/library_commands.hh,
      taf-kit/src/pipe_getters.hxx, taf-kit/src/pipe_writers.hxx: Remove the
      comments around automaton_loader, automaton_saver and dot_dump.
    • Jérôme Galtier's avatar
      Cleanup the add_state operator. · 46436bac
      Jérôme Galtier authored
      * include/vaucanson/automata/implementation/automata_ops.hxx
      (op_add_state): Cleanup/Add comments.
    • Jérôme Galtier's avatar
      Update the documentation. · 65f13e80
      Jérôme Galtier authored
      * include/vaucanson/algorithms/krat_exp_realtime.hh,
      include/vaucanson/algorithms/realtime.hh: Use the doxygen format for
      some comments.
    • Jérôme Galtier's avatar
      Enable the eval algorithm in TAF-Kit. · 5298b5f2
      Jérôme Galtier authored
      * include/vaucanson/algorithms/eval.hh: Replace XNTERFACE by
      * lib/generate_libvcsn.rb: Fix an error in the filter for vcsn-lal-z.
      Use Word as an alias to vcsn::VCSN_CONTEXT::monoid_elt_t.
      * taf-kit/src/z_commands.cc, taf-kit/src/b_commands.cc: Remove the
      comments on eval.
      * taf-kit/src/common_automaton_commands.hh (union): Cosmetic change.
      (eval): Do not call realtime, because eval only works on LAL automata
      and they are already realtime.
      * taf-kit/src/edition_commands.hxx (add_transition): Use parse_word to
      get the label. Use the new interface to create the transition.
      * taf-kit/src/getters.hh, taf-kit/src/getters.hxx: Update get_word so
      that it returns an Element<> instead of a value.
    • Jérôme Galtier's avatar
      Rewrite the fsm dumper and loader. · 210c2d85
      Jérôme Galtier authored
      * include/vaucanson/tools/fsm_dump.hxx: Add more comments. Do not make
      a copy of the automaton when there is more than one initial state.
      Dump the labels and weights in their corresponding fields.
      * include/vaucanson/tools/fsm_load.hxx: Add more comments. Cosmetic
      changes. Do not count the "1" string as a letter. Use the new
      interface to create transitions and initial/final states. The function
      now requires that there is only one subliminal initial state. It will
      be exploded in many initial states when converting to a Vaucanson
      automaton, so that fsm_load(fsm_dump) is identity.
    • Jérôme Galtier's avatar
      Enable FSM IO in TAF-Kit. · d83e1e6f
      Jérôme Galtier authored
      * taf-kit/src/getters.hxx, taf-kit/src/pipe_getters.hxx,
      taf-kit/src/pipe_writers.hxx: Remove comments for fsm_dump and
  2. 01 Dec, 2009 6 commits
    • Jérôme Galtier's avatar
      Use the new interface in TAF-Kit to set/get weights. · d705ad8e
      Jérôme Galtier authored
      * include/vaucanson/automata/concept/automata_base.hh
      (automaton_traits<>): New typedef entry_value_t.
      (MetaElement<AutomataBase<> >): Use the new entry_value_t trait,
      instead of harcoding entry_value_t to series_set_elt_t.
      (MetaElement<AutomataBase<> >::label_of): Use label_t instead of
      recalculating the type.
      (new_set_initial_entry, new_set_final_entry): New methods.
      * include/vaucanson/automata/concept/automata_base.hxx
      (new_get_entry): Move the implementation to the op_new_get_entry
      (new_set_initial_entry, new_set_final_entry): Add the implementation.
      (new_del_entry): Use the iterator factory.
      * include/vaucanson/automata/implementation/automata_ops.hh
      (op_new_set_entry, op_new_get_entry, op_new_set_initial_entry)
      (op_new_set_final_entry): New operators, with specialization for
      labels_are_letters when necessary.
      * include/vaucanson/automata/implementation/automata_ops.hxx
      (op_series_of): Build a series from op_word_of and op_weight_of.
      (op_weight_of): Call the underlying graph method.
      (op_new_set_entry, op_new_set_initial_entry, op_new_set_final_entry)
      (op_new_get_entry): Update the implementation.
      * include/vaucanson/automata/implementation/transpose_view.hh
      (automaton_traits<>::entry_value_t, automaton_traits<>::monoid_elt_t):
      New typedefs.
      * include/vaucanson/xml/handlers.hxx (TransitionHandler<>)
      (InitFinalHandler<>): Use the new entry interface to build the
      * include/vaucanson/xml/printers.hxx (create_transition): Use the
      improved series_of.
      * taf-kit/src/edition_commands.hxx (get_semiring_elt_value): Fix a
      typo in the prompt, and reactivate a missing parenthesis. Remove
      outdated comments.
      (print_automaton): Use the new interface to get an homogeneous display
      of transition labels and weights.
    • Jérôme Galtier's avatar
      Add the vcsn-lal-char-z TAF-Kit context. · e7ff4ea2
      Jérôme Galtier authored
      * configure.ac: Add a new wrapper.
      * include/.gitignore: More ignores.
      * include/vaucanson/automata/generic_contexts/lal_z_automaton.hh,
      New automaton structure for libvcsn-lal-z.la.
      * lib/Makefile.am: Include the generated file for lal_z_automaton.
      * lib/generate_libvcsn.rb: Update filters.
      * taf-kit/src/Makefile.am: Add the new vcsn-lal-char-z program.
      * taf-kit/src/edition_commands.hxx (add_transition): Add support for
      (set_unset_initial_final) [WITH_WEIGHTS]: Use the new interface. Do
      not built weight as a series.
      * taf-kit/src/z_commands.cc: Comment not working z_commands.
    • Jérôme Galtier's avatar
      Fix weight support in the XML printer. · 94e77e91
      Jérôme Galtier authored
      * include/vaucanson/automata/concept/automata_base.hh
      (automaton_traits<>): Add a missing monoid_elt_t trait, so that
      op_word_of is of some use.
      * include/vaucanson/automata/implementation/automata_ops.hxx
      (op_series_of): Use op_word_of instead of an access to the underlying
      graph structure.
      * include/vaucanson/xml/printers.hxx (create_transition): Use word_of
      instead of label_of. Initialize tmp_weight by using weight_of.
    • Jérôme Galtier's avatar
      Fix automaton_traits<> for Automata<>. · 4c3ddb6d
      Jérôme Galtier authored
      * include/vaucanson/algorithms/internal/has_neighbour.hxx: Move the
      automaton_traits<> specialization for Automata<> from here...
      * include/vaucanson/automata/concept/automata.hh: To here.
    • Jérôme Galtier's avatar
      Add support for weights in ListGraph<>. · bfbcf17f
      Jérôme Galtier authored
      * include/vaucanson/automata/implementation/automata_ops.hxx
      (op_add_transition, op_new_add_transition): Pass the weight parameter
      to add_edge. Remove the fixme for op_new_add_transition.
      * include/vaucanson/automata/implementation/graph_base.hh
      (GraphBase<>): New typedef for weight_t.
      (add_edge): Add a weight parameter.
      (weight_of): New method.
      * include/vaucanson/automata/implementation/graph_base.hxx
      (GraphBase<>::add_edge): Update to support weights.
      (GraphBase<>::weight_of): New implementation.
      * include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hxx
      (DeltaTransitionIterator<>::op_weight): Use the weight_of method of
      the underlying graph. Remove the fixme comment.
      (DeltaTransitionIterator<>::op_weight): Remove an outdated comment.
      * include/vaucanson/automata/implementation/list_graph.hh: Use
      weight_t instead of identity_t for the most general graph type.
      (ListGraph<>::op_add_edge): Update to support weights.
      * include/vaucanson/automata/implementation/list_graph.hxx
      (ListGraph<>::op_add_edge): Update to support weights.
      (ListGraph<>::op_weight_of): Add the implementation.
    • Jérôme Galtier's avatar
      Add weight parameter to EdgeValue · 7920f0ec
      Jérôme Galtier authored
  3. 30 Nov, 2009 14 commits
  4. 28 Nov, 2009 5 commits
    • Jérôme Galtier's avatar
      Enable XML IO for labels are letters. · 71cd90ea
      Jérôme Galtier authored
      * taf-kit/src/common_automaton_commands.hh,
      taf-kit/src/common_commands.hh, taf-kit/src/edition_commands.hxx:
      Remove comments.
      * include/vaucanson/xml/handlers.hxx (InitFinalHandler<>::end)
      (TransitionHandler<>::end): Temporary implementation for labels are
      * include/vaucanson/xml/printers.hxx (AutPrinter<>::create_initial)
      (AutPrinter<>::create_final, AutPrinter<>::create_transition): Convert
      to series before writing data.
    • Jérôme Galtier's avatar
      Fix the default weight for new_add_transition and initial/final containers. · f4bc95cf
      Jérôme Galtier authored
      * include/vaucanson/automata/implementation/automata_impl.hxx (set):
      Set the default weight to the identity.
      * include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hxx,
      (new_add_transition): Set the default weight to the identity.
    • Jérôme Galtier's avatar
      Disable FSM IO in TAF-Kit. · f13882d2
      Jérôme Galtier authored
      * taf-kit/src/getters.hxx, taf-kit/src/pipe_getters.hxx,
      taf-kit/src/pipe_writers.hxx: Add comments for fsm_dump and fsm_load.
    • Jérôme Galtier's avatar
      Update TAF-Kit to use the new interface. · aad00fc1
      Jérôme Galtier authored
      * taf-kit/src/edition_commands.hxx (add_transition): Use
      new_add_transition instead of add_series_transition. Do not build a
    • Jérôme Galtier's avatar
      Fix the compilation of TAF-Kit. · 0ce1d26f
      Jérôme Galtier authored
      * taf-kit/src/ratexp_commands.hh,
      taf-kit/src/common_automaton_commands.hh, taf-kit/src/b_commands.cc:
      Remove a trailing comma.
  5. 19 Nov, 2009 6 commits
  6. 16 Nov, 2009 3 commits
    • Jérôme Galtier's avatar
      Fix the declaration of the eval algorithm. · ed6c8410
      Jérôme Galtier authored
      * include/vaucanson/algorithms/eval.hh: Include the automata concept
      header. Synchronize the declaration of eval.
      * include/vaucanson/algorithms/eval.hxx: Cleanup headers.
    • Jérôme Galtier's avatar
      Add a working implementation for eval on lal automata. · fe80eaa5
      Jérôme Galtier authored
      * src/bench/common/bench_constructs.hh: Replace add_letter_transition,
      add_weighted_transition by add_transition.
      (aut_linear_eps, aut_complete): Disable.
      * include/vaucanson/algorithms/product.hxx (product): Use Element<A, T>
      to get hstate_t instead of T.
      (operator()): Use new_set_initial and new_set_final instead of
      set_intial and set_final.
      Disable too specialized code.
      * include/vaucanson/algorithms/eval.hxx: Include
      vaucanson/automata/concept/automata.hh. Add a new implementation for
      labels are letters automata.
      (eval): Add a static assert to check for the correct kind.
      Rename ret to res. Do not call the functor. Improve the function
    • Jérôme Galtier's avatar
      Cleanup bench for lal automata. · 6d8b8601
      Jérôme Galtier authored
      * src/bench/eval/eval_aut_lal_b_bench.hh: Remove.