1. 16 Dec, 2008 1 commit
  2. 12 Dec, 2008 3 commits
    • Vivien Delmon's avatar
      End of reduce algorithm implementation. · a0cbbf9a
      Vivien Delmon authored
      	* include/vaucanson/algorithms/reduce.hh,
      	* include/vaucanson/algorithms/reduce.hxx: Add building of the new
      	  automaton from the matrix version
      a0cbbf9a
    • Vivien Delmon's avatar
      Add a new taf-kit for r_automaton and add reduce to libvcsn-r. · da49af89
      Vivien Delmon authored
      	* lib/generate_libvcsn.rb: Add reduce to libvcsn-r.
      	* include/vaucanson/contexts/automaton_functions.thh: Add reduce.
      	* taf-kit/src/Makefile.am,
      	* taf-kit/src/r_commands.cc,
      	* taf-kit/tests/Makefile.am: Generate tafkit for Real semiring.
      da49af89
    • Vivien Delmon's avatar
      Revert part of r2578. · 287903ca
      Vivien Delmon authored
      	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx,
      	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh:
      	  revert.
      287903ca
  3. 10 Dec, 2008 3 commits
    • Vivien Delmon's avatar
      Add reduce algorithm. · f8ca4a13
      Vivien Delmon authored
      	* include/Makefile.am: Add reduce.h{h,xx}.
      	* include/vaucanson/algorithms/reduce.hh: New.
      	* include/vaucanson/algorithms/reduce.hxx: New.
      f8ca4a13
    • Vivien Delmon's avatar
      Add a specialisation of std::swap to help gcc. · 711ac8fd
      Vivien Delmon authored
      	* include/vaucanson/design_pattern/element_ops.hxx: The other
      	  specialisation with a template T1 for the first element and a
      	  template T2 for the second was ambigous for gcc.
      711ac8fd
    • Vivien Delmon's avatar
      Add op_neg and op_div to real semirings. · 0203cb16
      Vivien Delmon authored
      	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh,
      	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx:
      	  Add op_neg and op_div functions to real semirings.
      0203cb16
  4. 17 Nov, 2008 8 commits
    • Vivien Delmon's avatar
      new branch for reduction algorithm seminar · 984f0bf6
      Vivien Delmon authored
      984f0bf6
    • Vivien Delmon's avatar
      Release 1.2.94. · 0c6efb5e
      Vivien Delmon authored
      	* configure.ac: Change version number.
      	* doc/NEWS.txt: Update for release.
      	* doc/share/styles/myacronym.sty: make share-up.
      0c6efb5e
    • Jerome Galtier's avatar
      TAF-Kit: Overhaul monoid representations and alphabets support. · 7e775a45
      Jerome Galtier authored
      	* taf-kit/src/common.hh [WITH_TWO_ALPHABETS] (arguments_t): Add a
      	  new attribute `alphabet1'. New `add_parser1_option'.
      	* taf-kit/src/edition_commands.hxx [WITH_TWO_ALPHABETS]
      	  (edit_automaton_command): Use the new `alphabet1' instead of
      	  `alphabet'.
      	* taf-kit/src/main.cc [WITH_TWO_ALPHABETS] (parse_opts): Use
      	  `alphabet1' and `parser1' instead of `alphabet' and `parser'.
      	  [WITH_TWO_ALPHABETS] (main): Cleanup parser declarations.
      	* taf-kit/src/parser_options.hh,
      	* taf-kit/src/parser_options.hxx: Make `parser_options' a
      	  parametrized type by templating it with the monoid representation
      	  and the series representation types.
      7e775a45
    • Jerome Galtier's avatar
      Revert [2439]. · 22957875
      Jerome Galtier authored
      	* src/tests/xml/int_fmp_ref.dot,
      	* src/tests/xml/int_z_fmp_ref.dot: Revert the new default to `1'.
      22957875
    • Jerome Galtier's avatar
      XML: Extend support of writingData to FMP. · 11992b27
      Jerome Galtier authored
      	* include/vaucanson/xml/contexts/fmp.hxx: Here.
      	* include/vaucanson/xml/xmleq.hxx (XMLEq): Rename `concatSym' to
      	  `timesSym'.
      11992b27
    • Jerome Galtier's avatar
      Update gen_random according to previous changes. · 6a0fa428
      Jerome Galtier authored
      	* include/vaucanson/tools/gen_random.hxx: Do not test against
      	  epsilon representation anymore.
      6a0fa428
    • Jerome Galtier's avatar
      Add a simple monoid heuristic when not given a representation. · b2488120
      Jerome Galtier authored
      	* include/vaucanson/algebra/concept/freemonoid_product.hh
      	  (monoid_rep): Add missing `using' declarations.
      	* include/vaucanson/algebra/implementation/monoid/free_monoid.hxx,
      	* include/vaucanson/algebra/concept/freemonoid_product.hxx
      	  (monoid_rep::monoid_rep): Build a list of realistic epsilon values.
      	* include/vaucanson/algebra/implementation/monoid/free_monoid.hh
      	  (monoid_rep): Add missing `using' declaration. Update comments on
      	  constructors to reflect the new mechanism.
      	* include/vaucanson/algebra/implementation/monoid/free_monoid.hxx
      	  (FreeMonoid): Add a simple heuristic to choose an epsilon wisely,
      	  when not given a user representation.
      	* include/vaucanson/algebra/implementation/monoid/monoid_rep.hh:
      	  Include `vector'. (monoid_rep): Add a new attribute.
      	* include/vaucanson/algebra/implementation/monoid/monoid_rep.hxx:
      	  Include missing `monoid_rep.hh'. Build a default epsilon list.
      b2488120
    • Jerome Galtier's avatar
      Add set_representation for free monoid products. · 7811c9e4
      Jerome Galtier authored
      	* include/vaucanson/algebra/concept/freemonoid_product.hh
      	  (FreeMonoidProduct): Add a public method `set_representation'.
      	* include/vaucanson/algebra/concept/freemonoid_product.hxx: Add the
      	  implementation of the aforementioned function.
      7811c9e4
  5. 14 Nov, 2008 3 commits
    • Jerome Galtier's avatar
      Fix a bug in TransposeView. · 34c82cb0
      Jerome Galtier authored
      	* include/vaucanson/automata/implementation/transpose_view.hh
      	  (automaton_traits): Reverse the direction of iterators on the
      	  transposed automaton.
      	* src/tests/include/tests/automata/implementation_check/iterator_test.hh:
      	  Improve the test by adding a regression check for this bug.
      34c82cb0
    • Jerome Galtier's avatar
      Cleanup op_geometry for transpose_view. · 761c0306
      Jerome Galtier authored
      	* include/vaucanson/automata/implementation/transpose_view.hh: Add
      	  missing `op_geometry' declarations.
      	* include/vaucanson/automata/implementation/transpose_view.hxx
      	  (op_get_geometry): Rename to `op_geometry'.
      761c0306
    • Jerome Galtier's avatar
      Cleanup minimization-test. · 4be4fab9
      Jerome Galtier authored
      	* src/tests/include/tests/automata/algos/boolean_automata/minimization_test.hh:
      	  Remove useless std::ends to be more coherent with other tests.
      4be4fab9
  6. 12 Nov, 2008 13 commits
  7. 10 Nov, 2008 9 commits
    • Florian Lesaint's avatar
      Add support of writingData for typeValue and monoid: · d09a925f
      Florian Lesaint authored
        - plusSym
        - timesSym
        - ...
      
        * data/vaucanson.xsd: Here.
        * include/vaucanson/algebra/implementation/monoid/free_monoid.hh:
        Since we need to create the monoid before parsing its content, we need
        to update the representation after its creation. So set_representation
        should be public (or friendly)
        * include/vaucanson/xml/builders.hh: Here.
        * include/vaucanson/xml/builders.hxx: Here.
        * include/vaucanson/xml/handlers.hh: Here.
        * include/vaucanson/xml/handlers.hxx: Here.
        * include/vaucanson/xml/printers.hxx: Here.
        * include/vaucanson/xml/xmleq.hh: Here.
        * include/vaucanson/xml/xmleq.hxx: Here.
      d09a925f
    • Jerome Galtier's avatar
      Add an operator== for series_rep (uniqueness constraints). · 5db96704
      Jerome Galtier authored
      	* include/vaucanson/algebra/implementation/series/series_rep.hh:
      	  Declare a new `operator==' for comparing two series_rep.
      	* include/vaucanson/algebra/implementation/series/series_rep.hxx:
      	  Add the implementation of the previously mentioned function.
      5db96704
    • Jerome Galtier's avatar
      XML: Update two test to match new defaults. · f249473f
      Jerome Galtier authored
      	* src/tests/xml/int_fmp_ref.dot,
      	* src/tests/xml/int_z_fmp_ref.dot: Change `1' to `e' the new empty
      	  word representation for int based FMP.
      f249473f
    • Jerome Galtier's avatar
      TAF-Kit: Fix tests which should have failed in the past. · 409ba149
      Jerome Galtier authored
      	* taf-kit/tests/vcsn-char-fmp-b.test: Fix test and test more
      	  thoroughly.
      	* taf-kit/tests/vcsn-int-b.test: This test was wrong.
      	* taf-kit/tests/vcsn-int-fmp-b.test: Fix wrong test. Add one more
      	  test case.
      	* taf-kit/tests/vcsn-int-z.test: This test was wrong.
      409ba149
    • Jerome Galtier's avatar
      TAF-Kit: Change get_boolean_aut() to take arguments_t as first argument. · 0cc38c29
      Jerome Galtier authored
      	* taf-kit/src/fmp_commands.cc (evaluation_fmp, intersection): Use
      	  two arguments.
      	* taf-kit/src/getters.hxx (get_boolean_aut): Change type of the first
      	  argument from `std::string' to `arguments_t'. Add a second argument
      	  of type `int'.
      0cc38c29
    • Jerome Galtier's avatar
      TAF-Kit: Add support for representations structures at various places. · 56111331
      Jerome Galtier authored
      	* taf-kit/src/edition_commands.hxx,
      	* taf-kit/src/fmp_commands.cc,
      	* taf-kit/src/getters.hxx,
      	* taf-kit/src/ratexp_commands.hh: Add whenever necessary arguments
      	  when callings the `make_automaton' function to allow the user
      	  changing default with command line arguments.
      	* taf-kit/src/pipe_getters.hxx: Add comments.
      56111331
    • Jerome Galtier's avatar
      TAF-Kit: Fix wrong type when declaring some attributes. · da5c6e8e
      Jerome Galtier authored
      	* taf-kit/src/common.hh: Change type of `mrep1' from `monoid_rep_t'
      	  to `first_monoid_rep_t'. Same with `mrep2' to `second_monoid_rep_t'
      da5c6e8e
    • Jerome Galtier's avatar
      TAF-Kit: Add missing attributes initialization. · 06179afc
      Jerome Galtier authored
      	* taf-kit/src/main.cc: Affect the `mrep1', `mrep2', `srep1' and
      	  `srep2' attributes with values taken from the command line.
      06179afc
    • Jerome Galtier's avatar
      XML: Preserve representation structures on initialization. · f84c5409
      Jerome Galtier authored
      	For backward compatibility and minimum necessary support of the new
      	`monoid_rep' and `series_rep', preserve the value passed to the
      	automaton loader. These value may be overwritten if the parser
      	decides so.
      	* include/vaucanson/xml/contexts/fmp.hxx,
      	* include/vaucanson/xml/builders.hxx (create_monoid): Use the
      	  required structures when constructing the monoid.
      	* include/vaucanson/xml/handlers.hh: Add a comment.
      f84c5409