-
Michal Cadilhac authored
The main aims of this patch is to change Vaucanson's Licence to GPL and to remove `AUTHORS' from headers in all files. * include/vaucanson/r_automaton.hh, * include/vaucanson/standard_algorithms.hh, * include/vaucanson/vaucanson.hh, * include/vaucanson/misc/escaper.hh, * include/vaucanson/misc/support.hxx, * include/vaucanson/misc/static.hh, * include/vaucanson/misc/random.hxx, * include/vaucanson/misc/escaper.hxx, * include/vaucanson/misc/bitset.hh, * include/vaucanson/misc/iomanip.hh, * include/vaucanson/misc/deferrer.hh, * include/vaucanson/misc/limits.hh, * include/vaucanson/misc/bitset.hxx, * include/vaucanson/misc/selectors.hh, * include/vaucanson/misc/special_char_traits.hh, * include/vaucanson/misc/utility.hh, * include/vaucanson/misc/functors.hh, * include/vaucanson/misc/char_traits.hh, * include/vaucanson/misc/unique.hcc, * include/vaucanson/misc/iomanip.hxx, * include/vaucanson/misc/unique.hh, * include/vaucanson/misc/deferrer.hxx, * include/vaucanson/misc/window.hh, * include/vaucanson/misc/constraints.hh, * include/vaucanson/misc/char_traits.hxx, * include/vaucanson/misc/functors.hxx, * include/vaucanson/misc/support.hh, * include/vaucanson/misc/contract.hh, * include/vaucanson/misc/unique.hxx, * include/vaucanson/misc/window.hxx, * include/vaucanson/misc/random.hh, * include/vaucanson/algebra/implementation/letter/int_letter.hxx, * include/vaucanson/algebra/implementation/letter/range.hxx, * include/vaucanson/algebra/implementation/letter/couple_letter.hh, * include/vaucanson/algebra/implementation/letter/int_letter.hh, * include/vaucanson/algebra/implementation/letter/char_letter.hh, * include/vaucanson/algebra/implementation/letter/range.hh, * include/vaucanson/algebra/implementation/letter/couple_letter.hxx, * include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hxx, * include/vaucanson/algebra/implementation/alphabets/set_alphabet.hxx, * include/vaucanson/algebra/implementation/alphabets/alphabets.hh, * include/vaucanson/algebra/implementation/alphabets/predefs.hh, * include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hh, * include/vaucanson/algebra/implementation/alphabets/set_alphabet.hh, * include/vaucanson/algebra/implementation/free_monoid/str_words.hh, * include/vaucanson/algebra/implementation/free_monoid/words.hxx, * include/vaucanson/algebra/implementation/free_monoid/predefs.hh, * include/vaucanson/algebra/implementation/free_monoid/tools.hxx, * include/vaucanson/algebra/implementation/free_monoid/words.hh, * include/vaucanson/algebra/implementation/free_monoid/str_words.hxx, * include/vaucanson/algebra/implementation/free_monoid/tools.hh, * include/vaucanson/algebra/implementation/free_monoid_product/freemonoid_product_pair_str.hxx, * include/vaucanson/algebra/implementation/free_monoid_product/freemonoid_product_pair_str.hh, * include/vaucanson/algebra/implementation/predefs.hh, * include/vaucanson/algebra/implementation/series/krat_exp_support.hxx, * include/vaucanson/algebra/implementation/series/krat_exp_pattern.hxx, * include/vaucanson/algebra/implementation/series/krat_exp_transpose.hxx, * include/vaucanson/algebra/implementation/series/transpose.hxx, * include/vaucanson/algebra/implementation/series/polynoms.hxx, * include/vaucanson/algebra/implementation/series/rat/depth_visitor.hh, * include/vaucanson/algebra/implementation/series/rat/dump_visitor.hh, * include/vaucanson/algebra/implementation/series/rat/dispatch_visitor.hxx, * include/vaucanson/algebra/implementation/series/rat/star_height_visitor.hxx, * include/vaucanson/algebra/implementation/series/rat/reverse_visitor.hh, * include/vaucanson/algebra/implementation/series/rat/depth_visitor.hxx, * include/vaucanson/algebra/implementation/series/rat/dump_visitor.hxx, * include/vaucanson/algebra/implementation/series/rat/exp.hh, * include/vaucanson/algebra/implementation/series/rat/random_visitor.hh, * include/vaucanson/algebra/implementation/series/rat/length_visitor.hh, * include/vaucanson/algebra/implementation/series/rat/reverse_visitor.hxx, * include/vaucanson/algebra/implementation/series/rat/exp.hxx, * include/vaucanson/algebra/implementation/series/rat/random_visitor.hxx, * include/vaucanson/algebra/implementation/series/rat/length_visitor.hxx, * include/vaucanson/algebra/implementation/series/rat/nodes.hh, * include/vaucanson/algebra/implementation/series/rat/dispatch_visitor.hh, * include/vaucanson/algebra/implementation/series/rat/nodes.hxx, * include/vaucanson/algebra/implementation/series/rat/star_height_visitor.hh, * include/vaucanson/algebra/implementation/series/krat_exp_parser.hh, * include/vaucanson/algebra/implementation/series/generalized.hh, * include/vaucanson/algebra/implementation/series/series.hh, * include/vaucanson/algebra/implementation/series/krat_coefficient.hh, * include/vaucanson/algebra/implementation/series/generalized.hxx, * include/vaucanson/algebra/implementation/series/krat.hh, * include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx, * include/vaucanson/algebra/implementation/series/series.hxx, * include/vaucanson/algebra/implementation/series/krat_conversion.hh, * include/vaucanson/algebra/implementation/series/krat_coefficient.hxx, * include/vaucanson/algebra/implementation/series/krat.hxx, * include/vaucanson/algebra/implementation/series/krat_exp_pattern.hh, * include/vaucanson/algebra/implementation/series/krat_conversion.hxx, * include/vaucanson/algebra/implementation/series/krat_exp_is_finite_app.hxx, * include/vaucanson/algebra/implementation/series/transpose.hh, * include/vaucanson/algebra/implementation/series/polynoms.hh, * include/vaucanson/algebra/implementation/semiring/rational_number.hh, * include/vaucanson/algebra/implementation/semiring/tropical_semiring.hxx, * include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx, * include/vaucanson/algebra/implementation/semiring/rational_number.hxx, * include/vaucanson/algebra/implementation/semiring/tropical_semiring.hh, * include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh, * include/vaucanson/algebra/concept/freemonoid_product_base.hh, * include/vaucanson/algebra/concept/freemonoid_base.hh, * include/vaucanson/algebra/concept/tropical_semiring.hxx, * include/vaucanson/algebra/concept/numerical_semiring.hxx, * include/vaucanson/algebra/concept/series_base.hh, * include/vaucanson/algebra/concept/freemonoid_product.hh, * include/vaucanson/algebra/concept/monoid_base.hxx, * include/vaucanson/algebra/concept/freemonoid_product_base.hxx, * include/vaucanson/algebra/concept/freemonoid_base.hxx, * include/vaucanson/algebra/concept/series_base.hxx, * include/vaucanson/algebra/concept/alphabets_base.hh, * include/vaucanson/algebra/concept/freemonoid_product.hxx, * include/vaucanson/algebra/concept/letter.hh, * include/vaucanson/algebra/concept/semigroup_base.hh, * include/vaucanson/algebra/concept/alphabets_base.hxx, * include/vaucanson/algebra/concept/semiring_base.hh, * include/vaucanson/algebra/concept/tropical_semiring.hh, * include/vaucanson/algebra/concept/numerical_semiring.hh, * include/vaucanson/algebra/concept/semigroup_base.hxx, * include/vaucanson/algebra/concept/monoid_base.hh, * include/vaucanson/algebra/concept/semiring_base.hxx, * include/vaucanson/algebra/algebra.hh, * include/vaucanson/z_automaton.hh, * include/vaucanson/tools/gen_book.hh, * include/vaucanson/tools/dot_dump.hxx, * include/vaucanson/tools/usual_escaped_characters.hxx, * include/vaucanson/tools/xml_dump.hh, * include/vaucanson/tools/usual_io.hxx, * include/vaucanson/tools/gen_book.hxx, * include/vaucanson/tools/out_display.hh, * include/vaucanson/tools/xml_dump.hxx, * include/vaucanson/tools/simple_format.hh, * include/vaucanson/tools/bencher.hh, * include/vaucanson/tools/dot_format.hxx, * include/vaucanson/tools/simple_format.hxx, * include/vaucanson/tools/gen_random.hh, * include/vaucanson/tools/dot_display.hh, * include/vaucanson/tools/usual_escaped_characters.hh, * include/vaucanson/tools/usual_io.hh, * include/vaucanson/tools/gen_random.hxx, * include/vaucanson/tools/fsm_dump.hxx, * include/vaucanson/tools/dot_display.hxx, * include/vaucanson/tools/xml_display.hh, * include/vaucanson/tools/automaton_tools.hh, * include/vaucanson/tools/xml_display.hxx, * include/vaucanson/tools/usual_macros.hh, * include/vaucanson/tools/dot_format.hh, * include/vaucanson/tools/xml_load.hh, * include/vaucanson/tools/container_ops.hh, * include/vaucanson/tools/out_display.hxx, * include/vaucanson/tools/io.hh, * include/vaucanson/tools/xml_load.hxx, * include/vaucanson/tools/fsm_dump.hh, * include/vaucanson/tools/container_ops.hxx, * include/vaucanson/tools/dot_dump.hh, * include/vaucanson/tools/bencher.hxx, * include/vaucanson/tools/io.hxx, * include/vaucanson/xml/xml_chooser.hh, * include/vaucanson/xml/session.hh, * include/vaucanson/xml/node.hh, * include/vaucanson/xml/error_handler.hh, * include/vaucanson/xml/xml_converter.hh, * include/vaucanson/xml/strings.hh, * include/vaucanson/xml/xml_chooser.hxx, * include/vaucanson/xml/ios.hh, * include/vaucanson/xml/session.hxx, * include/vaucanson/xml/node.hxx, * include/vaucanson/xml/error_handler.hxx, * include/vaucanson/xml/xml_converter.hxx, * include/vaucanson/xml/tools.hh, * include/vaucanson/xml/XML.hh, * include/vaucanson/xml/strings.hxx, * include/vaucanson/xml/ios.hxx, * include/vaucanson/xml/xerces_parser.hh, * include/vaucanson/xml/tools.hxx, * include/vaucanson/xml/XML.hxx, * include/vaucanson/xml/xerces_parser.hxx, * include/vaucanson/z_transducer.hh, * include/vaucanson/z_fmp_transducer.hh, * include/vaucanson/boolean_automaton.hh, * include/vaucanson/z_min_plus_automaton.hh, * include/vaucanson/config/system.hh, * include/vaucanson/config/math.hh, * include/vaucanson/z_max_plus_automaton.hh, * include/vaucanson/design_pattern/element_ops.hxx, * include/vaucanson/design_pattern/element.hh, * include/vaucanson/design_pattern/structure.hh, * include/vaucanson/design_pattern/predecls.hh, * include/vaucanson/design_pattern/element.hxx, * include/vaucanson/design_pattern/meta_element_root.hh, * include/vaucanson/design_pattern/syntactic_decorator.hh, * include/vaucanson/design_pattern/slots.hh, * include/vaucanson/design_pattern/default_ops.hh, * include/vaucanson/design_pattern/design_pattern.hh, * include/vaucanson/design_pattern/factory.hh, * include/vaucanson/design_pattern/structure.hxx, * include/vaucanson/design_pattern/element_ops.hh, * include/vaucanson/design_pattern/meta_element_root.hxx, * include/vaucanson/design_pattern/syntactic_decorator.hxx, * include/vaucanson/design_pattern/slots.hxx, * include/vaucanson/design_pattern/element_op_traits.hh, * include/vaucanson/design_pattern/default_ops.hxx, * include/vaucanson/contexts/r_semiring.thh, * include/vaucanson/contexts/ratseries_semiring.thh, * include/vaucanson/contexts/automaton_functions.thh, * include/vaucanson/contexts/transducer_functions.thh, * include/vaucanson/contexts/fmp_transducer_functions.thh, * include/vaucanson/contexts/z_semiring.thh, * include/vaucanson/contexts/automaton.thh, * include/vaucanson/contexts/polynom_series.thh, * include/vaucanson/contexts/automaton_functions.thxx, * include/vaucanson/contexts/transducer.thh, * include/vaucanson/contexts/transducer_functions.thxx, * include/vaucanson/contexts/z_min_plus_semiring.thh, * include/vaucanson/contexts/boolean_semiring.thh, * include/vaucanson/contexts/fmp_transducer_functions.thxx, * include/vaucanson/contexts/z_max_plus_semiring.thh, * include/vaucanson/contexts/generic_automaton_impl.thh, * include/vaucanson/contexts/dynamic_alphabet.thh, * include/vaucanson/contexts/free_monoid.thh, * include/vaucanson/contexts/generic_series.thh, * include/vaucanson/contexts/free_monoid_product.thh, * include/vaucanson/contexts/char_letter.thh, * include/vaucanson/boolean_transducer.hh, * include/vaucanson/algorithms/derived_terms_automaton.hh, * include/vaucanson/algorithms/minimization_hopcroft.hxx, * include/vaucanson/algorithms/extension.hxx, * include/vaucanson/algorithms/initial_derivation.hxx, * include/vaucanson/algorithms/transpose.hxx, * include/vaucanson/algorithms/krat_exp_linearize.hxx, * include/vaucanson/algorithms/finite_support_conversion.hxx, * include/vaucanson/algorithms/sub_automaton.hxx, * include/vaucanson/algorithms/realtime_decl.hh, * include/vaucanson/algorithms/standard_of.hxx, * include/vaucanson/algorithms/accessible.hh, * include/vaucanson/algorithms/forward_realtime.hxx, * include/vaucanson/algorithms/realtime_decl.hxx, * include/vaucanson/algorithms/krat_exp_cderivation.hh, * include/vaucanson/algorithms/sum.hh, * include/vaucanson/algorithms/accessible.hxx, * include/vaucanson/algorithms/is_letterized.hh, * include/vaucanson/algorithms/cut_up.hxx, * include/vaucanson/algorithms/backward_realtime.hxx, * include/vaucanson/algorithms/evaluation_fmp.hh, * include/vaucanson/algorithms/realtime.hxx, * include/vaucanson/algorithms/complement.hxx, * include/vaucanson/algorithms/letter_to_letter_composition.hxx, * include/vaucanson/algorithms/extension.hh, * include/vaucanson/algorithms/krat_exp_partial_derivation.hh, * include/vaucanson/algorithms/internal/partial_rat_exp_derivation.hh, * include/vaucanson/algorithms/internal/build_pattern.hxx, * include/vaucanson/algorithms/internal/skeleton.hh, * include/vaucanson/algorithms/internal/partial_rat_exp_constant_term.hxx, * include/vaucanson/algorithms/internal/partial_rat_exp.hxx, * include/vaucanson/algorithms/internal/partial_rat_exp_derivation.hxx, * include/vaucanson/algorithms/internal/build_pattern.hh, * include/vaucanson/algorithms/internal/skeleton.hxx, * include/vaucanson/algorithms/internal/partial_rat_exp.hh, * include/vaucanson/algorithms/internal/partial_rat_exp_constant_term.hh, * include/vaucanson/algorithms/realtime_to_fmp.hxx, * include/vaucanson/algorithms/fmp_to_realtime.hxx, * include/vaucanson/algorithms/sub_automaton.hh, * include/vaucanson/algorithms/evaluation_fmp.hxx, * include/vaucanson/algorithms/trim.hxx, * include/vaucanson/algorithms/brzozowski.hh, * include/vaucanson/algorithms/closure.hxx, * include/vaucanson/algorithms/standard_of.hh, * include/vaucanson/algorithms/realtime_composition.hh, * include/vaucanson/algorithms/krat_exp_partial_derivation.hxx, * include/vaucanson/algorithms/eval.hh, * include/vaucanson/algorithms/normalized_composition.hh, * include/vaucanson/algorithms/product.hxx, * include/vaucanson/algorithms/krat_exp_flatten.hh, * include/vaucanson/algorithms/realtime_composition.hxx, * include/vaucanson/algorithms/is_normalized.hh, * include/vaucanson/algorithms/backward_realtime.hh, * include/vaucanson/algorithms/krat_exp_derivation.hh, * include/vaucanson/algorithms/krat_exp_realtime.hxx, * include/vaucanson/algorithms/krat_exp_derivation.hxx, * include/vaucanson/algorithms/sub_normalize.hh, * include/vaucanson/algorithms/minimization_hopcroft.hh, * include/vaucanson/algorithms/aci_canonical.hxx, * include/vaucanson/algorithms/closure.hh, * include/vaucanson/algorithms/is_letterized.hxx, * include/vaucanson/algorithms/evaluation.hxx, * include/vaucanson/algorithms/finite_support_conversion.hh, * include/vaucanson/algorithms/aut_to_exp.hxx, * include/vaucanson/algorithms/krat_exp_linearize.hh, * include/vaucanson/algorithms/thompson.hxx, * include/vaucanson/algorithms/minimization_moore.hxx, * include/vaucanson/algorithms/product.hh, * include/vaucanson/algorithms/sub_normalize.hxx, * include/vaucanson/algorithms/krat_exp_expand.hxx, * include/vaucanson/algorithms/determinize.hxx, * include/vaucanson/algorithms/berry_sethi.hxx, * include/vaucanson/algorithms/derived_terms_automaton.hxx, * include/vaucanson/algorithms/concatenate.hxx, * include/vaucanson/algorithms/cut_up.hh, * include/vaucanson/algorithms/projections_fmp.hh, * include/vaucanson/algorithms/krat_exp_flatten.hxx, * include/vaucanson/algorithms/letter_to_letter_composition.hh, * include/vaucanson/algorithms/complement.hh, * include/vaucanson/algorithms/search.hh, * include/vaucanson/algorithms/standard.hxx, * include/vaucanson/algorithms/minimization_moore.hh, * include/vaucanson/algorithms/isomorph.hxx, * include/vaucanson/algorithms/projections_fmp.hxx, * include/vaucanson/algorithms/trim.hh, * include/vaucanson/algorithms/normalized.hxx, * include/vaucanson/algorithms/krat_exp_expand.hh, * include/vaucanson/algorithms/search.hxx, * include/vaucanson/algorithms/krat_exp_constant_term.hh, * include/vaucanson/algorithms/transpose.hh, * include/vaucanson/algorithms/complete.hxx, * include/vaucanson/algorithms/projection.hxx, * include/vaucanson/algorithms/concatenate.hh, * include/vaucanson/algorithms/krat_exp_constant_term.hxx, * include/vaucanson/algorithms/forward_realtime.hh, * include/vaucanson/algorithms/brzozowski.hxx, * include/vaucanson/algorithms/is_realtime.hh, * include/vaucanson/algorithms/krat_exp_realtime.hh, * include/vaucanson/algorithms/eval.hxx, * include/vaucanson/algorithms/normalized_composition.hxx, * include/vaucanson/algorithms/standard.hh, * include/vaucanson/algorithms/isomorph.hh, * include/vaucanson/algorithms/realtime.hh, * include/vaucanson/algorithms/aci_canonical.hh, * include/vaucanson/algorithms/normalized.hh, * include/vaucanson/algorithms/is_realtime.hxx, * include/vaucanson/algorithms/outsplitting.hh, * include/vaucanson/algorithms/fmp_to_realtime.hh, * include/vaucanson/algorithms/realtime_to_fmp.hh, * include/vaucanson/algorithms/thompson.hh, * include/vaucanson/algorithms/aut_to_exp.hh, * include/vaucanson/algorithms/is_normalized.hxx, * include/vaucanson/algorithms/evaluation.hh, * include/vaucanson/algorithms/complete.hh, * include/vaucanson/algorithms/krat_exp_cderivation.hxx, * include/vaucanson/algorithms/sum.hxx, * include/vaucanson/algorithms/projection.hh, * include/vaucanson/algorithms/outsplitting.hxx, * include/vaucanson/algorithms/initial_derivation.hh, * include/vaucanson/algorithms/determinize.hh, * include/vaucanson/algorithms/berry_sethi.hh, * include/vaucanson/fmp_transducer.hh, * include/vaucanson/automata/implementation/generalized.hxx, * include/vaucanson/automata/implementation/automaton_view.hh, * include/vaucanson/automata/implementation/graph.hh, * 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/generalized.hh, * include/vaucanson/automata/implementation/graph.hxx, * include/vaucanson/automata/implementation/kind_adapter.hxx, * include/vaucanson/automata/implementation/transpose_view.hxx, * include/vaucanson/automata/concept/copy.hxx, * include/vaucanson/automata/concept/transducer.hxx, * include/vaucanson/automata/concept/automata.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/tags.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/tags.hxx, * include/vaucanson/automata/concept/handlers.hxx, * include/vaucanson/automata/concept/kinds.hh, * include/vaucanson/automata/concept/history.hxx, * include/vaucanson/automata/concept/copy.hh, * include/vaucanson/automata/concept/transducer.hh, * include/vaucanson/automata/concept/automata.hh, * include/vaucanson/automata/concept/transducer_base.hxx, * include/vaucanson/automata/concept/automata_base.hxx, * include/vaucanson/automata/concept/kinds.hxx, * include/vaucanson/automata/concept/automata_kind.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/xml_automaton_tester.cc, * src/tests/xml/xml_fmp_tester.cc, * src/tests/xml/xml_session_tester.cc, * src/tests/design_pattern/design_pattern-test.hh, * src/tests/design_pattern/intrinsics_binops.cc, * src/tests/design_pattern/intrinsics.hh, * src/tests/design_pattern/intrinsics_size.cc, * src/tests/design_pattern/intrinsics_link.cc, * src/tests/design_pattern/intrinsics_convert.cc, * src/tests/design_pattern/element-full-test.cc, * src/tests/design_pattern/intrinsics_ops.cc, * src/tests/design_pattern/intrinsics_extra.cc, * src/tests/design_pattern/intrinsics_orphanage.cc, * src/tests/design_pattern/intrinsics_default.cc, * src/tests/design_pattern/intrinsics_assign.cc, * src/tests/bin/generate-test-suite.sh, * src/tests/misc/koenig.cc, * src/tests/misc/assert_test.cc, * src/tests/misc/random.cc, * src/tests/misc/limits.cc, * src/tests/misc/selectors.cc, * src/tests/misc/char_traits.cc, * src/tests/misc/unique.cc, * src/tests/misc/static.cc, * src/tests/misc/window.cc, * src/tests/misc/bitset.cc, * src/tests/automata/implementation_check/add_state_test.hh, * src/tests/automata/implementation_check/rdelta_test.hh, * src/tests/automata/implementation_check/add_edge_test.hh, * src/tests/automata/implementation_check/init_final_test.hh, * src/tests/automata/implementation_check/coherence_state_edge_test.hh, * src/tests/automata/implementation_check/global_consistency_test.hh, * src/tests/automata/algos/series_multiplicity_transducers/realtime_trans_test.hh, * src/tests/automata/algos/series_multiplicity_transducers/extension_test.hh, * src/tests/automata/algos/fmp_transducers/normalized_composition_test.hh, * src/tests/automata/algos/fmp_transducers/sub_normalize_test.hh, * src/tests/automata/algos/fmp_transducers/evaluation_fmp_test.hh, * src/tests/automata/algos/label_aware_graphs/glushkov_test.hh, * src/tests/automata/algos/label_aware_graphs/sum_test.hh, * src/tests/automata/algos/label_aware_graphs/standard_of_regression_test.hh, * src/tests/automata/algos/label_aware_graphs/concat_test.hh, * src/tests/automata/algos/label_aware_graphs/closure_test.hh, * src/tests/automata/algos/label_aware_graphs/in_concat_test.hh, * src/tests/automata/algos/label_aware_graphs/transpose_test.hh, * src/tests/automata/algos/label_aware_graphs/cut_up_test.hh, * src/tests/automata/algos/freemonoid_labeled_graphs/realtime_test.hh, * src/tests/automata/algos/freemonoid_labeled_graphs/generalized_test.hh, * src/tests/automata/algos/freemonoid_labeled_graphs/krat_exp_realtime_conflict_test.hh, * src/tests/automata/algos/graphs/reachable_test.hh, * src/tests/automata/algos/graphs/extract_test.hh, * src/tests/automata/algos/graphs/trim_test.hh, * src/tests/automata/algos/graphs/accessible_test.hh, * src/tests/automata/algos/graphs/sub_automaton_test.hh, * src/tests/automata/algos/boolean_automata/aci_canonical_test.hh, * src/tests/automata/algos/boolean_automata/brzozowski_test.hh, * src/tests/automata/algos/boolean_automata/minimization_test.hh, * src/tests/automata/algos/boolean_automata/complete_test.hh, * src/tests/automata/algos/boolean_automata/berry_sethi_test.hh, * src/tests/automata/algos/labeled_graphs/are_isomorphic_test.hh, * src/tests/automata/algos/labeled_graphs/thompson_test.hh, * src/tests/automata/algos/labeled_graphs/elimination_heuristic_test.hh, * src/tests/automata/algos/labeled_graphs/elimination_test.hh, * src/tests/automata/algos/labeled_graphs/elimination_dmheuristic_test.hh, * src/tests/automata/algos/labeled_graphs/elimination_random_test.hh, * src/tests/automata/algos/labeled_graphs/normalize_test.hh, * src/tests/automata/algos/letter_combination_labeled_graphs/derived_terms_automaton_test.hh, * src/tests/automata/algos/letter_combination_labeled_graphs/determinist_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/tests/algebra/alphabets/alphabet_torture_test.hh, * src/tests/algebra/alphabets/alphabet_test.hh, * src/tests/algebra/free_monoid/free_monoid_test.hh, * src/tests/algebra/free_monoid/constructor_without_arguments_failcomp.hh, * src/tests/algebra/free_monoid/constructor_without_arguments2_failcomp.hh, * src/tests/algebra/free_monoid_product/free_monoid_product_test.hh, * src/tests/algebra/series/krat/boolean/krat_exp_cderivation_linear_test.hh, * src/tests/algebra/series/krat/tests/generate_random_krat.cc, * src/tests/algebra/series/krat/main/krat_exp_parse_test.hh, * src/tests/algebra/series/krat/main/krat_exp_flatten_test.hh, * src/tests/algebra/series/krat/main/krat_exp_expand_test.hh, * src/tests/algebra/series/krat/main/krat_exp_constant_term_test.hh, * src/tests/algebra/series/krat/main/krat_exp_linearize_structure_test.hh, * src/tests/algebra/series/krat/main/krat_exp_linearize_test.hh, * src/tests/algebra/series/krat/main/krat_exp_realtime_test.hh, * src/tests/algebra/series/krat/main/krat_exp_aci_canonical_test.hh, * src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_star_test.hh, * src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_common.hh, * src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_identity_test.hh, * src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_zero_test.hh, * src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_letter_test.hh, * src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_product_test.hh, * src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_sum_test.hh, * src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_sum_test.hh, * src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_star_test.hh, * src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_identity_test.hh, * src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_zero_test.hh, * src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_letter_test.hh, * src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_product_test.hh, * src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_letter_test.hh, * src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_zero_test.hh, * src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_product_test.hh, * src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_sum_test.hh, * src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_identity_test.hh, * src/tests/algebra/series/krat/derivations/cderivation/krat_exp_cderivation_star_test.hh, * src/tests/algebra/series/krat/derivations/derivations_common.hh, * src/tests/algebra/series/misc/series_test.hh, * src/tests/algebra/series/polynom/series_polynom_test.hh, * src/tests/algebra/numerical_semiring/numerical_semiring_test.hh, * src/tests/algebra/semiring/semiring_test.hh, * src/tests/check/tester.hh, * src/tests/check/unique.cc, * src/tests/check/tester.cc, * src/benchs/minimization_stroppa/minimization_bench_fsm.cc, * src/benchs/minimization_stroppa/usual.hxx, * src/benchs/minimization_stroppa/init.hh, * src/benchs/minimization_stroppa/fsm_minimize.hh, * src/benchs/minimization_stroppa/tools.hxx, * src/benchs/minimization_stroppa/init.hxx, * src/benchs/minimization_stroppa/minimization_bench_moore.cc, * src/benchs/minimization_stroppa/int_traits.hh, * src/benchs/minimization_stroppa/minimization_bench_hopcroft.cc, * src/benchs/minimization_stroppa/tools.hh, * src/benchs/minimization_stroppa/usual_ana_predefs.hh, * src/benchs/composition/realtime_composition_bench.hh, * src/benchs/composition/normalized_composition_bench.hh, * src/benchs/generate_benchs.sh, * src/benchs/determinization/determinization_bench.hh, * src/benchs/determinization/determinization_bench_fsm.cc, * src/benchs/minimization_2n/minimization_2n_moore_bench.hh, * src/benchs/minimization_2n/minimization_2n_brzozowski_bench.hh, * src/benchs/minimization_2n/minimization_2n_hopcroft_bench.hh, * src/benchs/common/algorithm.hh, * src/benchs/common/bench_automaton.hh, * src/benchs/common/bench_constructs.hh, * src/benchs/quotient/quotient_bool_bench.hh, * src/benchs/quotient/quotient_z_bench.hh, * src/benchs/minimization_debruijn/minimization_debruijn_moore_bench.hh, * src/benchs/minimization_debruijn/minimization_debruijn_brzozowski_bench.hh, * src/benchs/minimization_debruijn/minimization_debruijn_hopcroft_bench.hh, * src/benchs/derived_terms/derived_terms_bench.hh, * src/demos/vaucanswig/doc/README.txt, * src/demos/vaucanswig/meta/vauto.cc, * src/demos/vaucanswig/meta/context.hh, * src/demos/vaucanswig/meta/automaton.hh, * src/demos/vaucanswig/meta/vcontext.hh, * src/demos/vaucanswig/meta/vauto.hh, * src/demos/vaucanswig/meta/vcontext.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, * vauc/mpp++/src/transformer/ty_transformer.cc, * vauc/mpp++/src/transformer/fun_transformer.hh, * vauc/mpp++/src/transformer/funs.hh, * vauc/mpp++/src/transformer/ty_transformer.hh, * vauc/mpp++/src/transformer/fun_transformer.cc, * vauc/mpp++/src/fun_trans.cc, * vauc/mpp++/src/common.hh, * vauc/mpp++/src/ty_trans.cc, * vauc/mpp++/src/modules/make_fun_desc.hh, * vauc/mpp++/src/modules/make_class_desc.cc, * vauc/mpp++/src/modules/make_module_desc.cc, * vauc/mpp++/src/modules/make_fun_desc.cc, * vauc/mpp++/src/modules/make_tool.hh, * vauc/mpp++/src/modules/class_spec_template.hh, * vauc/mpp++/src/modules/libmodules.hh, * vauc/mpp++/src/modules/make_module_desc.hh, * vauc/mpp++/src/modules/make_class_desc.hh, * vauc/mpp++/src/modules/make_tool.cc, * vauc/mpp++/src/parse/module_spec.cc, * vauc/mpp++/src/parse/libparse.cc, * vauc/mpp++/src/parse/module_spec.h, * vauc/mpp++/src/parse/fun_spec.cc, * vauc/mpp++/src/parse/module_spec_scan.cc, * vauc/mpp++/src/parse/module_spec_parse.hh, * vauc/mpp++/src/parse/fun_spec.h, * vauc/mpp++/src/parse/fun_spec_scan.cc, * vauc/mpp++/src/parse/fun_spec_parse.hh, * vauc/mpp++/src/parse/location.cc, * vauc/mpp++/src/parse/libparse.hh, * vauc/mpp++/src/parse/class_spec.cc, * vauc/mpp++/src/parse/class_spec.h, * vauc/mpp++/src/parse/location.hh, * vauc/mpp++/src/parse/class_spec_scan.cc, * vauc/mpp++/src/parse/class_spec_parse.hh, * vauc/mpp++/src/spec/fun_spec.hh, * vauc/mpp++/src/spec/cpp_code.cc, * vauc/mpp++/src/spec/class_spec.cc, * vauc/mpp++/src/spec/module_spec.cc, * vauc/mpp++/src/spec/fun_spec.cc, * vauc/mpp++/src/spec/cpp_code.hh, * vauc/mpp++/src/spec/module_spec.hh, * vauc/mpp++/src/spec/class_spec.hh, * vauc/mpp++/src/internal/mangling.cc, * vauc/mpp++/src/internal/mangling.hh, * vauc/include/lazy/exp.hxx, * vauc/include/lazy/vauc_constructs.hh, * vauc/include/lazy/exp_base.hh, * vauc/include/lazy/eval_visitor.hh, * vauc/include/lazy/visitor_base.hh, * vauc/include/lazy/print_visitor.hh, * vauc/include/lazy/exp.hh, * vauc/include/lazy/vauc_constructs.hxx, * vauc/include/lazy/exp_base.hxx, * vauc/include/triplet.hh, * vauc/include/types/type.hh, * vauc/include/types/symbol.hh, * vauc/include/types/object.hh, * vauc/include/toplevel/wrappers.hh, * vauc/include/toplevel/parse.hh, * vauc/include/constants/one.hh, * vauc/include/constants/inf.hh, * vauc/include/constants/zero.hh, * vauc/include/vcore/partial_call.hh, * vauc/include/vcore/env.hh, * vauc/include/vcore/interrupt_handler.hh, * vauc/include/vcore/module_loader.hh, * vauc/include/vcore/closure.hh, * vauc/include/vcore/streams.hh, * vauc/include/vcore/exception.hh, * vauc/include/vcore/module_base.hh, * vauc/include/vcore/callable.hh, * vauc/include/vcore/object_catalog.hh, * vauc/include/readlinebuf.hh, * vauc/lib/getopt.c, * vauc/lib/readlinebuf.cc, * vauc/lib/getopt1.c, * vauc/lib/getopt.h, * vauc/lemon/lemon.c, * vauc/cppsh/kern/stdstreams_cin.hh, * vauc/cppsh/kern/objvect.cc, * vauc/cppsh/kern/stdstreams_cout.hh, * vauc/cppsh/kern/exception.cc, * vauc/cppsh/kern/stdstreams_cerr.cc, * vauc/cppsh/kern/symbol.cc, * vauc/cppsh/kern/object.cc, * vauc/cppsh/kern/exnprint.cc, * vauc/cppsh/kern/stdstreams_cerr.hh, * vauc/cppsh/kern/streams.cc, * vauc/cppsh/kern/stdstreams_cin.cc, * vauc/cppsh/kern/stdstreams_cout.cc, * vauc/cppsh/kern/fstreams.cc, * vauc/cppsh/kern/debug.cc, * vauc/cppsh/lang/lemon_parser.hh, * vauc/cppsh/lang/parse_base.cc, * vauc/cppsh/lang/lemon_parser.cc, * vauc/cppsh/tests/ltdlpp/s.hh, * vauc/cppsh/tests/ltdlpp/dlbug1.cc, * vauc/cppsh/tests/ltdlpp/dlbug2.cc, * vauc/cppsh/tests/ltdlpp/abug1.cc, * vauc/cppsh/tests/ltdlpp/dl.cc, * vauc/cppsh/tests/ltdlpp/dlbug3.cc, * vauc/cppsh/tests/ltdlpp/abug2.cc, * vauc/cppsh/tests/ltdlpp/bbug1.cc, * vauc/cppsh/tests/ltdlpp/dlbug12.cc, * vauc/cppsh/tests/ltdlpp/bbug2.cc, * vauc/cppsh/tests/ltdlpp/dlbug22.cc, * vauc/cppsh/tests/ltdlpp/dlbug32.cc, * vauc/cppsh/tests/kern/exception.cc, * vauc/cppsh/tests/kern/streams.cc, * vauc/cppsh/tests/kern/symbol.cc, * vauc/cppsh/tests/kern/object.cc, * vauc/cppsh/tests/kern/objref_a.cc, * vauc/cppsh/tests/kern/objref.cc, * vauc/cppsh/include/kern/ref.hxx, * vauc/cppsh/include/kern/objvect.hxx, * vauc/cppsh/include/kern/fstreams.hh, * vauc/cppsh/include/kern/symbol.hh, * vauc/cppsh/include/kern/debug.hh, * vauc/cppsh/include/kern/object.hh, * vauc/cppsh/include/kern/exnprint.hh, * vauc/cppsh/include/kern/stdstreams.hh, * vauc/cppsh/include/kern/objvect.hh, * vauc/cppsh/include/kern/ref.hh, * vauc/cppsh/include/kern/symbol.hxx, * vauc/cppsh/include/kern/streams.hh, * vauc/cppsh/include/kern/object.hxx, * vauc/cppsh/include/kern/exception.hh, * vauc/cppsh/include/lang/parse_base.hh, * vauc/cppsh/include/bits/module_defs.hh, * vauc/cppsh/include/bits/def_visitor.hh, * vauc/cppsh/include/FlexLexer.h, * vauc/vcore/find_path.cc, * vauc/vcore/callable.cc, * vauc/vcore/object_catalog.cc, * vauc/vcore/explode.cc, * vauc/vcore/unwind_init.hh, * vauc/vcore/functionimpl.cc, * vauc/vcore/find_cost.cc, * vauc/vcore/lazy_print_visitor.cc, * vauc/vcore/module_loader.cc, * vauc/vcore/closure.cc, * vauc/vcore/unwind_init.cc, * vauc/vcore/eval.cc, * vauc/vcore/partial_call.cc, * vauc/vcore/env.cc, * vauc/vcore/interrupt_handler.cc, * doc/makefiles/vcsn-Makefile, * doc/INSTALL.txt, * doc/README.txt: Change licence to GPL, remove AUTHORS from files. * COPYING: Change to GPL. * NOTICE: New. Full GPL notice. * AUTHORS: New. List of people in the Vaucanson Group. * Makefile.am: Add `CONTRIBUTORS' and `NOTICE' in distribution. * THANKS: Updated. * reheader.pl: Change header, remove auto 2005-copyright adding. * CONTRIBUTORS: New. List of contributors and what they have done.
67594887
This project is licensed under the GNU General Public License v2.0 or later.
Learn more