-
Jerome Galtier authored
* doc/HACKING.txt: Add guidelines. * doc/README.txt: Update requirements. === Sanitize VCSN_GRAPH_IMPL uses === As suggested by the documentation, the VCSN_GRAPH_IMPL macro has been removed from sensitive locations. As a side effect, it fixes vaucanson compilation with ICC. The two blockers were the generalized traits, and the need by some rational expression functions to construct an automaton type from scratch (hence the new standard_of_traits). * include/Makefile.am: Remove files from the distribution. * lib/generate_libvcsn.rb: Update filters, and remove GenAutomaton restrictions. * include/generate_headers.sh: New facility to declare common traits. * include/vaucanson/algebra/implementation/series/krat.hxx: Improve code indentation and use the new standard_of_traits. * include/vaucanson/automata/concept/automata_base.hh: Add two new traits makers. * include/vaucanson/automata/concept/automata_base.hxx: Move generalized() here. * src/tests/test-suites/algebra_series_krat_bool_string.defs, * src/tests/test-suites/algebra_series_krat_double_string.defs, * src/tests/test-suites/algebra_series_krat_int_string.defs: Add code to include standard_of_traits, as ratexp do not have context headers. * include/vaucanson/automata/implementation/bmig_graph_impl.hh, * include/vaucanson/automata/implementation/listg_graph_impl.hh: Use updated generalized traits. Remove obsolete headers. * include/vaucanson/automata/implementation/generalized.hh: Remove. * include/vaucanson/automata/implementation/generalized.hxx: Remove. * vaucanswig/meta/vaucanswig_algo_common.i, * vaucanswig/meta/vaucanswig_automaton.i, * vaucanswig/meta/vaucanswig_context.i, * src/tests/include/tests/automata/algos/freemonoid_labeled_graphs/generalized_test.hh, * src/tests/include/tests/automata/algos/label_aware_graphs/concat_test.hh, * src/tests/include/tests/automata/algos/label_aware_graphs/cut_up_test.hh, * src/tests/include/tests/automata/algos/label_aware_graphs/in_concat_test.hh, * src/tests/include/tests/automata/algos/label_aware_graphs/sum_test.hh, * src/tests/include/tests/automata/algos/labeled_graphs/elimination_dmheuristic_test.hh, * src/tests/include/tests/automata/algos/labeled_graphs/elimination_heuristic_test.hh, * src/tests/include/tests/automata/algos/labeled_graphs/elimination_random_test.hh, * src/tests/include/tests/automata/algos/labeled_graphs/elimination_test.hh, * src/tests/include/tests/automata/algos/letter_combination_labeled_graphs/product_test.hh, * include/vaucanson/contexts/automaton.thh, * include/vaucanson/contexts/automaton_functions.thh, * include/vaucanson/contexts/automaton_maker.thxx: Here. === Update INTERFACE for some algorithms === Remove known not to be implemented interfaces. * include/vaucanson/algorithms/accessible.hh, * include/vaucanson/algorithms/complete.hh, * include/vaucanson/algorithms/concatenate.hh, * include/vaucanson/algorithms/cut_up.hh, * include/vaucanson/algorithms/eps_removal.hh, * include/vaucanson/algorithms/eps_removal_sp.hh, * include/vaucanson/algorithms/eval.hh, * include/vaucanson/algorithms/has_succ_comp.hh, * include/vaucanson/algorithms/is_empty.hh, * include/vaucanson/algorithms/isomorph.hh, * include/vaucanson/algorithms/product.hh, * include/vaucanson/algorithms/sub_automaton.hh, * include/vaucanson/algorithms/sum.hh, * include/vaucanson/algorithms/transpose.hh, * include/vaucanson/algorithms/trim.hh: Here. * include/vaucanson/algorithms/aut_to_exp.hh, * include/vaucanson/algorithms/internal/has_neighbour.hh, * include/vaucanson/algorithms/krat_exp_expand.hh, * include/vaucanson/algorithms/normalized.hh, * include/vaucanson/algorithms/realtime.hh, * include/vaucanson/algorithms/realtime_decl.hh, * include/vaucanson/algorithms/thompson.hh: Update interface and remove comment on VCSN_USE_LIB. === Miscellaneous === * include/vaucanson/algorithms/aut_to_exp.hxx: Improve code indentation. * include/vaucanson/algorithms/krat_exp_expand.hxx: Move do_expand and expand to the vcsn namespace.
59a2eecd