1. 14 Jul, 2012 1 commit
  2. 22 May, 2012 1 commit
  3. 07 Jul, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix XML output for F2. · e3ea8370
      Alexandre Duret-Lutz authored
      * include/vaucanson/xml/builders.hxx (get_semiring_operations):
      Add specialization to output CyclicSemirings as "field".
      * data/vaucanson.xsd: Update it.
      e3ea8370
  4. 28 Nov, 2008 1 commit
    • Florian Lesaint's avatar
      Use "weightOpening" instead of "openWeight". · d50e7c58
      Florian Lesaint authored
      Since we never "open" a weight, we just use a symbol to say where is
      the weight: it's a "weight opening symbol".
      Same for weightClosing.
      
        * data/vaucanson.xsd: Here.
        * include/vaucanson/xml/xmleq.hxx: Here.
      d50e7c58
  5. 27 Nov, 2008 1 commit
    • Jerome Galtier's avatar
      XML: Overhaul support for series representations. · 742863bd
      Jerome Galtier authored
      	* data/vaucanson.xsd: New complexType `seriesWritingData'. Rework
      	  the `writingData' element in `valueType'.
      	* include/vaucanson/xml/builders.hh: New
      	  `SeriesRepresentationHandler'. New `create_series_representation'
      	  and `create_series_representationh'. Add an argument to
      	  `create_monoid' and `check_monoid_consistency'.
      	* include/vaucanson/xml/builders.hxx: Add the implementation of
      	  `SeriesRepresentationHandler', mostly of based on
      	  `FreeMonoidHandler'. (create_monoid): Update implementation to
      	  reflect the new prototype. Add the implementation of
      	  `create_series_representation' and
      	  `create_series_representationh'. (check_monoid_consistency):
      	  Update implementation to reflect the new prototype with some
      	  overhauls. (create_type_writingData_node): Rename `weightOpening'
      	  to `openWeight' and `weightClosing' to `closeWeight'.
      	* include/vaucanson/xml/contexts/fmp.hh: New macro `FMPsreptype' to
      	  make code tighter. Add a specialization for
      	  `SeriesRepresentationHandler' for FMP. Add one argument to
      	  `create_monoid' and `check_monoid_consistency'. New
      	  `create_type_writingData_node' specialization to better support
      	  series representations for FMP.
      	* include/vaucanson/xml/contexts/fmp.hxx: Add the implementation of
      	  the new specialization mostly based on the `FreeMonoidProduct'
      	  one. Add the implementation of `create_type_writingData_node'.
      	* include/vaucanson/xml/handlers.hh (TypeHandler): Cosmetic changes.
      	  New `reph_' and `rep_' attributes.
      	* include/vaucanson/xml/handlers.hxx: Use the new
      	  `create_series_representation' to mimic the handling of monoid.
      	* include/vaucanson/xml/xmleq.hh: Cosmetic changes. Does the
      	  following renaming: `plus' -> `plusSym', `times' -> `timesSym',
      	  `spaces' -> `spacesSym'. New `starSym', `type' and `free'
      	  attributes.
      	* include/vaucanson/xml/xmleq.hxx: Update the implementation
      	  according to the previous changes.
      742863bd
  6. 10 Nov, 2008 1 commit
    • 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
  7. 09 Nov, 2008 1 commit
    • Florian Lesaint's avatar
      Replace "src" by "source" in XML, #189. · 282e1426
      Florian Lesaint authored
      	W.r.t the specifications, we should use "source" and not "src"
      	in the transitions. (Ticket #189)
      	
      	* data/automata/char-rw-b/add1-rw.xml: .
      	* data/automata/char-rw-b/quot-3-rw.xml: .
      	* data/vaucanson.xsd: .
      	* doc/manual/xml.tex: .
      	* include/vaucanson/xml/printers.hxx: .
      	* include/vaucanson/xml/xmleq.hxx: .
      	* src/tests/xml/Makefile.am: Remove useless session test.
      	* src/tests/xml/b_ref.xml: .
      	* src/tests/xml/fmp_ref.xml: .
      	* src/tests/xml/geometry_ref.xml: .
      	* src/tests/xml/int_b_ref.xml: .
      	* src/tests/xml/int_fmp_ref.xml: .
      	* src/tests/xml/int_trans_ref.xml: .
      	* src/tests/xml/int_z_fmp_ref.xml: .
      	* src/tests/xml/int_z_max_plus_ref.xml: .
      	* src/tests/xml/int_z_min_plus_ref.xml: .
      	* src/tests/xml/int_z_ref.xml: .
      	* src/tests/xml/int_z_trans_ref.xml: .
      	* src/tests/xml/label_node_ref.xml: .
      	* src/tests/xml/r_ref.xml: .
      	* src/tests/xml/session_ref.dot: Remove. Not used anymore.
      	* src/tests/xml/session_ref.xml: Remove. Not used anymore.
      	* src/tests/xml/trans_ref.xml: .
      	* src/tests/xml/xml_session_tester.cc: Remove. Not used anymore.
      	* src/tests/xml/z_fmp_ref.xml: .
      	* src/tests/xml/z_max_plus_ref.xml: .
      	* src/tests/xml/z_min_plus_ref.xml: .
      	* src/tests/xml/z_ref.xml: .
      	* src/tests/xml/z_trans_ref.xml: .
      	* taf-kit/tests/automata/char-b/ambiguous1.xml: .
      	* taf-kit/tests/automata/char-b/ambiguous2.xml: .
      	* taf-kit/tests/automata/char-b/b_to_transpose.xml: .
      	* taf-kit/tests/automata/char-b/b_transposed.xml: .
      	* taf-kit/tests/automata/char-b/finalword.xml: .
      	* taf-kit/tests/automata/char-b/initialword.xml: .
      	* taf-kit/tests/automata/char-b/initseries.xml: .
      	* taf-kit/tests/automata/char-b/non_ambiguous1.xml: .
      	* taf-kit/tests/automata/char-b/realtime_test.xml: .
      	* taf-kit/tests/automata/char-fmp-b/inverted_t1.xml: .
      	* taf-kit/tests/automata/char-fmp-b/t1_compose_u1.xml: .
      	* taf-kit/tests/automata/char-fmp-b/t2.xml: .
      	* taf-kit/tests/automata/char-fmp-b/t2_u-compose_u2.xml: .
      	* taf-kit/tests/automata/char-fmp-b/u2.xml: .
      	* taf-kit/tests/automata/char-z/standard_c1.xml: .
      	* taf-kit/tests/automata/int-b/int-b.xml: .
      	* taf-kit/tests/automata/int-z/int-z.xml: .
      282e1426
  8. 08 Sep, 2008 1 commit
  9. 19 Jun, 2008 1 commit
  10. 20 Jul, 2007 1 commit
  11. 17 Nov, 2006 1 commit
    • Florent Terrones's avatar
      2006-11-17 Florent Terrones <terron_f@lrde.epita.fr> · efca64eb
      Florent Terrones authored
      	* data/vaucanson.xsd: Remove the <transducer> tag.
      	Change the `generators' attribute to `generatorType'.
      	* doc/xml/xml_proposal.tex: Update accordingly.
      	* include/vaucanson/xml/xml_chooser.hh,
      	* include/vaucanson/xml/xml_chooser.hxx,
      	* include/vaucanson/xml/xml_converter.hxx,
      	* include/vaucanson/xml/tools.hxx,
      	* include/vaucanson/xml/xerces_parser.hxx: Update accordingly. Remove
      	the `choose_start_tag' method from xml_chooser.
      	* src/tests/xml/label_node_ref.xml,
      	* src/tests/xml/trans_ref.xml,
      	* src/tests/xml/geometry_ref.xml,
      	* src/tests/xml/r_ref.xml,
      	* src/tests/xml/z_ref.xml,
      	* src/tests/xml/z_min_plus_ref.xml,
      	* src/tests/xml/b_ref.xml,
      	* src/tests/xml/z_max_plus_ref.xml,
      	* src/tests/xml/fmp_ref.xml,
      	* src/tests/xml/session_ref.xml,
      	* taf-kit/tests/b_to_transpose.xml,
      	* taf-kit/tests/t2_u-compose_u2.xml,
      	* taf-kit/tests/b_transposed.xml,
      	* taf-kit/tests/inverted_t1.xml,
      	* taf-kit/tests/t2.xml,
      	* taf-kit/tests/u2.xml,
      	* taf-kit/tests/non_ambiguous2.xml,
      	* taf-kit/tests/ambiguous.xml,
      	* taf-kit/tests/non_ambiguous.xml,
      	* taf-kit/tests/t1_compose_u1.xml,
      	* data/automata/tdc-rw/quot-3-rw.xml,
      	* data/automata/tdc-rw/add1-rw.xml,
      	* data/automata/b/a1.xml,
      	* data/automata/b/b1.xml,
      	* data/automata/b/div3base2.xml,
      	* data/automata/b/double-3-1.xml,
      	* data/automata/b/ladybird-6.xml,
      	* data/automata/z/b1.xml,
      	* data/automata/z/c1.xml,
      	* data/automata/tdc/t1.xml,
      	* data/automata/tdc/u1.xml: Update accordingly.
      efca64eb
  12. 15 Nov, 2006 1 commit
    • Florent Terrones's avatar
      2006-11-15 Florent Terrones <terron_f@lrde.epita.fr> · 9a2ed6e3
      Florent Terrones authored
      	* data/vaucanson.xsd: Change the structure of the semiring description.
      	Semirings with set=`ratSeries' are now `numericalSemiring's and
      	recursive. The <semiring> tag is not recursive anymore.
      	* doc/xml/xml_proposal.tex: Update accordingly. Fix some errors. Remove
      	the first references to the tag <transducer>. Enhance some descriptions.
      	* include/vaucanson/xml/tools.hxx: Update accordingly.
      	* src/tests/xml/label_node_ref.xml,
      	* src/tests/xml/trans_ref.xml,
      	* src/tests/xml/geometry_ref.xml,
      	* src/tests/xml/r_ref.xml,
      	* src/tests/xml/z_ref.xml,
      	* src/tests/xml/b_ref.xml,
      	* src/tests/xml/fmp_ref.xml,
      	* src/tests/xml/session_ref.xml,
      	* taf-kit/tests/b_to_transpose.xml,
      	* taf-kit/tests/t2_u-compose_u2.xml,
      	* taf-kit/tests/b_transposed.xml,
      	* taf-kit/tests/inverted_t1.xml,
      	* taf-kit/tests/t2.xml,
      	* taf-kit/tests/u2.xml,
      	* taf-kit/tests/non_ambiguous2.xml,
      	* taf-kit/tests/ambiguous.xml,
      	* taf-kit/tests/non_ambiguous.xml,
      	* taf-kit/tests/t1_compose_u1.xml,
      	* data/automata/tdc-rw/quot-3-rw.xml,
      	* data/automata/tdc-rw/add1-rw.xml,
      	* data/automata/b/a1.xml,
      	* data/automata/b/b1.xml,
      	* data/automata/b/div3base2.xml,
      	* data/automata/b/double-3-1.xml,
      	* data/automata/b/ladybird-6.xml,
      	* data/automata/z/b1.xml,
      	* data/automata/z/c1.xml,
      	* data/automata/tdc/t1.xml,
      	* data/automata/tdc/u1.xml: Update accordingly.
      9a2ed6e3
  13. 02 Nov, 2006 1 commit
  14. 26 Oct, 2006 1 commit
    • Florent Terrones's avatar
      2006-10-26 Florent Terrones <terron_f@lrde.epita.fr> · 0a0bbdc6
      Florent Terrones authored
      	* data/vaucanson.xsd: Split the `expressionAttributes' into two
      	attribute groups: `atomAttributes' and `nodeAttributes'.
      	Add left and right weights for nodes of an expression.
      	Refine the drawing tag.
      	* doc/xml/xml_proposal.tex: Update accordingly.
      	* include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hh,
      	* include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hxx:
      	Add the support of left and right weights for output. Fix a bug	about
      	weights.
      	* include/vaucanson/algebra/implementation/series/rat/exp.hh,
      	* include/vaucanson/algebra/implementation/series/rat/exp.hxx: Minor fix.
      	* include/vaucanson/xml/tools.hxx: Add the support of left and right
      	weights for input.
      	* src/tests/xml/xml_label_node_tester.cc: Enhance the tests on weights.
      	* src/tests/xml/label_node_ref.xml,
      	* src/tests/xml/label_node_ref.dot: Update accordingly.
      0a0bbdc6
  15. 22 Sep, 2006 1 commit
    • Florent Terrones's avatar
      2006-09-22 Florent Terrones <terron_f@lrde.epita.fr> · d7f5e645
      Florent Terrones authored
      	* data/vaucanson.xsd: Use a better way to propose the same label
      	description possibilities. Rename and change some attributes, delete
      	most of the drawing attributes.
      	* include/vaucanson/xml/tools.hxx,
      	* src/tests/xml/xml_geometry_tester.cc,
      	* src/tests/xml/geometry_ref.xml,
      	* src/tests/xml/z_min_plus_ref.xml,
      	* src/tests/xml/z_max_plus_ref.xml,
      	* doc/xml/xml_proposal.tex: Update accordingly.
      d7f5e645
  16. 21 Jul, 2006 1 commit
  17. 19 Jun, 2006 1 commit
    • Florent Terrones's avatar
      2006-06-19 Florent Terrones <terron_f@lrde.epita.fr> · aedc3120
      Florent Terrones authored
      	The nodes like `<label_type>' are renamed to `<labelType>', so as to
      	fit with all other XML files format.
      
      	* data/vaucanson.xsd: Remove underscores in all the compound names,
      	capitalize the first letter of the following words. Change weight type
      	from decimal to string. Change the minimal number of children of the
      	nodes `sum' and `product' from 0 to 2.
      	* include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hxx,
      	* include/vaucanson/xml/xml_chooser.hh,
      	* include/vaucanson/xml/node.hh,
      	* include/vaucanson/xml/xml_chooser.hxx,
      	* include/vaucanson/xml/node.hxx,
      	* src/tests/xml/label_node_ref.xml,
      	* src/tests/xml/trans_ref.xml,
      	* src/tests/xml/geometry_ref.xml,
      	* src/tests/xml/r_ref.xml,
      	* src/tests/xml/z_ref.xml,
      	* src/tests/xml/z_min_plus_ref.xml,
      	* src/tests/xml/b_ref.xml,
      	* src/tests/xml/z_max_plus_ref.xml,
      	* src/tests/xml/fmp_ref.xml,
      	* src/tests/xml/session_ref.xml,
      	* src/demos/automaton_library/a1.xml,
      	* src/demos/automaton_library/b1.xml,
      	* src/demos/automaton_library/c1.xml,
      	* src/demos/transducers/t1.xml,
      	* src/demos/transducers/u1.xml,
      	* taf-kit/tests/non_ambiguous.xml,
      	* taf-kit/tests/non_ambiguous2.xml,
      	* taf-kit/tests/ambiguous.xml,
      	* doc/xml/xml_proposal.tex,
      	* doc/manual/examples/a1.xml,
      	* doc/manual/examples/b1.xml,
      	* doc/manual/examples/add1_rt.xml,
      	* doc/manual/examples/quot_3_rt.xml: Update accordingly.
      aedc3120
  18. 16 Jun, 2006 2 commits
    • Florent Terrones's avatar
      2006-06-16 Florent Terrones <terron_f@lrde.epita.fr> · 1a05abfc
      Florent Terrones authored
       
      	* data/vaucanson.xsd: Change the structure of the label as a node. The
      	element corresponding to the star is now a node instead of an attribute.
      	* include/vaucanson/xml/tools.hxx: Change the parsing of an XML node
      	accordingly.
      	* include/vaucanson/algebra/implementation/series/rat/xml_exp_visitor.hxx:
      	Change the `star' case of the xml visitor. A star node is now created.
      1a05abfc
    • Florent Terrones's avatar
      2006-06-16 Florent Terrones <terron_f@lrde.epita.fr> · 67f064fb
      Florent Terrones authored
      	* include/vaucanson/xml/node.hxx: Do not fill the alphabet with the
      	default range anymore if an empty alphabet is clearly defined.
      	Add the support for the alphabet ranges of the xsd file.
      	* data/vaucanson.xsd: Change the default range from `ascii' to
      	`implicit_alphabet', add a restriction for the range attribute.
      	* doc/xml/xml_proposal.tex: Change the default range accordingly.
      67f064fb
  19. 10 Jun, 2006 1 commit
    • Michaël Cadilhac's avatar
      Move `vaucanson.xsd' from src/ to data/. · c762d185
      Michaël Cadilhac authored
      - src/vaucanson.xsd: Move to...
      - data/vaucanson.xsd: ... Here.
      
      - src/tests/xml/Makefile.am,
      - src/demos/algorithms/Makefile.am,
      - src/demos/function_library/Makefile.am,
      - src/demos/transducers/Makefile.am,
      - src/Makefile.am,
      - taf-kit/tests/defs.in,
      - doc/xml/xml_proposal.tex,
      - data/Makefile.am: Update accordingly.
      c762d185
  20. 13 May, 2006 2 commits
  21. 09 May, 2006 1 commit
  22. 23 Apr, 2006 1 commit
    • Michaël Cadilhac's avatar
      Change "type" to "label_type", part II. · 0a52b43e
      Michaël Cadilhac authored
      - include/vaucanson/xml/xml_chooser.hh,
      - include/vaucanson/xml/xml_chooser.hxx,
      - include/vaucanson/xml/node.hxx,
      - src/demos/automaton_library/a1.xml,
      - src/demos/automaton_library/b1.xml,
      - src/demos/automaton_library/c1.xml,
      - src/demos/transducers/t1.xml,
      - src/demos/transducers/u1.xml,
      - src/vaucanson.xsd,
      - doc/xml/xml_proposal.tex,
      - doc/manual/examples/a1.xml,
      - doc/manual/examples/b1.xml,
      - doc/manual/examples/add1_rt.xml,
      - doc/manual/examples/quot_3_rt.xml: s/type/label_type.
      0a52b43e
  23. 13 Apr, 2006 1 commit
    • Michaël Cadilhac's avatar
      Change `edge' to `transition'. · 2650c607
      Michaël Cadilhac authored
      Some bugs fixed in algorithms/ and xml/.
      Reindendation made on modified files.
      
      - include/vaucanson/automata/implementation/graph.hh: Rename partially
      since a graph should consider `edge's and not `transition's.
      
      - include/vaucanson/xml/xml_chooser.hh,
      - include/vaucanson/xml/node.hh,
      - include/vaucanson/xml/xml_converter.hh,
      - include/vaucanson/xml/xml_chooser.hxx,
      - include/vaucanson/xml/node.hxx,
      - include/vaucanson/xml/xml_converter.hxx,
      - include/vaucanson/tools/gen_book.hxx,
      - include/vaucanson/tools/dot_format.hxx,
      - include/vaucanson/tools/simple_format.hxx,
      - include/vaucanson/tools/gen_random.hh,
      - include/vaucanson/tools/gen_random.hxx,
      - include/vaucanson/tools/fsm_dump.hxx,
      - include/vaucanson/tools/usual_macros.hh,
      - include/vaucanson/tools/io.hh,
      - include/vaucanson/tools/io.hxx,
      - include/vaucanson/algorithms/minimization_hopcroft.hxx,
      - include/vaucanson/algorithms/extension.hxx,
      - include/vaucanson/algorithms/standard_of.hxx,
      - include/vaucanson/algorithms/forward_realtime.hxx,
      - include/vaucanson/algorithms/sum.hh,
      - include/vaucanson/algorithms/cut_up.hxx,
      - include/vaucanson/algorithms/backward_realtime.hxx,
      - include/vaucanson/algorithms/realtime.hxx,
      - include/vaucanson/algorithms/letter_to_letter_composition.hxx,
      - include/vaucanson/algorithms/internal/build_pattern.hxx,
      - include/vaucanson/algorithms/internal/skeleton.hh,
      - include/vaucanson/algorithms/internal/skeleton.hxx,
      - include/vaucanson/algorithms/fmp_to_realtime.hxx,
      - include/vaucanson/algorithms/realtime_to_fmp.hxx,
      - include/vaucanson/algorithms/closure.hxx,
      - include/vaucanson/algorithms/product.hxx,
      - include/vaucanson/algorithms/realtime_composition.hxx,
      - include/vaucanson/algorithms/is_letterized.hxx,
      - include/vaucanson/algorithms/aut_to_exp.hxx,
      - include/vaucanson/algorithms/evaluation.hxx,
      - include/vaucanson/algorithms/thompson.hxx,
      - include/vaucanson/algorithms/minimization_moore.hxx,
      - include/vaucanson/algorithms/sub_normalize.hxx,
      - include/vaucanson/algorithms/determinize.hxx,
      - include/vaucanson/algorithms/concatenate.hxx,
      - include/vaucanson/algorithms/isomorph.hxx,
      - include/vaucanson/algorithms/standard.hxx,
      - include/vaucanson/algorithms/projections_fmp.hxx,
      - include/vaucanson/algorithms/normalized.hxx,
      - include/vaucanson/algorithms/complete.hxx,
      - include/vaucanson/algorithms/projection.hxx,
      - include/vaucanson/algorithms/eval.hxx,
      - include/vaucanson/algorithms/normalized_composition.hxx,
      - include/vaucanson/algorithms/is_realtime.hxx,
      - include/vaucanson/algorithms/fmp_to_realtime.hh,
      - include/vaucanson/algorithms/realtime_to_fmp.hh,
      - include/vaucanson/algorithms/is_normalized.hxx,
      - include/vaucanson/algorithms/sum.hxx,
      - include/vaucanson/algorithms/outsplitting.hxx,
      - include/vaucanson/automata/implementation/automaton_view.hh,
      - include/vaucanson/automata/implementation/geometry.hxx,
      - include/vaucanson/automata/implementation/kind_adapter.hh,
      - include/vaucanson/automata/implementation/transpose_view.hh,
      - include/vaucanson/automata/implementation/automaton_view.hxx,
      - include/vaucanson/automata/implementation/geometry.hh,
      - include/vaucanson/automata/implementation/transpose_view.hxx,
      - include/vaucanson/automata/concept/transducer.hxx,
      - include/vaucanson/automata/concept/copy.hxx,
      - include/vaucanson/automata/concept/transducer_ops.hh,
      - include/vaucanson/automata/concept/automata_ops.hh,
      - include/vaucanson/automata/concept/translate.hh,
      - include/vaucanson/automata/concept/delta_kind.hh,
      - include/vaucanson/automata/concept/handlers.hh,
      - include/vaucanson/automata/concept/history.hh,
      - include/vaucanson/automata/concept/transducer_ops.hxx,
      - include/vaucanson/automata/concept/transducer_base.hh,
      - include/vaucanson/automata/concept/automata_ops.hxx,
      - include/vaucanson/automata/concept/translate.hxx,
      - include/vaucanson/automata/concept/automata_base.hh,
      - include/vaucanson/automata/concept/kinds.hh,
      - include/vaucanson/automata/concept/history.hxx,
      - include/vaucanson/automata/concept/transducer_base.hxx,
      - include/vaucanson/automata/concept/automata_base.hxx,
      - include/vaucanson/automata/concept/kinds.hxx,
      - src/benchs/minimization_stroppa/init.hxx,
      - src/benchs/minimization_stroppa/minimization_bench_moore.cc,
      - src/benchs/minimization_stroppa/minimization_bench_hopcroft.cc,
      - src/benchs/composition/realtime_composition_bench.hh,
      - src/benchs/composition/normalized_composition_bench.hh,
      - src/benchs/common/algorithm.hh,
      - src/benchs/common/bench_constructs.hh,
      - src/benchs/quotient/quotient_bool_bench.hh,
      - src/benchs/quotient/quotient_z_bench.hh,
      - src/benchs/derived_terms/derived_terms_bench.hh,
      - src/tests/context_headers/fmp_transducers/global_consistency_test.hh,
      - src/tests/context_headers/automata/global_consistency_test.hh,
      - src/tests/context_headers/transducers/global_consistency_test.hh,
      - src/tests/xml/xml_trans_tester.cc,
      - src/tests/xml/r_ref.dot,
      - src/tests/xml/xml_geometry_tester.cc,
      - src/tests/xml/z_ref.dot,
      - src/tests/xml/z_min_plus_ref.dot,
      - src/tests/xml/xml_automaton_tester.cc,
      - src/tests/xml/b_ref.dot,
      - src/tests/xml/z_max_plus_ref.dot,
      - src/tests/xml/fmp_ref.dot,
      - src/tests/xml/session_ref.dot,
      - src/tests/xml/trans_ref.dot,
      - src/tests/xml/xml_fmp_tester.cc,
      - src/tests/xml/geometry_ref.dot,
      - src/tests/xml/xml_session_tester.cc,
      - src/tests/automata/implementation_check/rdelta_test.hh,
      - src/tests/automata/implementation_check/Makefile.am,
      - src/tests/automata/implementation_check/global_consistency_test.hh,
      - src/tests/automata/algos/fmp_transducers/normalized_composition_test.hh,
      - src/tests/automata/algos/fmp_transducers/evaluation_fmp_test.hh,
      - src/tests/automata/algos/fmp_transducers/sub_normalize_test.hh,
      - src/tests/automata/algos/label_aware_graphs/glushkov_test.hh,
      - src/tests/automata/algos/label_aware_graphs/standard_of_regression_test.hh,
      - src/tests/automata/algos/label_aware_graphs/sum_test.hh,
      - src/tests/automata/algos/label_aware_graphs/closure_test.hh,
      - src/tests/automata/algos/label_aware_graphs/cut_up_test.hh,
      - src/tests/automata/algos/graphs/extract_test.hh,
      - src/tests/automata/algos/boolean_automata/minimization_test.hh,
      - src/tests/automata/algos/boolean_automata/complete_test.hh,
      - src/tests/automata/algos/labeled_graphs/thompson_test.hh,
      - src/tests/automata/algos/letter_combination_labeled_graphs/compute_test.hh,
      - src/tests/automata/algos/letter_combination_labeled_graphs/product_regression_test.hh,
      - src/tests/automata/algos/letter_combination_labeled_graphs/product_test.hh,
      - src/demos/vaucanswig/doc/README.txt,
      - src/demos/vaucanswig/meta/automaton.hh,
      - src/demos/vaucanswig/meta/vaucanswig_automaton.i,
      - src/demos/vaucanswig/meta/vauto.hh,
      - src/demos/algorithms/contains_factor.cc,
      - src/demos/algorithms/classics.cc,
      - src/demos/algorithms/universal.cc,
      - src/demos/function_library/tdc_algorithms.cc,
      - src/demos/function_library/rt_tdc_algorithms.cc,
      - src/demos/function_library/algorithms.cc,
      - src/demos/automaton_library/a1.cc,
      - src/demos/automaton_library/b1.cc,
      - src/demos/automaton_library/c1.cc,
      - src/demos/automaton_library/double_ring.cc,
      - src/demos/automaton_library/divkbaseb.cc,
      - src/demos/automaton_library/ladybird.cc,
      - src/demos/utilities/vgrep/vgrep.cc,
      - src/demos/utilities/fsm/usual_automaton_t/vcsn_random_generator.cc,
      - src/demos/utilities/fsm/generate_toolbox.sh,
      - src/demos/transducers/one_rule_rewriting/fibonacci_rt_gen.cc,
      - src/demos/transducers/one_rule_rewriting/ORR_rt_gen.cc,
      - src/demos/transducers/one_rule_rewriting/fibonacci_tdc_gen.cc,
      - src/demos/transducers/one_rule_rewriting/fibonacci_demo.cc,
      - src/demos/transducers/one_rule_rewriting/ORR_tdc_gen.cc,
      - src/demos/transducers/one_rule_rewriting/ORR_demo.cc,
      - src/demos/transducers/t1.cc,
      - src/demos/transducers/u1.cc,
      - src/vaucanson.xsd,
      - doc/xml/xml_proposal.tex,
      - doc/README-IO.txt,
      - doc/NEWS.txt: s/edge/transition/. Nearly everywhere.
      2650c607
  24. 04 Apr, 2006 1 commit
  25. 03 Apr, 2006 1 commit
    • Florent Terrones's avatar
      2006-04-03 Florent Terrones <terron_f@lrde.epita.fr> · 0c161a99
      Florent Terrones authored
      	* include/vaucanson/xml/tools.hxx: Add 2006 Copyright.
      	* src/tests/xml/xml_geometry_tester.cc: New. Test for the geometry tag.
      	* src/tests/xml/tester.sh: Add Geometry test in the script.
      	* src/tests/xml/geometry_ref.xml,
      	* src/tests/xml/geometry_ref.dot: Add references for the geometry test.
      	* src/tests/xml/Makefile.am: Update accordingly.
      	* src/vaucanson.xsd: Change 'geometry_xy' to `geometry_state', and
      	`geometry_full' to `geometry_global'. Remove attribute edgeStyle from
      	the `geometry_global' complexType.
      0c161a99
  26. 20 Mar, 2006 1 commit
    • Florent Terrones's avatar
      2006-03-20 Florent Terrones <terron_f@lrde.epita.fr> · 80593671
      Florent Terrones authored
      	First change in Vaucanson because of the new version of the XML
      	documentation. From now on, the first element of the automaton
      	and transducer types is "label_type" and not "type" anymore.
      
      	* src/vaucanson.xsd: Change "label" to "label_type" in the automaton
      	and transducer types.
      	* include/vaucanson/xml/xml_chooser.hxx,
      	* include/vaucanson/xml/node.hxx,
      	* include/vaucanson/xml/node.hh: Propagate the change of the xsd file.
      	* src/tests/xml/trans_ref.xml,
      	* src/tests/xml/r_ref.xml,
      	* src/tests/xml/z_ref.xml,
      	* src/tests/xml/z_min_plus_ref.xml,
      	* src/tests/xml/b_ref.xml,
      	* src/tests/xml/z_max_plus_ref.xml,
      	* src/tests/xml/fmp_ref.xml,
      	* src/tests/xml/session_ref.xml: Change the reference files.
      
      80593671
  27. 15 Mar, 2006 1 commit
    • Michaël Cadilhac's avatar
      Be more flexible on XML's XSD location. · b507c963
      Michaël Cadilhac authored
      XML's XSD file is now searched :
      1) As the file pointed by the environment variable VCSN_XSD_PATH,
      2) In the current directory, as `vaucanson.xsd',
      3) In the default installation path for this file (most likely
         `/usr/share/vaucanson/vaucanson.xsd').
      
      - include/vaucanson/xml/xerces_parser.hh: Rename to...
      - include/vaucanson/xml/xerces_parser-hh.in: ... this, and inherit
        `VCSN_XSD_PATH' from the configure.
      - include/vaucanson/xml/xerces_parser.hxx: Check for the XSD file
        different locations.
      - doc/xml/vaucanson.xsd: Move to...
      - src/vaucanson.xsd: ... Here.
      - doc/xml/Makefile.am: Update accordingly.
      - src/Makefile.am: Distribute the XSD in a `data' directory (most
        likely `/usr/share').
      
      - src/tests/xml/Makefile.am,
      - src/demos/function_library/Makefile.am,
      - src/demos/algorithms/Makefile.am,
      - src/demos/transducers/Makefile.am: Update the path to the XSD in
        the symlink creation. Don't use GNU extensions of ln(1).
      
      - configure.ac: Compute the default XSD path and substitute a variable
        in `xerces_parser-hh.in'.
      b507c963
  28. 25 Jun, 2005 1 commit
  29. 15 Jun, 2005 1 commit
    • Louis-Nol Pouchet's avatar
      2005-06-15 Louis-Noel Pouchet <louis-noel.pouchet@lrde.epita.fr> · c3910b07
      Louis-Nol Pouchet authored
      	* doc/xml/vaucanson.xsd: Change the grammar in order to make <initial>
      	and <final> children of <transitions>. Suppress tags <initials> and
      	<finals>.
      	
      	* include/vaucanson/xml/node.hh,
      	* include/vaucanson/xml/node.hxx,
      	* include/vaucanson/xml/xml_converter.hxx: Update according to the 
      	grammar changes.
      
      	* src/tests/xml/trans_ref.xml,
      	* src/tests/xml/r_ref.xml,
      	* src/tests/xml/z_ref.xml,
      	* src/tests/xml/z_min_plus_ref.xml,
      	* src/tests/xml/b_ref.xml,
      	* src/tests/xml/z_max_plus_ref.xml,
      	* src/tests/xml/fmp_ref.xml,
      	* src/tests/xml/session_ref.xml: Update accordingly.
      
      c3910b07
  30. 16 May, 2005 1 commit
    • Louis-Nol Pouchet's avatar
      2005-05-16 Louis-Noel Pouchet <louis-noel.pouchet@lrde.epita.fr> · 0458247a
      Louis-Nol Pouchet authored
      	This patch re-activate XML session support. Usage is the same as 
      	before, but the class is named xml_session.
      	
      	* include/vaucanson/xml/session.hh,
      	* include/vaucanson/xml/session.hxx: New. XML session support.
      
      	* include/vaucanson/xml/xml_converter.hh,
      	* include/vaucanson/xml/xml_converter.hxx,
      	* include/vaucanson/xml/xerces_parser.hxx,
      	* include/vaucanson/xml/tools.hh,
      	* include/vaucanson/xml/tools.hxx: Code maintainance to ease XML 
      	session handling.
      
      	* src/demos/xml/make_session.cc,
      	* src/demos/xml/display_session.cc: New. Re-add demos for session. 
      	These demos are temporarely limited to boolean automata. 
      
      	* src/tests/xml/trans_ref.xml,
      	* src/tests/xml/r_ref.xml,
      	* src/tests/xml/z_ref.xml,
      	* src/tests/xml/z_min_plus_ref.xml,
      	* src/tests/xml/b_ref.xml,
      	* src/tests/xml/z_max_plus_ref.xml,
      	* src/tests/xml/fmp_ref.xml: Fix. Add an extraneous blank line at end 
      	of file.
      
      	* src/tests/xml/session_ref.xml
      	* src/tests/xml/session_ref.dot,
      	* src/tests/xml/xml_session_tester.cc: Add tests for XML sessions.
      	* src/tests/xml/tester.sh: Update accordingly.
      	
      	* include/Makefile.am,
      	* src/tests/xml/Makefile.am,
      	* src/demos/xml/Makefile.am: Update.
      
      	* doc/xml/vaucanson.xsd: Fix maxOccurs parameter for sessions (was set 
      	to 1, set to unbounded).
      
      0458247a
  31. 15 May, 2005 2 commits
    • Louis-Nol Pouchet's avatar
      2005-05-15 Louis-Noel Pouchet <louis-noel.pouchet@lrde.epita.fr> · af5c331d
      Louis-Nol Pouchet authored
      	* include/vaucanson/xml/xml_chooser.hh,
      	* include/vaucanson/xml/node.hh,
      	* include/vaucanson/xml/xml_converter.hh,
      	* include/vaucanson/xml/tools.hh,
      	* include/vaucanson/xml/xerces_parser.hh: Fix some include problems.
      	
      	* include/vaucanson/xml/XML.hh: Move macro definitions ...
      	* include/vaucanson/tools/usual_macros.hh:... here.
      	
      	* include/vaucanson/xml/if_tag.hh,
      	* include/vaucanson/xml/if_tag.hxx: Delete. These files are inaccurate
      	at the moment. They will be fixed and re-added, if necessary.
      
      	* include/vaucanson/xml/strings.hh: Remove a bad include.
      
      	* doc/xml/vaucanson.xsd: Fix monoid and semiring order for 
      	transducers. 
      		
      	* include/Makefile.am: Fix and update.
      
      af5c331d
    • Louis-Nol Pouchet's avatar
      2005-05-15 Louis-Noel Pouchet <louis-noel.pouchet@lrde.epita.fr> · f82bb40a
      Louis-Nol Pouchet authored
      	
      	* doc/xml/vaucanson.xsd: New. XSD Schema for Vaucanson-XML 
      	specification.
      	* doc/xml/Makefile.am: Update accordingly.
      
      	* Makefile.am: Remove dead directory reference.
      
      f82bb40a