1. 13 May, 2006 1 commit
  2. 09 May, 2006 1 commit
  3. 23 Apr, 2006 1 commit
    • Michal Cadilhac's avatar
      Change "type" to "label_type", part II. · 0a52b43e
      Michal 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
  4. 13 Apr, 2006 1 commit
    • Michal Cadilhac's avatar
      Change `edge' to `transition'. · 2650c607
      Michal 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
  5. 04 Apr, 2006 1 commit
  6. 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
  7. 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
  8. 15 Mar, 2006 1 commit
    • Michal Cadilhac's avatar
      Be more flexible on XML's XSD location. · b507c963
      Michal 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
  9. 25 Jun, 2005 1 commit
  10. 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
  11. 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
  12. 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