1. 22 Oct, 2009 2 commits
  2. 21 Oct, 2009 1 commit
    • Jérôme Galtier's avatar
      Fix the vcsn-lal-char-b TAF-Kit context. · 6a8bfaba
      Jérôme Galtier authored
      * taf-kit/src/ratexp_commands.hh (aut_to_exp): Add a call to
      generalized because the aut_to_exp algorithm only works on generalized
      automata.
      * include/vaucanson/automata/concept/automata_base.hh
      (generalized_traits): Add the static keyword on the generalized
      method.
      * include/vaucanson/automata/concept/automata_base.hxx
      (generalized_traits::generalized): Update the initialization of the
      destination automaton.
      6a8bfaba
  3. 09 Oct, 2009 2 commits
  4. 08 Oct, 2009 1 commit
    • Florent D'Halluin's avatar
      Add entry iterators. · f70ae1b3
      Florent D'Halluin authored
      * include/Makefile.am: Add new files.
      * include/vaucanson/automata/implementation/iterators/delta_entry_iterator.hh,
      * include/vaucanson/automata/implementation/iterators/delta_entry_iterator.hxx,
      * include/vaucanson/automata/implementation/iterators/entry_iterator_base.hh,
      * include/vaucanson/automata/implementation/iterators/entry_iterator_base.hxx,
      * include/vaucanson/automata/implementation/iterators/rdelta_entry_iterator.hh,
      * include/vaucanson/automata/implementation/iterators/rdelta_entry_iterator.hxx:
      New. Interface & implementation.
      f70ae1b3
  5. 30 Sep, 2009 3 commits
  6. 29 Sep, 2009 4 commits
    • Jérôme Galtier's avatar
      Overhaul generalized_traits. · b10c2a56
      Jérôme Galtier authored
      * include/vaucanson/automata/concept/automata.hh,
      include/vaucanson/automata/concept/automata.hxx (generalized): Remove
      this specialization.
      * include/vaucanson/automata/concept/automata_base.hh: Move the
      generalized function to generalized_traits, so that it will be easier
      to refactor the code later.
      * include/vaucanson/automata/concept/automata_base.hxx
      (VCSN_MAKE_GENERALIZED_AUTOMATON_TRAITS_IMPL): New macro to define the
      generalized function.
      * include/vaucanson/automata/implementation/bmig_graph_impl.hxx,
      include/vaucanson/automata/implementation/listg_graph_impl.hxx: Use
      the new VCSN_MAKE_GENERALIZED_AUTOMATON_TRAITS_IMPL macro.
      b10c2a56
    • Jérôme Galtier's avatar
      Remove aut_to_exp() from automaton_maker. · 9316cfd6
      Jérôme Galtier authored
      * include/vaucanson/contexts/automaton_maker.thh,
      include/vaucanson/contexts/automaton_maker.thxx (aut_to_exp): Remove.
      This function was not used, was causing a lot of troubles because of
      the call to generalized() and the design was wrong.
      9316cfd6
    • Jérôme Galtier's avatar
      Add a specialization for generalized(). · 7473cd1b
      Jérôme Galtier authored
      * include/vaucanson/automata/concept/automata.hh: Include
      automata_kind.hh so that labels_are_letters is known.
      (generalized): New (see automata.hxx).
      * include/vaucanson/automata/concept/automata.hxx (generalized): New
      specialization for labels_are_letters automata.
      7473cd1b
    • Jérôme Galtier's avatar
      Fix the lal boolean automaton context. · 0a7aa5d2
      Jérôme Galtier authored
      * include/vaucanson/automata/generic_contexts/lal_boolean_automaton_structures.hh:
      Use the labels_are_letters automaton context for real.
      0a7aa5d2
  7. 22 Sep, 2009 2 commits
  8. 21 Sep, 2009 3 commits
    • Florent D'Halluin's avatar
      Distribute CSB under GPL in Vaucanson. · dc4c5d02
      Florent D'Halluin authored
      * cbs/COPYING: New license text (same as ./COPYING).
      * cbs/README: Updated to reflect the changes.
      * cbs/configure.ac: Header changed by hand.
      * cbs/Makefile.am,
      * cbs/cbs.mk,
      * cbs/demo/Makefile.am,
      * cbs/demo/bench/Makefile.am,
      * cbs/demo/bench/main.cc,
      * cbs/demo/comparison/Makefile.am,
      * cbs/demo/comparison/main.cc,
      * cbs/demo/memplot-bench/Makefile.am,
      * cbs/demo/memplot-bench/main.cc,
      * cbs/demo/memplot/Makefile.am,
      * cbs/demo/memplot/main.cc,
      * cbs/demo/timer-bench/Makefile.am,
      * cbs/demo/timer-bench/main.cc,
      * cbs/demo/timer/Makefile.am,
      * cbs/demo/timer/main.cc,
      * cbs/include/Makefile.am,
      * cbs/include/cbs/bench/bench.hh,
      * cbs/include/cbs/bench/bench_internals.hh,
      * cbs/include/cbs/bench/bench_macros.hh,
      * cbs/include/cbs/bench/internal/timer_gathering.hh,
      * cbs/include/cbs/bench/internal/timer_gathering.hxx,
      * cbs/include/cbs/bench/internal/timer_graph.hh,
      * cbs/include/cbs/bench/internal/timer_graph.hxx,
      * cbs/include/cbs/bench/memplot.hh,
      * cbs/include/cbs/bench/timer.hh,
      * cbs/include/cbs/bench/timer.hxx,
      * cbs/lib/Makefile.am,
      * cbs/lib/bench.cc,
      * cbs/lib/memplot.cc,
      * cbs/lib/timer.cc,
      * cbs/lib/timer_gathering.cc,
      * cbs/lib/timer_graph.cc: Header automatically updated.
      dc4c5d02
    • Alexandre Duret-Lutz's avatar
      23fcd969
    • Alexandre Duret-Lutz's avatar
      more files to ignore · ed9b3b3d
      Alexandre Duret-Lutz authored
      ed9b3b3d
  9. 17 Sep, 2009 5 commits
  10. 16 Sep, 2009 12 commits
    • Jérôme Galtier's avatar
      Add new files to the distribution. · 5a598535
      Jérôme Galtier authored
      * include/Makefile.am: Add the new iterators to the distribution.
      5a598535
    • Jérôme Galtier's avatar
      Remove inheritance for iterator traits. · 4858014c
      Jérôme Galtier authored
      * 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.
      4858014c
    • Jérôme Galtier's avatar
      Replace the labels are words context by lal. · b0fb7a57
      Jérôme Galtier authored
      * 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.
      b0fb7a57
    • Alexandre Duret-Lutz's avatar
      11cc3400
    • Florent D'Halluin's avatar
      Add TransitionIterator. · eab3464e
      Florent D'Halluin authored
      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.
      eab3464e
    • Florent D'Halluin's avatar
      Cosmetic fixes. · 8c84347a
      Florent D'Halluin authored
      * include/vaucanson/automata/implementation/iterators/delta_transition_iterator.hxx,
      * include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hh:
      There.
      8c84347a
    • Florent D'Halluin's avatar
      Use const refs in iterator ctors. · dd4e10a2
      Florent D'Halluin authored
      * 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.
      dd4e10a2
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
    • Florent D'Halluin's avatar
      Add RDeltaIterator. · cad87887
      Florent D'Halluin authored
      * include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hh,
      * include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hxx:
      New.  Interface and implementation.
      cad87887
    • Florent D'Halluin's avatar
      Small fixes in IteratorBase and DeltaTransitionIterator. · 738fd94d
      Florent D'Halluin authored
      * 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().
      738fd94d
    • Florent D'Halluin's avatar
      Fix TransitionIteratorBase and DeltaTransitionIterator. · b14c66ad
      Florent D'Halluin authored
      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.
      b14c66ad
  11. 15 Sep, 2009 5 commits