* 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.

* include/vaucanson/automata/implementation/automata_ops.hxx
(op_add_state): Cleanup/Add comments.

* include/vaucanson/algorithms/krat_exp_realtime.hh,
include/vaucanson/algorithms/realtime.hh: Use the doxygen format for
some comments.

* include/vaucanson/algorithms/eval.hh: Replace XNTERFACE by
INTERFACE.
* 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.

* 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.

* taf-kit/src/getters.hxx, taf-kit/src/pipe_getters.hxx,
taf-kit/src/pipe_writers.hxx: Remove comments for fsm_dump and
fsm_load.

* 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
operator.
(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
automaton.
* 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.

* configure.ac: Add a new wrapper.
* include/.gitignore: More ignores.
* include/vaucanson/automata/generic_contexts/lal_z_automaton.hh,
include/vaucanson/automata/generic_contexts/lal_z_automaton_structures.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
weights.
(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.

* 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.

* include/vaucanson/algorithms/internal/has_neighbour.hxx: Move the
automaton_traits<> specialization for Automata<> from here...
* include/vaucanson/automata/concept/automata.hh: To here.

* 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.

Conflicts:

	include/vaucanson/automata/implementation/bmi_graph.hxx

See similar patch by Jérôme.  This seems to work only with LAL,
so rewrite after we found a solution.

* include/vaucanson/automata/concept/automata_base.hh:
Set the default weight to the identity.

* src/bench/determinization/Makefile.bench: Add benchmark.
* src/bench/determinization/determinization_aut_ladybird_lal_bench.hh:
New.  Benchmark implementation.

* include/vaucanson/automata/implementation/automata_ops.hxx: Do that.

* include/vaucanson/algorithms/product.hh: Do that.

Take advantage of the fact labels are letters.
Clean up the code.

* include/vaucanson/algorithms/determinize.hh,
* include/vaucanson/algorithms/determinize.hxx:
Do that.

* include/vaucanson/algorithms/realtime.hxx:
Return true on LAL.

* src/bench/product/Makefile.bench: Add new benchmarks.
* src/bench/product/product_aut_b_bool_bench.hh,
* src/bench/product/product_aut_b_z_bench.hh: Add missing infos.
* src/bench/product/product_aut_b_lal_bool_bench.hh,
* src/bench/product/product_aut_b_lal_z_bench.hh:
New.  LAL version of the benchmarks.

Take advantage of the fact labels are letters.
Clean up the code.

* include/vaucanson/algorithms/product.hh,
* include/vaucanson/algorithms/product.hxx:
Do that.

* include/vaucanson/automata/implementation/automata_ops.hxx:
Add missing typedef.

Use a map<hstate_t, weight_t> instead of vector<weight_t>, as it
is much faster on large, deterministic automata.

* include/vaucanson/algorithms/eval.hxx: Do that, remove old code
on LAS.

* src/bench/composition/realtime_composition_bench.hh:
Parameter name "n" -> "_n_" (like everywhere else).

* src/bench/accessible/Makefile.bench: Add the benchmark.
* src/bench/accessible/accessible_lal_bench.hh: New.
Benchmark implementation.

Label transitions with 'a' instead of epsilon.

* src/bench/common/bench_constructs.hh: Enable aut_complete,
Use add_transition instead of add_spontaneous.
* src/bench/common/README_AUTOMATA,
* src/bench/accessible/accessible_bench.hh: Update description.

* include/vaucanson/automata/concept/automata_base.hxx:
Forward calls to operators.
* include/vaucanson/automata/implementation/automata_ops.hh,
* include/vaucanson/automata/implementation/automata_ops.hxx:
Declare and implement operators (default and specialized on LAL).

* 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
letters.
* include/vaucanson/xml/printers.hxx (AutPrinter<>::create_initial)
(AutPrinter<>::create_final, AutPrinter<>::create_transition): Convert
to series before writing data.

* include/vaucanson/automata/implementation/automata_impl.hxx (set):
Set the default weight to the identity.
* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hxx,
include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hxx,
include/vaucanson/automata/concept/automata_base.hh
(new_add_transition): Set the default weight to the identity.

* 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.

* taf-kit/src/edition_commands.hxx (add_transition): Use
new_add_transition instead of add_series_transition. Do not build a
series.

* taf-kit/src/ratexp_commands.hh,
taf-kit/src/common_automaton_commands.hh, taf-kit/src/b_commands.cc:
Remove a trailing comma.

* configure.ac: Use ${path%/*} to remove the last path component.

This allows more test automata to be compiled for LAL (not those
that have epsilon transitions).

* src/bench/common/bench_constructs.hh: Do that.

* src/bench/common/bench_constructs.hh: Fix automaton creation to
use the new interface.
* src/bench/eval/Makefile.bench: Add the benchmark.
* src/bench/eval/eval_aut_dnk_lal_bench.hh: New.  Benchmark
implementation.

Append a suffix (".1", ".2", ...) to the name of the generated files.

* src/bench/common/bench_macros.hh: Update BENCH_VCSN_SAVE_AND_PRINT.

* configure.ac: Set OPENFST_PATH as the path to OpenFST binaries.
* src/bench/common/bench.mk,
* src/bench/determinization/Makefile.bench,
* src/bench/minimization/Makefile.bench: Refactor code.

* src/bench/common/bench_constructs.cc: Dump dot automaton.
* src/bench/common/bench_constructs.hh: Add Dnk automaton (aut_dnk).
* src/bench/eval/Makefile.bench: Add eval benchmark on aut_dnk,
adjust aut_b bench.
* src/bench/eval/eval_aut_dnk_bench.hh: New. Benchmark definition.

* include/vaucanson/algorithms/eval.hh: Include the automata concept
header. Synchronize the declaration of eval.
* include/vaucanson/algorithms/eval.hxx: Cleanup headers.

* 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
declaration.

* src/bench/eval/eval_aut_lal_b_bench.hh: Remove.