* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hh,
include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hh,
include/vaucanson/automata/implementation/iterators/transition_iterator_base.hh
(iterator_traits_): Do not inherit from a base class, as it does not
fit well with our static inheritance idiom.

* configure.ac, include/.gitignore,
include/vaucanson/automata/generic_contexts/lal_boolean_automaton.hh,
include/vaucanson/automata/generic_contexts/lal_boolean_automaton_structures.hh,
include/vaucanson/contexts/lal_automaton.thh, lib/Makefile.am,
lib/generate_libvcsn.rb, taf-kit/src/Makefile.am,
taf-kit/tests/Makefile.am, taf-kit/tests/vcsn-lal-char-b.test: Replace
every occurrence of law by lal.

All transition iterators were quickly tested for listg & bmig.

* include/vaucanson/automata/implementation/iterators/transition_iterator.hh,
* include/vaucanson/automata/implementation/iterators/transition_iterator.hxx:
New.  Interface & implementation.

* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hxx,
* include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hh:
There.

* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hh,
* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hxx,
* include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hh,
* include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hxx:
Use const graph_t& instead of graph_t.  The iterators now work
with bmig.

* include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hh,
* include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hxx:
New.  Interface and implementation.

* include/vaucanson/automata/implementation/iterators/transition_iterator_base.hxx:
Fix constness in next().
* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hh,
* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hxx:
Add typedef to simplify type names.
Add default return value in op_weight().

Note: The iterator system compiles and DeltaTransitionIterator
can be instanciated.

* include/vaucanson/automata/implementation/iterators/transition_iterator_base.hh,
* include/vaucanson/automata/implementation/iterators/transition_iterator_base.hxx:
Have weight() return a semiring_elt_value_t instead of semiring_elt_t.
Specialize iterator_traits_.
Add typename where missing.
* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hh,
* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hxx:
Fix iterator_traits_ to reflect changes in other files.
Add typename where missing.

* include/vaucanson/automata/implementation/iterators/transition_iterator_base.hh,
* include/vaucanson/automata/implementation/iterators/transition_iterator_base.hxx,
* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hh,
* include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hxx:
New.  Interface and some implementation.

* include/vaucanson/automata/implementation/iterators/iterator_base.hh,
* include/vaucanson/automata/implementation/iterators/iterator_base.hxx:
Do that.

* include/vaucanson/automata/implementation/iterators/iterator_base.hh,
* include/vaucanson/automata/implementation/iterators/iterator_base.hxx:
Do that.

* include/vaucanson/automata/implementation/iterators/iterator_base.hh:
(IteratorBase::aut_): Replace by graph_ with type graph_t.
(iterator_traits_::automaton_t): Replace by graph_t.

* include/vaucanson/automata/implementation/iterators/iterator_base.hh,
include/vaucanson/automata/implementation/iterators/iterator_base.hxx
(IteratorBase::done()): Add const attribute.

* include/vaucanson/automata/implementation/iterators/iterator_base.hh
(iterator_traits_, IteratorBase): Remove the iterator_type typedef and
the iterator_ protected attribute.

* include/vaucanson/automata/implementation/iterators/iterator_base.hh,
include/vaucanson/automata/implementation/iterators/iterator_base.hxx:
New base class IteratorBase to factor common interfaces for all
iterators.

* configure.ac: Add a wrapper for vcsn-law-char-b.
* include/.gitignore: Exclude law_boolean headers.
* include/vaucanson/automata/generic_contexts/law_boolean_automaton.hh,
include/vaucanson/automata/generic_contexts/law_boolean_automaton_structures.hh,
include/vaucanson/contexts/law_automaton.thh: New context for automata
with kind labels are words.
* taf-kit/tests/vcsn-law-char-b.test: New test for vcsn-law-char-b.
* lib/Makefile.am: New library for vcsn-law-char-b.
* lib/generate_libvcsn.rb: Generate the new libvcsn-law-b.la library.
* taf-kit/src/Makefile.am: New TAF-Kit, vcsn-law-char-b.
* taf-kit/tests/Makefile.am: Run the new test script.

* lib/generate_libvcsn.rb: Semantic isomorphism is an automaton only
algorithm.

* include/vaucanson/automata/concept/automata_base.hxx
(new_add_state): Remove this implementation.

* include/vaucanson/algorithms/semantic_isomorphism.hxx
(StrictSemanticCheck::CompatibleNode)
(StrictSemanticCheck::CompatibleEdge)
(AutomatonSemanticCheck::CompatibleNode)
(AutomatonSemanticCheck::CompatibleEdge)
(SemanticIsomorpher::state_neighbours_t::operator())
(SemanticIsomorpher::SemanticIsomorpher)
(SSR::SSR, SSR::GetID, SSR::~SSR, SSR::GetCoreSet)
(SSR::NextPair, SSR::HasEdge, SSR::IsFeasiblePair)
(SSR::AddPair, SSR::BackTrack, SSR::IsDead)
(SSR::CoreLen, SSR::IsGoal)
(SemanticIsomorpher::operator())
(SemanticIsomorpher::fails_on_quick_tests)
(SemanticIsomorpher::match, MAKE_isomorphism): Use the
BENCH_TASK_SCOPED macro instead of TIMER_SCOPED.
(SemanticIsomorpher::state_neighbours_t::FillNeighboursSet): Use
delta_iterator (resp. rdelta_iterator) instead of deltac (resp.
rdeltac).

* include/vaucanson/automata/concept/kinds.hh: Correct macro block
indentation.

* src/bench/generate_bench.sh: Remove the e letter introduced by
commit b29a5402.

Conflicts:
	doc/manual/taf-kit-manual.tex

