1. 26 Feb, 2010 1 commit
    • Jérôme Galtier's avatar
      Improve the specifications coverage. · cc105970
      Jérôme Galtier authored
      * include/vaucanson/algorithms/complement.hxx (complement_here): Use
      new_set_final instead of set_final.
      * include/vaucanson/algorithms/complete.hxx (do_complete_here): Use
      new_set_initial instead of set_initial.
      * include/vaucanson/algorithms/determinize.hxx
      (do_subset_construction): Use new_set_intial (resp. set_initial) instead of
      new_set_final (resp. set_final).
      * include/vaucanson/automata/concept/automata_base.hh (set_initial)
      (set_final): Remove.
      (new_add_transition): New method.
      (new_add_transition, new_add_to_transition, new_set_transition)
      (new_set_initial, new_set_final): Remove default arguments, and add
      overloaded functions, because we do not know the dynamic value of an
      automaton at compile time.
      (new_set_initial, new_set_final): Rename the overloaded versions for
      entries to new_set_initial_entry and new_set_final_entry to prevent
      ambiguous calls.
      * include/vaucanson/automata/concept/automata_base.hxx (set_initial)
      (set_final): Remove the implementation.
      (unset_initial, unset_final): Use op_new_set_initial and
      op_new_set_final.
      (new_add_transition, new_add_to_transition, new_set_transition)
      (new_set_initial, new_set_final): Compute the default arguments for
      overloaded methods.
      * include/vaucanson/automata/implementation/automata_impl.hh,
      include/vaucanson/automata/implementation/automata_impl.hxx
      (VertexToLabel::set): Remove.
      * include/vaucanson/automata/implementation/automata_ops.hh
      (op_set_initial, op_set_final): Remove.
      Add overloaded operators for new methods from automata_base.hh.
      * include/vaucanson/automata/implementation/automata_ops.hxx
      (op_convert): Disable.
      Add overloaded operators implementations for new methods from
      automata_base.hh. Fix the calculation of the zero element.
      * include/vaucanson/automata/implementation/iterators/transition_iterator.hxx
      (TransitionIterator<>::op_weight),
      include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hxx
      (RDeltaTransitionIterator<>::op_weight): Use the underlying graph
      method weight_of to access the weight.
      cc105970
  2. 25 Feb, 2010 3 commits
    • Jérôme Galtier's avatar
      Fix a bug in op_weight_of for BMIGraph. · f568f254
      Jérôme Galtier authored
      * include/vaucanson/automata/implementation/bmi_graph.hxx
      (op_weight_of): Prevent the return value to be of const modifier.
      f568f254
    • Jérôme Galtier's avatar
      Update the AUTOMATON_TYPES macro. · d0716cb4
      Jérôme Galtier authored
      * include/vaucanson/misc/usual_macros.hh
      [AUTOMATON_TYPES_MAYBE_TYPENAME]: Add an alias to weight_t.
      d0716cb4
    • Jérôme Galtier's avatar
      Update constness for weight_of in graph structures. · bb6cbca7
      Jérôme Galtier authored
      * include/vaucanson/automata/implementation/bmi_graph.hh,
      include/vaucanson/automata/implementation/bmi_graph.hxx,
      include/vaucanson/automata/implementation/graph_base.hh,
      include/vaucanson/automata/implementation/graph_base.hxx,
      include/vaucanson/automata/implementation/list_graph.hh,
      include/vaucanson/automata/implementation/list_graph.hxx (weight_of)
      (op_weight_of): Add a non-const version.
      bb6cbca7
  3. 24 Feb, 2010 12 commits
    • Jérôme Galtier's avatar
      Make ReverseView respect the AutomataImpl interface. · 45ac1fff
      Jérôme Galtier authored
      * include/vaucanson/automata/implementation/reverse_view.hh
      (ReverseView): Add typedef for graph_t, initial_container_t and
      final_container_t.
      * include/vaucanson/automata/implementation/reverse_view.hxx
      (op_is_initial, op_is_final, op_series_of): Add missing
      implementation.
      45ac1fff
    • Alex Hamelin's avatar
      Rename TransposeView to ReverseView, fix header guards and fix · acf7f472
      Alex Hamelin authored
      some automata method behaviors.
      
      * include/Makefile.am,
      include/vaucanson/algorithms/accessible.hxx,
      include/vaucanson/algorithms/transpose.hxx,
      include/vaucanson/automata/concept/automata_base.hh,
      include/vaucanson/automata/implementation/transpose_view.hh,
      include/vaucanson/automata/implementation/transpose_view.hxx,
      include/vaucanson/automata/implementation/reverse_view.hh,
      include/vaucanson/automata/implementation/reverse_view.hxx: Rename
      TransposeView to ReverseView.
      * include/vaucanson/automata/implementation/automata_view.hh,
      include/vaucanson/automata/implementation/automata_view.hxx: Fix typo
      on header guards.
      * include/vaucanson/automata/implementation/automata_ops.hxx:
      (op_unset_initial, op_unset_final, op_get_initial, op_get_final)
      (op_new_set_initial, op_new_set_final): Fix their behavior to comply
      to specifications.
      acf7f472
    • Jérôme Galtier's avatar
      Add more contexts. · f26f6ca9
      Jérôme Galtier authored
      * include/.gitignore: More ignores.
      * include/vaucanson/automata/generic_contexts/bmig_int_lal_boolean_automaton.hh,
      include/vaucanson/automata/generic_contexts/bmig_int_lal_boolean_automaton_structures.hh,
      include/vaucanson/automata/generic_contexts/bmig_int_lal_z_automaton.hh,
      include/vaucanson/automata/generic_contexts/bmig_int_lal_z_automaton_structures.hh,
      include/vaucanson/automata/generic_contexts/bmig_lal_z_automaton.hh,
      include/vaucanson/automata/generic_contexts/bmig_lal_z_automaton_structures.hh,
      include/vaucanson/automata/generic_contexts/int_lal_boolean_automaton.hh,
      include/vaucanson/automata/generic_contexts/int_lal_boolean_automaton_structures.hh,
      include/vaucanson/automata/generic_contexts/int_lal_z_automaton.hh,
      include/vaucanson/automata/generic_contexts/int_lal_z_automaton_structures.hh,
      include/vaucanson/automata/generic_contexts/lal_z_automaton_structures.hh:
      New.
      f26f6ca9
    • Jérôme Galtier's avatar
      Fix spurious error when -Wall -Werr is used. · 9e92633d
      Jérôme Galtier authored
      * include/vaucanson/automata/implementation/bmi_graph.hxx
      (op_del_edge): Use the l variable.
      9e92633d
    • Jérôme Galtier's avatar
      Fix a bug in concatenate. · 2c09ed75
      Jérôme Galtier authored
      * include/vaucanson/algorithms/concatenate.hxx: Replace
      AutomataBase<A> by Automata<S, K>.
      2c09ed75
    • Jérôme Galtier's avatar
      More ignores. · 7e4c68a8
      Jérôme Galtier authored
      * include/.gitignore: Add internal.
      7e4c68a8
    • Jérôme Galtier's avatar
      Add a new context bmig_lal_boolean_automaton. · 551ccf22
      Jérôme Galtier authored
      * include/Makefile.am: Update the distributed files.
      * include/generate_headers.sh: Replace bmi by internal.
      * include/vaucanson/automata/generic_contexts/lal_boolean_automaton_structures.hh:
      Use the listg implementation by default.
      * include/vaucanson/automata/generic_contexts/bmig_lal_boolean_automaton.hh,
      * include/vaucanson/automata/generic_contexts/bmig_lal_boolean_automaton_structures.hh:
      New.
      * include/vaucanson/contexts/generic_automaton_impl.thh: Remove.
      * include/vaucanson/contexts/bmig_automaton_impl.thh,
      * include/vaucanson/contexts/listg_automaton_impl.thh: New automata
      implementations.
      551ccf22
    • Alex Hamelin's avatar
      Fix typo and test of AutomataView. · 37e740ba
      Alex Hamelin authored
      * include/vaucanson/automata/implementation/automata_view.hh,
      include/vaucanson/automata/implementation/automata_view.hxx: Fix
      include typo and remove deprecated implementation.
      * src/tests/include/tests/automata/implementation_check/iterator_test.hh
      : Remove depecated test.
      37e740ba
    • Alex Hamelin's avatar
      Fix TransposeView to be compliant the to the new automata interface. · 66efe068
      Alex Hamelin authored
      * include/vaucanson/algorithms/transpose.hh (transpose): Activate for
      relevant contexts.
      * include/vaucanson/automata/implementation/transpose_view.hh,
      include/vaucanson/automata/implementation/transpose_view.hxx
      (automaton_traits< >): Make the TransposeView trait inherit from
      the generic structure and remove useless types.
      (AutoType): Remove the macro.
      (op_make_state_iterator, op_make_transition_iterator): Add new
      overloads for TransposeView.
      (op_set_initial, op_get_initial, op_set_final, op_get_final): Fix
      template specializations and calls.
      66efe068
    • Alex Hamelin's avatar
      Fix the auto_copy algorithm. · 4fde01bc
      Alex Hamelin authored
      * include/vaucanson/automata/concept/automata_base.hxx: Move copy.hh
      include from here ...
      * include/vaucanson/automata/concept/automata.hxx: ... to here.
      * include/vaucanson/automata/concept/copy.hh,
      include/vaucanson/automata/concept/copy.hxx: Specialize auto_copy
      for labels_are_letters and make it compliant to the new interface.
      4fde01bc
    • Jérôme Galtier's avatar
      Rename IdentityView to AutomataView. · 5e5b6c49
      Jérôme Galtier authored
      * include/Makefile.am: Add automata_view.hh and automata_view.hxx
      instead of automaton_view.hh and automaton_view.hxx to the
      distribution.
      * include/vaucanson/automata/implementation/automaton_view.hh: Rename
      to include/vaucanson/automata/implementation/automata_view.hh. Replace
      IdentityView by AutomataView.
      * include/vaucanson/automata/implementation/automaton_view.hxx: Rename
      to include/vaucanson/automata/implementation/automata_view.hxx.
      Replace IdentityView by AutomataView.
      * include/vaucanson/automata/implementation/transpose_view.hh,
      include/vaucanson/automata/implementation/transpose_view.hxx,
      src/tests/include/tests/automata/implementation_check/iterator_test.hh:
      Replace IdentityView by AutomataView.
      5e5b6c49
    • Jérôme Galtier's avatar
      Fix a bug in the dependencies tracking process for algorithms. · 156f7958
      Jérôme Galtier authored
      * lib/generate_libvcsn.rb: Change the generated dependency file to
      deps.mk. Fixes the all.cc and deps.mk rules.
      156f7958
  4. 12 Feb, 2010 5 commits
    • Alex Hamelin's avatar
      Update generate_libvcsn.rb. · 236d7d34
      Alex Hamelin authored
      * lib/generate_libvcsn.rb: Make the determinize algorithm
      only available for Boolean Automatons.
      236d7d34
    • Alex Hamelin's avatar
      Enable the BMIGraph implementation. · f27d3fc1
      Alex Hamelin authored
      * include/vaucanson/automata/concept/handlers.hh: Remove obsolete code.
      * include/vaucanson/automata/implementation/automata_ops.hxx
      (op_new_set_transition): Change return value when transition weight is
      null.
      * include/vaucanson/automata/implementation/bmi_graph.hh,
      include/vaucanson/automata/implementation/bmi_graph.hxx
      (op_vertices, op_get_vertex, op_dst_of, op_del_vertex, op_del_edge)
      (op_src_of, op_edges): Add missing methods.
      * include/vaucanson/automata/implementation/bmig/bmig_handlers.hh,
      include/vaucanson/automata/implementation/bmig/bmig_handlers.hxx,
      include/vaucanson/automata/implementation/bmig/bmig_handlers_op.hxx,
      include/vaucanson/automata/implementation/bmig/bmig_support.hh,
      include/vaucanson/automata/implementation/bmig/bmig_support.hxx,
      include/vaucanson/automata/implementation/bmig/iterator.hh,
      include/vaucanson/automata/implementation/bmig/iterator.hxx,
      include/vaucanson/misc/hash.hh: Rename transition_h to edge_h, state_h
      to vertex_h, htransition_t to hedge_t and hstate_t to hvertex_t.
      * include/vaucanson/automata/implementation/bmig_graph_impl.hh,
      include/vaucanson/automata/implementation/bmig_graph_impl.hxx: Remove
      deprecated code.
      f27d3fc1
    • Alex Hamelin's avatar
      Take into account more specification requirements. · b246db43
      Alex Hamelin authored
      * include/vaucanson/algorithms/complete.hxx,
      include/vaucanson/algorithms/product.hxx: Replace new_add_transition
      by new_set_transition.
      * include/vaucanson/automata/concept/automata_base.hh,
      include/vaucanson/automata/concept/automata_base.hxx
      (MetaElement<AutomataBase<> >)
      (new_add_transition): Replace it with new_set_transition.
      (new_set_transition): Change its behavior.
      (new_get_transition, new_exist_transition)
      (new_add_to_transition): Add a new implementation.
      * include/vaucanson/automata/implementation/automata_ops.hh,
      include/vaucanson/automata/implementation/automata_ops.hxx:
      (op_new_add_transition): Replace it with op_new_set_transition.
      (op_new_set_transition, op_new_get_transition, new_exist_transition)
      (op_new_add_to_transition): Add a new implementation.
      * include/vaucanson/xml/handlers.hxx: Replace new_set_entry by
      new_add_entry.
      * taf-kit/src/edition_commands.hxx: Replace new_add_transition
      by new_set_transition and new_set_entry by new_set_transition.
      b246db43
    • Alex Hamelin's avatar
      Use the new unset_initial and unset_final in TAF-Kit. · 6b503657
      Alex Hamelin authored
      * taf-kit/src/edition_commands.hxx (set_unset_initial_final): Replace
      unset_initial by new_unset_initial and unset_final by new_unset_final.
      * taf-kit/tests/vcsn-lal-char-b.test: Add tests for unset_initial and
      unset_final.
      * include/vaucanson/automata/concept/automata_base.hxx
      (new_unset_initial, new_unset_final): Fix the implementation by
      calling the correct underlying function.
      6b503657
    • Alex Hamelin's avatar
      Fix the interface in aut_projection.hh. · f184ffd8
      Alex Hamelin authored
      * include/vaucanson/algorithms/aut_projection.hh (first_projection)
      (second_projection): Replace Automaton by Automata.
      f184ffd8
  5. 18 Dec, 2009 7 commits
  6. 09 Dec, 2009 1 commit
  7. 08 Dec, 2009 1 commit
  8. 06 Dec, 2009 5 commits
  9. 05 Dec, 2009 5 commits
    • Florent D'Halluin's avatar
      Fix compilation after rebasing. · 99081d85
      Florent D'Halluin authored
      * include/vaucanson/automata/concept/automata_base.hh:
      Remove extra typedef.
      99081d85
    • Florent D'Halluin's avatar
      Use the new state and transition iterators [end]. · 4f41f2c1
      Florent D'Halluin authored
      Replace old iterators loops by the new version.
      
      * include/vaucanson/algorithms/aut_to_exp.hxx,
      * include/vaucanson/algorithms/extension.hxx,
      * include/vaucanson/algorithms/fmp_to_rw.hxx,
      * include/vaucanson/algorithms/internal/evaluation.hxx,
      * include/vaucanson/algorithms/invert.hxx,
      * include/vaucanson/algorithms/rw_to_fmp.hxx,
      * include/vaucanson/algorithms/standard.hxx,
      * include/vaucanson/algorithms/sub_automaton.hxx,
      * include/vaucanson/automata/concept/copy.hxx,
      * include/vaucanson/automata/concept/translate.hxx,
      * include/vaucanson/automata/implementation/automata_ops.hxx,
      * include/vaucanson/misc/usual_macros.hh,
      * include/vaucanson/tools/dot_format.hxx,
      * include/vaucanson/tools/gen_random.hxx,
      * include/vaucanson/tools/simple_format.hxx,
      * src/tests/include/tests/automata/implementation_check/global_consistency_test.hh:
      Do that.
      4f41f2c1
    • Florent D'Halluin's avatar
      [benchmarks] Fix bench automaton generation. · d8af89e6
      Florent D'Halluin authored
      * src/bench/common/bench_constructs.cc: Use LAL context, update.
      * src/bench/common/bench_constructs.hh: Fix construct.
      d8af89e6
    • Florent D'Halluin's avatar
      Fix dot output. · ec575b2e
      Florent D'Halluin authored
      * include/vaucanson/tools/dot_format.hxx:
      Use new iterators, print label and weight instead of series.
      ec575b2e
    • Florent D'Halluin's avatar
      Use the new state and transition iterators [WIP]. · 212ac8bc
      Florent D'Halluin authored
      * include/vaucanson/automata/concept/automata_base.hh,
      * include/vaucanson/automata/concept/automata_base.hxx,
      * include/vaucanson/automata/implementation/automata_ops.hxx:
      Declare and implement factories.
      
      * include/vaucanson/automata/implementation/iterators/state_iterator.hh,
      * include/vaucanson/automata/implementation/iterators/state_iterator.hxx,
      * include/vaucanson/automata/implementation/iterators/transition_iterator.hh,
      * include/vaucanson/automata/implementation/iterators/transition_iterator.hxx:
      Fix type names and default weight (temporary for the weight).
      
      * include/vaucanson/automata/implementation/graph_base.hh,
      * include/vaucanson/automata/implementation/bmi_graph.hh,
      * include/vaucanson/automata/implementation/list_graph.hh:
      Add typedefs.
      
      * include/vaucanson/automata/implementation/listg/listg_sparse_interval.hh,
      * include/vaucanson/automata/implementation/listg/listg_sparse_interval.hxx:
      Add missing const.
      212ac8bc