1. 21 Mar, 2008 3 commits
  2. 20 Mar, 2008 3 commits
    • Vivien Delmon's avatar
      Fix macro in Makefile. · 0ecfd86f
      Vivien Delmon authored
      	* Makefile.am: Now the buildfarm will compil vaucanswig even if
      	  DISTCHECK_CONFIGURE_FLAGS is redefined.
      0ecfd86f
    • Jimmy Ma's avatar
      1.2a. · b7826424
      Jimmy Ma authored
      	* configure.ac: Bump version to 1.2a.
      b7826424
    • Jimmy Ma's avatar
      Get ready for 1.2 · 0af1058d
      Jimmy Ma authored
      	* configure.ac: Bump version to 1.2.
      0af1058d
  3. 19 Mar, 2008 2 commits
  4. 18 Mar, 2008 5 commits
    • Florent D'Halluin's avatar
      Add missing command entries in tdc_commands.cc · 7294e2da
      Florent D'Halluin authored
      	* taf-kit/src/tdc_commands.cc: There.
      
      	For is_empty() and has_succ_comp().
      	Tickets #37 and #119 are now closed.
      7294e2da
    • Alexandre Duret-Lutz's avatar
      * doc/HACKING.txt: New file. · 487f1c00
      Alexandre Duret-Lutz authored
      * doc/Makefile.am (EXTRA_DIST, dist_pdf_DATA): Adjust.
      487f1c00
    • Vivien Delmon's avatar
      Fix bad include. · a9738d3b
      Vivien Delmon authored
      	* lib/generate_libvcsn.rb: Add particular treatment for eval INTERFACE balise.
      	* src/tests/bin/generate-test-suite.sh: Fix quote.
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_common.hh: .
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_identity_test.hh: .
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_letter_test.hh: .
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_product_test.hh: .
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_star_test.hh: .
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_sum_test.hh: .
      	* src/tests/include/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_zero_test.hh: .
      	* src/tests/test-suites/algebra_series_krat_partial_derivation.defs:
      	  Change include position.
      a9738d3b
    • Jimmy Ma's avatar
      Disable xml-diffs in the tests on taf-kit. · e5be312b
      Jimmy Ma authored
      	* taf-kit/tests/vcsn-b.test:
      	  Disable the xml diffs because the cannot be accurate because
      	  of the state renumbering done with bmig.
      e5be312b
    • Jimmy Ma's avatar
      Fix is_ambiguous. · 9ac65afa
      Jimmy Ma authored
      	* include/vaucanson/algorithms/is_ambiguous.hxx:
      	  We need to create a map of correspondance to work with the set
      	  filled by product. This is related to the copy of the automaton
      	  and the fact that hstates are dependant of the automaton.
      9ac65afa
  5. 16 Mar, 2008 5 commits
    • Jimmy Ma's avatar
      Fix tests in test-suite. · 2591d33d
      Jimmy Ma authored
      	* boolean_automata/complete_test.hh: .
      	* graphs/accessible_test.hh: .
      	* graphs/sub_automaton_test.hh: .
      	* letter_combination_labeled_graphs/deterministic_test.hh: .
      2591d33d
    • Jimmy Ma's avatar
      Fix includes in the test-suites. · 9214345e
      Jimmy Ma authored
      	* boolean_automaton.defs,
      	* boolean_transducer.defs,
      	* context_headers_boolean.defs,
      	* context_headers_boolean_transducer.defs,
      	* context_headers_fmp_transducer.defs,
      	* context_headers_r.defs,
      	* context_headers_z.defs,
      	* context_headers_z_fmp_transducer.defs,
      	* context_headers_z_max_plus.defs,
      	* context_headers_z_min_plus.defs,
      	* context_headers_z_transducer.defs,
      	* fmp_transducer.defs,
      	* z_automaton.defs,
      	* z_fmp_transducer.defs,
      	* z_max_plus_automaton.defs,
      	* z_min_plus_automaton.defs,
      	* z_transducer.defs:
      	  Include the _structures.hh since they do not include all the
      	  algorithms.
      9214345e
    • Jimmy Ma's avatar
      Fix algorithm sub_automaton(). · b5dc5b2e
      Jimmy Ma authored
      	* sub_automaton.hxx:
      	  Fix errors related to automata copy.
      	  Create a new hstate_t set containing the hstates corresponding
      	  to the new automaton.
      b5dc5b2e
    • Jimmy Ma's avatar
      Fix rw_composition. · 5ad207a2
      Jimmy Ma authored
      	* internal/evaluation.hxx,
      	* rw_composition.hxx:
      	  Correct errors related to state renumbering and automata copy.
      	  hstates_t are linked to an automaton and should not be used on
      	  an other one. To do this, we must either convert them back to
      	  integer when possible and ask for the corresponding state, or
      	  use a map to link states from one automaton to the other.
      5ad207a2
    • Jimmy Ma's avatar
      Fix hstate_t related bugs: operators and has_state(). · 46b55273
      Jimmy Ma authored
      	* bmig/bmig_handlers_op.hxx:
      	  Fix hstate_t operators: we now compare the address of the int
      	  instead of its value. It allows correct use of sets or maps
      	  in combination with state renumbering.
      
      	* bmig_graph_impl.hxx:
      	  Correction of the has_state method.
      46b55273
  6. 14 Mar, 2008 1 commit
  7. 12 Mar, 2008 3 commits
  8. 11 Mar, 2008 3 commits
  9. 10 Mar, 2008 4 commits
  10. 09 Mar, 2008 5 commits
  11. 07 Mar, 2008 6 commits
    • Florian Lesaint's avatar
      Dealing with the empty automaton #114, #132. · a72ad9a3
      Florian Lesaint authored
      	Fix #132
      	Partially Fix #114
      	* include/vaucanson/algorithms/complete.hxx:
      	  Fix returned automaton when entry was empty.
      	* include/vaucanson/algorithms/determinize.hh:
      	  Add precondition.
      	* include/vaucanson/algorithms/determinize.hxx:
      	  Add precondition. Fix return value.
      	* include/vaucanson/algorithms/is_deterministic.hxx:
      	  Fix return value. Empty automaton is deterministic.
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/deterministic_test.hh:
      	  Add a test for determinization of empty automaton.
      a72ad9a3
    • Florent D'Halluin's avatar
      Add algorithms is_empty and has_succ_comp · fd506111
      Florent D'Halluin authored
      	* include/vaucanson/algorithms/has_succ_comp.hh,
      	* include/vaucanson/algorithms/has_succ_comp.hxx:
      	New. Add has_succ_comp.
      	* include/vaucanson/algorithms/is_empty.hh,
      	* include/vaucanson/algorithms/is_empty.hxx:
      	New. Add is_empty.
      	* include/vaucanson/standard_algorithms.hh:
      	Add #include for the new algorithms
      	* taf-kit/src/b_commands.cc,
      	* taf-kit/src/z_commands.cc:
      	Remove previous is_empty, add is_empty and has_succ_comp
      	to the list displayed with -l.
      	* taf-kit/src/common_commands.hh:
      	Add #include for the new algorithms.  This may be
      	unnecessary.
      
      	This fixes tickets #37 and #119.
      	is_empty <aut> returns true if aut has no state,
      	false otherwise.
      	has_succ_comp <aut> returns true if aut has at least one
      	state that is both accessible and co-accessible.
      
      	Note that is_empty behaves differently from the version
      	that was previously available in taf-kit.
      fd506111
    • Jimmy Ma's avatar
      Add test to test suite on a bug related to std::set. · f7994ac1
      Jimmy Ma authored
      	* src/tests/include/Makefile.am: .
      	* src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/transition_container_test.hh: New.
      	Miswritten operators were the source of this bug.
      	This test contains basic tests on operator<, and basic insertions
      	on std::list, multiset and set.
      f7994ac1
    • Jimmy Ma's avatar
      Remove the directory boostg from implementation. · 233721bd
      Jimmy Ma authored
      	* include/vaucanson/automata/implementation/boostg/boostg_functors.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg/boostg_functors.hxx: Remove.
      	* include/vaucanson/automata/implementation/boostg/boostg_handlers.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg/boostg_handlers.hxx: Remove.
      	* include/vaucanson/automata/implementation/boostg/boostg_handlers_op.hxx: Remove.
      	* include/vaucanson/automata/implementation/boostg/boostg_support.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg/boostg_support.hxx: Remove.
      	* include/vaucanson/automata/implementation/boostg/edge_value.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg/edge_value.hxx: Remove.
      	* include/vaucanson/automata/implementation/boostg/graphcontainer.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg/initial_container.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg/initial_value.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg/initial_value.hxx: Remove.
      	* include/vaucanson/automata/implementation/boostg/vgraph_container.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg/vgraph_container.hxx: Remove.
      	* include/vaucanson/automata/implementation/boostg: Remove.
      233721bd
    • Florian Lesaint's avatar
      Revert r1893 and r1895 for bmi release. · 5871a081
      Florian Lesaint authored
      	Reopening of ticket #118.
      	* include/vaucanson/algorithms/minimization_hopcroft.hh: Here.
      	* include/vaucanson/algorithms/minimization_hopcroft.hxx: Here.
      5871a081
    • Jimmy Ma's avatar
      Rename boostg to bmig. · fdcd153c
      Jimmy Ma authored
      	* configure.ac: .
      	* data/automata/b/double-3-1.xml: .
      	* data/automata/tdc/t1.xml: .
      	* data/automata/tdc/u1.xml: .
      	* data/automata/z/c1.xml: .
      	* include/Makefile.am: .
      	* include/vaucanson/automata/implementation/bmig/bmig_functors.hh: New.
      	* include/vaucanson/automata/implementation/bmig/bmig_functors.hxx: New.
      	* include/vaucanson/automata/implementation/bmig/bmig_handlers.hh: New.
      	* include/vaucanson/automata/implementation/bmig/bmig_handlers.hxx: New.
      	* include/vaucanson/automata/implementation/bmig/bmig_handlers_op.hxx: New.
      	* include/vaucanson/automata/implementation/bmig/bmig_support.hh: New.
      	* include/vaucanson/automata/implementation/bmig/bmig_support.hxx: New.
      	* include/vaucanson/automata/implementation/bmig/boostg_functors.hh: Remove.
      	* include/vaucanson/automata/implementation/bmig/boostg_functors.hxx: Remove.
      	* include/vaucanson/automata/implementation/bmig/boostg_handlers.hh: Remove.
      	* include/vaucanson/automata/implementation/bmig/boostg_handlers.hxx: Remove.
      	* include/vaucanson/automata/implementation/bmig/boostg_handlers_op.hxx: Remove.
      	* include/vaucanson/automata/implementation/bmig/boostg_support.hh: Remove.
      	* include/vaucanson/automata/implementation/bmig/boostg_support.hxx: Remove.
      	* include/vaucanson/automata/implementation/bmig/edge_value.hh: .
      	* include/vaucanson/automata/implementation/bmig/edge_value.hxx: .
      	* include/vaucanson/automata/implementation/bmig/graphcontainer.hh: .
      	* include/vaucanson/automata/implementation/bmig/initial_container.hh: .
      	* include/vaucanson/automata/implementation/bmig/initial_value.hh: .
      	* include/vaucanson/automata/implementation/bmig/initial_value.hxx: .
      	* include/vaucanson/automata/implementation/bmig/vgraph_container.hh: .
      	* include/vaucanson/automata/implementation/bmig/vgraph_container.hxx: .
      	* include/vaucanson/automata/implementation/bmig: New.
      	* include/vaucanson/automata/implementation/bmig_graph_impl.hh: New.
      	* include/vaucanson/automata/implementation/bmig_graph_impl.hxx: New.
      	* include/vaucanson/automata/implementation/bmig_graph_letters_spec.hh: New.
      	* include/vaucanson/automata/implementation/bmig_graph_letters_spec.hxx: New.
      	* include/vaucanson/automata/implementation/boostg_graph_impl.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg_graph_impl.hxx: Remove.
      	* include/vaucanson/automata/implementation/boostg_graph_letters_spec.hh: Remove.
      	* include/vaucanson/automata/implementation/boostg_graph_letters_spec.hxx: Remove.
      fdcd153c