Conflicts:
	include/vaucanson/algorithms/ltl_to_pair.hxx
	include/vaucanson/automata/concept/automata.hh
	include/vaucanson/automata/concept/automata_base.hh
	include/vaucanson/automata/concept/kinds.hh
	include/vaucanson/automata/concept/kinds.hxx
	include/vaucanson/automata/concept/transducer.hh
	include/vaucanson/contexts/automaton.thh
	include/vaucanson/contexts/transducer.thh
	include/vaucanson/xml/contexts/fmp.hh
	src/demos/one_rule_rewriting/Makefile.am
	src/demos/one_rule_rewriting/ORR_demo.cc
	src/demos/one_rule_rewriting/ORR_iterate.cc
	src/demos/one_rule_rewriting/shortest.hh

* ChangeLog,
* src/demos/Makefile.am, src/demos/semantic_isomorphism/convert.cc,
* src/demos/semantic_isomorphism/main.cc,
* src/demos/semantic_isomorphism/semantic_isomorphism.tex
* src/demos/semantic_isomorphism/test_semantic_isomorphism.cc,
* include/vaucanson/algebra/implementation/letter/char_letter.hh,
* include/vaucanson/automata/generic_contexts/int_based_boolean_automaton.hh,
* include/vaucanson/automata/generic_contexts/int_based_boolean_automaton_structures.hh:
Aesthetic changes and cleanup.
* tools/pretty-printer/genetic.hxx, tools/pretty-printer/render.cc,
* tools/pretty-printer/vcsng.pro, tools/pretty-printer/xml2vcsng.xsl:
Remove layout algorithm as it is out of the Vaucanson bounds.

* include/vaucanson/automata/concept/automata_base.hxx:
Add implementations.
* src/tests/include/Makefile.am: Add new tests.
* src/tests/include/tests/automata/implementation_check/add_final_test_failcomp.hh,
* src/tests/include/tests/automata/implementation_check/add_initial_test_failcomp.hh,
* src/tests/include/tests/automata/implementation_check/set_final_test_failcomp.hh,
* src/tests/include/tests/automata/implementation_check/set_initial_test_failcomp.hh:
Add failcomp tests.
* src/tests/include/tests/automata/implementation_check/entry_test.hh:
Update tests.

Conflicts:
	ChangeLog
	configure.ac
	include/vaucanson/algebra/concept/alphabets_base.hxx
	include/vaucanson/algebra/concept/freemonoid_base.hxx
	include/vaucanson/algebra/concept/letter.hh
	include/vaucanson/algebra/implementation/free_monoid/str_words.hh
	include/vaucanson/algebra/implementation/free_monoid/str_words.hxx
	include/vaucanson/algebra/implementation/letter/char_letter.hh
	include/vaucanson/algebra/implementation/letter/char_letter.hxx
	include/vaucanson/algebra/implementation/letter/int_letter.hh
	include/vaucanson/algebra/implementation/letter/int_letter.hxx
	include/vaucanson/algorithms/internal/evaluation.hh
	include/vaucanson/algorithms/internal/evaluation.hxx
	include/vaucanson/algorithms/rw_composition.hh
	include/vaucanson/algorithms/rw_composition.hxx
	include/vaucanson/automata/concept/automata_base.hh
	include/vaucanson/automata/concept/automata_base.hxx
	include/vaucanson/misc/hash.hh
	include/vaucanson/misc/hash.hxx
	include/vaucanson/xml/builders.hxx
	src/tests/xml/Makefile.am
	src/tests/xml/int_b_ref.xml

* include/vaucanson/automata/concept/automata_base.hh
(new_add_state, new_del_state): Remove these functions as there is no
major changes in their behaviors compared to the old interface. Move
their respective documentation to add_state and del_state.

* src/tests/include/tests/automata/implementation_check/entry_test.hh
(entry_test): Add a check to test that new_del_entry effectively
removes all the transitions.
* include/vaucanson/automata/concept/automata_base.hxx
(new_add_entry, new_del_entry, new_set_entry): Add the implementation.
Include the vector header.
* include/vaucanson/automata/concept/automata_base.hh
(new_add_entry, new_del_entry, new_set_entry, new_get_entry): Improve
the documentation.

* include/vaucanson/automata/concept/automata_base.hxx: Add
implementation (temporary static_error).
* src/tests/include/Makefile.am: Add test files.
* src/tests/include/tests/automata/implementation_check/add_transition_test_failcomp.hh,
* src/tests/include/tests/automata/implementation_check/del_transition_test_failcomp.hh,
* src/tests/include/tests/automata/implementation_check/set_transition_test_failcomp.hh,
New.  Ensure that new_*_transition cannot compile for labels-are-series.

* src/bench/eval/Makefile.bench: Tweak sequence for aut_b bench.
* src/bench/eval/eval_aut_b_bench.hh: Remove debug output, fix display.

* include/vaucanson/automata/concept/automata_base.hxx
(new_get_entry): New.
* src/tests/include/Makefile.am: Add the entry_test.hh file to the
distribution.
* src/tests/include/tests/automata/implementation_check/entry_test.hh:
New.
* src/tests/test-suites/boolean_automaton.defs: Define the automaton
namespace so that tests can refer to the main automaton context
generically.

* include/vaucanson/automata/concept/automata_base.hxx
(new_add_state): Basic implementation using the old op_add_state.

* doc/Makefile.am: Use the xsltproc tool to transform the doxygen xml
output to a latex file.
* doc/doxygen.xsl, doc/manual/main.tex: New.
* doc/spec.doxy.in: Set xml output flag to true.
* include/vaucanson/automata/concept/automata_base.hh: Overhaul the
documentation of the automaton concept.
(entry_value_t): Change the typedef to series_set_elt_t.