Projects December 2005

projects@lrde.epita.fr

7 participants
17 discussions

by Akim Demaille

Gloups... ~/src/vaucanson % \svn revert **/*.{hh,hxx} nostromo Err 1 svn: '_build/include/vaucanson/config/pconf.hh' is not a working copy ~/src/vaucanson % svn revert **/*.{hh,hxx} nostromo 17:23 svn: '_build/include/vaucanson/config/pconf.hh' is not a working copy vcs: error: command: svn revert -- _build/include/vaucanson/config/pconf.hh include/vaucanson/algebra/algebra.hh include/vaucanson/algebra/concept/alphabets_base.hh include/vaucanson/algebra/concept/freemonoid_base.hh include/vaucanson/algebra/concept/freemonoid_product_base.hh include/vaucanson/algebra/concept/freemonoid_product.hh include/vaucanson/algebra/concept/letter.hh include/vaucanson/algebra/concept/monoid_base.hh include/vaucanson/algebra/concept/numerical_semiring.hh include/vaucanson/algebra/concept/semigroup_base.hh include/vaucanson/algebra/concept/semiring_base.hh include/vaucanson/algebra/concept/series_base.hh include/vaucanson/algebra/concept/tropical_semiring.hh include/vaucanson/algebra/implementation/alphabets/alphabets.hh include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hh include/vaucanson/algebra/implementation/alphabets/predefs.hh include/vaucanson/algebra/implementation/alphabets/set_alphabet.hh include/vaucanson/algebra/implementation/free_monoid/predefs.hh include/vaucanson/algebra/implementation/free_monoid_product/freemonoid_product_pair_str.hh include/vaucanson/algebra/implementation/free_monoid/str_words.hh include/vaucanson/algebra/implementation/free_monoid/tools.hh include/vaucanson/algebra/implementation/free_monoid/words.hh include/vaucanson/algebra/implementation/letter/char_letter.hh include/vaucanson/algebra/implementation/letter/couple_letter.hh include/vaucanson/algebra/implementation/letter/int_letter.hh include/vaucanson/algebra/implementation/letter/range.hh include/vaucanson/algebra/implementation/predefs.hh include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh include/vaucanson/algebra/implementation/semiring/rational_number.hh include/vaucanson/algebra/implementation/semiring/tropical_semiring.hh include/vaucanson/algebra/implementation/series/generalized.hh include/vaucanson/algebra/implementation/series/krat_coefficient.hh include/vaucanson/algebra/implementation/series/krat_conversion.hh include/vaucanson/algebra/implementation/series/krat_exp_parser.hh include/vaucanson/algebra/implementation/series/krat_exp_pattern.hh include/vaucanson/algebra/implementation/series/krat.hh include/vaucanson/algebra/implementation/series/polynoms.hh include/vaucanson/algebra/implementation/series/rat/depth_visitor.hh include/vaucanson/algebra/implementation/series/rat/dispatch_visitor.hh include/vaucanson/algebra/implementation/series/rat/dump_visitor.hh include/vaucanson/algebra/implementation/series/rat/exp.hh include/vaucanson/algebra/implementation/series/rat/length_visitor.hh include/vaucanson/algebra/implementation/series/rat/nodes.hh include/vaucanson/algebra/implementation/series/rat/random_visitor.hh include/vaucanson/algebra/implementation/series/rat/reverse_visitor.hh include/vaucanson/algebra/implementation/series/rat/star_height_visitor.hh include/vaucanson/algebra/implementation/series/series.hh include/vaucanson/algebra/implementation/series/transpose.hh include/vaucanson/algorithms/accessible.hh include/vaucanson/algorithms/aci_canonical.hh include/vaucanson/algorithms/aut_to_exp.hh include/vaucanson/algorithms/backward_realtime.hh include/vaucanson/algorithms/berry_sethi.hh include/vaucanson/algorithms/brzozowski.hh include/vaucanson/algorithms/closure.hh include/vaucanson/algorithms/complement.hh include/vaucanson/algorithms/complete.hh include/vaucanson/algorithms/concatenate.hh include/vaucanson/algorithms/cut_up.hh include/vaucanson/algorithms/derived_term_automaton.hh include/vaucanson/algorithms/determinize.hh include/vaucanson/algorithms/eval.hh include/vaucanson/algorithms/evaluation_fmp.hh include/vaucanson/algorithms/evaluation.hh include/vaucanson/algorithms/extension.hh include/vaucanson/algorithms/finite_support_conversion.hh include/vaucanson/algorithms/fmp_to_realtime.hh include/vaucanson/algorithms/forward_realtime.hh include/vaucanson/algorithms/initial_derivation.hh include/vaucanson/algorithms/internal/build_pattern.hh include/vaucanson/algorithms/internal/partial_rat_exp_constant_term.hh include/vaucanson/algorithms/internal/partial_rat_exp_derivation.hh include/vaucanson/algorithms/internal/partial_rat_exp.hh include/vaucanson/algorithms/internal/skeleton.hh include/vaucanson/algorithms/is_letterized.hh include/vaucanson/algorithms/is_normalized.hh include/vaucanson/algorithms/isomorph.hh include/vaucanson/algorithms/is_realtime.hh include/vaucanson/algorithms/krat_exp_cderivation.hh include/vaucanson/algorithms/krat_exp_constant_term.hh include/vaucanson/algorithms/krat_exp_derivation.hh include/vaucanson/algorithms/krat_exp_expand.hh include/vaucanson/algorithms/krat_exp_flatten.hh include/vaucanson/algorithms/krat_exp_linearize.hh include/vaucanson/algorithms/krat_exp_partial_derivation.hh include/vaucanson/algorithms/krat_exp_realtime.hh include/vaucanson/algorithms/letter_to_letter_composition.hh include/vaucanson/algorithms/minimization_hopcroft.hh include/vaucanson/algorithms/minimization_moore.hh include/vaucanson/algorithms/normalized_composition.hh include/vaucanson/algorithms/normalized.hh include/vaucanson/algorithms/outsplitting.hh include/vaucanson/algorithms/product.hh include/vaucanson/algorithms/projection.hh include/vaucanson/algorithms/projections_fmp.hh include/vaucanson/algorithms/realtime_composition.hh include/vaucanson/algorithms/realtime_decl.hh include/vaucanson/algorithms/realtime.hh include/vaucanson/algorithms/realtime_to_fmp.hh include/vaucanson/algorithms/search.hh include/vaucanson/algorithms/standard.hh include/vaucanson/algorithms/standard_of.hh include/vaucanson/algorithms/sub_automaton.hh include/vaucanson/algorithms/sub_normalize.hh include/vaucanson/algorithms/sum.hh include/vaucanson/algorithms/thompson.hh include/vaucanson/algorithms/transpose.hh include/vaucanson/algorithms/trim.hh include/vaucanson/automata/concept/automata_base.hh include/vaucanson/automata/concept/automata.hh include/vaucanson/automata/concept/automata_kind.hh include/vaucanson/automata/concept/automata_ops.hh include/vaucanson/automata/concept/copy.hh include/vaucanson/automata/concept/delta_kind.hh include/vaucanson/automata/concept/handlers.hh include/vaucanson/automata/concept/history.hh include/vaucanson/automata/concept/kinds.hh include/vaucanson/automata/concept/tags.hh include/vaucanson/automata/concept/transducer_base.hh include/vaucanson/automata/concept/transducer.hh include/vaucanson/automata/concept/transducer_ops.hh include/vaucanson/automata/concept/translate.hh include/vaucanson/automata/implementation/automaton_view.hh include/vaucanson/automata/implementation/generalized.hh include/vaucanson/automata/implementation/geometry.hh include/vaucanson/automata/implementation/graph.hh include/vaucanson/automata/implementation/kind_adapter.hh include/vaucanson/automata/implementation/transpose_view.hh include/vaucanson/boolean_automaton.hh include/vaucanson/boolean_transducer.hh include/vaucanson/config/math.hh include/vaucanson/config/system.hh include/vaucanson/design_pattern/default_ops.hh include/vaucanson/design_pattern/design_pattern.hh include/vaucanson/design_pattern/element.hh include/vaucanson/design_pattern/element_ops.hh include/vaucanson/design_pattern/element_op_traits.hh include/vaucanson/design_pattern/factory.hh include/vaucanson/design_pattern/meta_element_root.hh include/vaucanson/design_pattern/predecls.hh include/vaucanson/design_pattern/slots.hh include/vaucanson/design_pattern/structure.hh include/vaucanson/design_pattern/syntactic_decorator.hh include/vaucanson/fmp_transducer.hh include/vaucanson/misc/bitset.hh include/vaucanson/misc/char_traits.hh include/vaucanson/misc/constraints.hh include/vaucanson/misc/contract.hh include/vaucanson/misc/deferrer.hh include/vaucanson/misc/escaper.hh include/vaucanson/misc/functors.hh include/vaucanson/misc/iomanip.hh include/vaucanson/misc/limits.hh include/vaucanson/misc/random.hh include/vaucanson/misc/selectors.hh include/vaucanson/misc/special_char_traits.hh include/vaucanson/misc/static.hh include/vaucanson/misc/support.hh include/vaucanson/misc/unique.hh include/vaucanson/misc/utility.hh include/vaucanson/misc/window.hh include/vaucanson/r_automaton.hh include/vaucanson/standard_algorithms.hh include/vaucanson/tools/automaton_tools.hh include/vaucanson/tools/bencher.hh include/vaucanson/tools/container_ops.hh include/vaucanson/tools/dot_display.hh include/vaucanson/tools/dot_dump.hh include/vaucanson/tools/dot_format.hh include/vaucanson/tools/fsm_dump.hh include/vaucanson/tools/gen_book.hh include/vaucanson/tools/gen_random.hh include/vaucanson/tools/io.hh include/vaucanson/tools/out_display.hh include/vaucanson/tools/simple_format.hh include/vaucanson/tools/usual_escaped_characters.hh include/vaucanson/tools/usual_io.hh include/vaucanson/tools/usual_macros.hh include/vaucanson/tools/xml_display.hh include/vaucanson/tools/xml_dump.hh include/vaucanson/tools/xml_load.hh include/vaucanson/vaucanson.hh include/vaucanson/xml/error_handler.hh include/vaucanson/xml/ios.hh include/vaucanson/xml/node.hh include/vaucanson/xml/session.hh include/vaucanson/xml/strings.hh include/vaucanson/xml/tools.hh include/vaucanson/xml/xerces_parser.hh include/vaucanson/xml/xml_chooser.hh include/vaucanson/xml/xml_converter.hh include/vaucanson/xml/XML.hh include/vaucanson/z_automaton.hh include/vaucanson/z_fmp_transducer.hh include/vaucanson/z_max_plus_automaton.hh include/vaucanson/z_min_plus_automaton.hh include/vaucanson/z_transducer.hh src/benchs/common/algorithm.hh src/benchs/common/bench_automaton.hh src/benchs/common/bench_constructs.hh src/benchs/composition/normalized_composition_bench.hh src/benchs/composition/realtime_composition_bench.hh src/benchs/derived_terms/derived_terms_bench.hh src/benchs/determinization/determinization_bench.hh src/benchs/minimization_2n/minimization_2n_brzozowski_bench.hh src/benchs/minimization_2n/minimization_2n_hopcroft_bench.hh src/benchs/minimization_2n/minimization_2n_moore_bench.hh src/benchs/minimization_debruijn/minimization_debruijn_brzozowski_bench.hh src/benchs/minimization_debruijn/minimization_debruijn_hopcroft_bench.hh src/benchs/minimization_debruijn/minimization_debruijn_moore_bench.hh src/benchs/minimization_stroppa/fsm_minimize.hh src/benchs/minimization_stroppa/init.hh src/benchs/minimization_stroppa/int_traits.hh src/benchs/minimization_stroppa/tools.hh src/benchs/minimization_stroppa/usual_ana_predefs.hh src/benchs/quotient/quotient_bool_bench.hh src/benchs/quotient/quotient_z_bench.hh src/demos/algorithms/equivalent_functions.hh src/demos/utilities/fsm/arg.hh src/demos/utilities/fsm/usual_automaton_t/arg.hh src/demos/utilities/fsm/usual_automaton_t/toolbox.hh src/demos/vaucanswig/meta/automaton.hh src/demos/vaucanswig/meta/context.hh src/demos/vaucanswig/meta/vauto.hh src/demos/vaucanswig/meta/vcontext.hh src/tests/algebra/alphabets/alphabet_test.hh src/tests/algebra/alphabets/alphabet_torture_test.hh src/tests/algebra/free_monoid/constructor_without_arguments2_failcomp.hh src/tests/algebra/free_monoid/constructor_without_arguments_failcomp.hh src/tests/algebra/free_monoid/free_monoid_test.hh src/tests/algebra/free_monoid_product/free_monoid_product_test.hh src/tests/algebra/numerical_semiring/numerical_semiring_test.hh src/tests/algebra/semiring/semiring_test.hh src/tests/algebra/series/krat/boolean/krat_exp_cderivation_linear_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_letter_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_star_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_zero_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_letter_test.hh src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_product_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_sum_test.hh src/tests/algebra/series/krat/derivations/derivation/krat_exp_derivation_zero_test.hh src/tests/algebra/series/krat/derivations/derivations_common.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_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_star_test.hh src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_sum_test.hh src/tests/algebra/series/krat/derivations/partial_derivation/krat_exp_partial_derivation_zero_test.hh src/tests/algebra/series/krat/main/krat_exp_aci_canonical_test.hh src/tests/algebra/series/krat/main/krat_exp_constant_term_test.hh src/tests/algebra/series/krat/main/krat_exp_expand_test.hh src/tests/algebra/series/krat/main/krat_exp_flatten_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_parse_test.hh src/tests/algebra/series/krat/main/krat_exp_realtime_test.hh src/tests/algebra/series/misc/series_test.hh src/tests/algebra/series/polynom/series_polynom_test.hh src/tests/automata/algos/boolean_automata/aci_canonical_test.hh src/tests/automata/algos/boolean_automata/berry_sethi_test.hh src/tests/automata/algos/boolean_automata/brzozowski_test.hh src/tests/automata/algos/boolean_automata/complete_test.hh src/tests/automata/algos/boolean_automata/minimization_test.hh src/tests/automata/algos/fmp_transducers/evaluation_fmp_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/freemonoid_labeled_graphs/generalized_test.hh src/tests/automata/algos/freemonoid_labeled_graphs/krat_exp_realtime_conflict_test.hh src/tests/automata/algos/freemonoid_labeled_graphs/realtime_test.hh src/tests/automata/algos/graphs/accessible_test.hh src/tests/automata/algos/graphs/extract_test.hh src/tests/automata/algos/graphs/reachable_test.hh src/tests/automata/algos/graphs/sub_automaton_test.hh src/tests/automata/algos/graphs/trim_test.hh src/tests/automata/algos/label_aware_graphs/closure_test.hh src/tests/automata/algos/label_aware_graphs/concat_test.hh src/tests/automata/algos/label_aware_graphs/cut_up_test.hh src/tests/automata/algos/label_aware_graphs/glushkov_test.hh src/tests/automata/algos/label_aware_graphs/in_concat_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/transpose_test.hh src/tests/automata/algos/labeled_graphs/are_isomorphic_test.hh src/tests/automata/algos/labeled_graphs/elimination_dmheuristic_test.hh src/tests/automata/algos/labeled_graphs/elimination_heuristic_test.hh src/tests/automata/algos/labeled_graphs/elimination_random_test.hh src/tests/automata/algos/labeled_graphs/elimination_test.hh src/tests/automata/algos/labeled_graphs/normalize_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/derived_term_automaton_test.hh src/tests/automata/algos/letter_combination_labeled_graphs/determinist_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/automata/algos/series_multiplicity_transducers/extension_test.hh src/tests/automata/algos/series_multiplicity_transducers/realtime_trans_test.hh src/tests/automata/implementation_check/add_edge_test.hh src/tests/automata/implementation_check/add_state_test.hh src/tests/automata/implementation_check/coherence_state_edge_test.hh src/tests/automata/implementation_check/global_consistency_test.hh src/tests/automata/implementation_check/init_final_test.hh src/tests/automata/implementation_check/rdelta_test.hh src/tests/check/tester.hh src/tests/context_headers/automata/global_consistency_test.hh src/tests/context_headers/fmp_transducers/global_consistency_test.hh src/tests/context_headers/transducers/global_consistency_test.hh src/tests/design_pattern/design_pattern-test.hh src/tests/design_pattern/intrinsics.hh vauc/cppsh/include/bits/def_visitor.hh vauc/cppsh/include/bits/module_defs.hh vauc/cppsh/include/kern/debug.hh vauc/cppsh/include/kern/exception.hh vauc/cppsh/include/kern/exnprint.hh vauc/cppsh/include/kern/fstreams.hh vauc/cppsh/include/kern/object.hh vauc/cppsh/include/kern/objvect.hh vauc/cppsh/include/kern/ref.hh vauc/cppsh/include/kern/stdstreams.hh vauc/cppsh/include/kern/streams.hh vauc/cppsh/include/kern/symbol.hh vauc/cppsh/include/lang/parse_base.hh vauc/cppsh/kern/stdstreams_cerr.hh vauc/cppsh/kern/stdstreams_cin.hh vauc/cppsh/kern/stdstreams_cout.hh vauc/cppsh/lang/lemon_parser.hh vauc/cppsh/tests/ltdlpp/s.hh vauc/include/constants/inf.hh vauc/include/constants/one.hh vauc/include/constants/zero.hh vauc/include/lazy/eval_visitor.hh vauc/include/lazy/exp_base.hh vauc/include/lazy/exp.hh vauc/include/lazy/print_visitor.hh vauc/include/lazy/vauc_constructs.hh vauc/include/lazy/visitor_base.hh vauc/include/readlinebuf.hh vauc/include/toplevel/parse.hh vauc/include/toplevel/wrappers.hh vauc/include/triplet.hh vauc/include/types/object.hh vauc/include/types/symbol.hh vauc/include/types/type.hh vauc/include/vcore/callable.hh vauc/include/vcore/closure.hh vauc/include/vcore/env.hh vauc/include/vcore/exception.hh vauc/include/vcore/interrupt_handler.hh vauc/include/vcore/module_base.hh vauc/include/vcore/module_loader.hh vauc/include/vcore/object_catalog.hh vauc/include/vcore/partial_call.hh vauc/include/vcore/streams.hh vauc/mpp++/src/common.hh vauc/mpp++/src/internal/mangling.hh vauc/mpp++/src/modules/class_spec_template.hh vauc/mpp++/src/modules/libmodules.hh vauc/mpp++/src/modules/make_class_desc.hh vauc/mpp++/src/modules/make_fun_desc.hh vauc/mpp++/src/modules/make_module_desc.hh vauc/mpp++/src/modules/make_tool.hh vauc/mpp++/src/parse/class_spec_parse.hh vauc/mpp++/src/parse/fun_spec_parse.hh vauc/mpp++/src/parse/libparse.hh vauc/mpp++/src/parse/location.hh vauc/mpp++/src/parse/module_spec_parse.hh vauc/mpp++/src/spec/class_spec.hh vauc/mpp++/src/spec/cpp_code.hh vauc/mpp++/src/spec/fun_spec.hh vauc/mpp++/src/spec/module_spec.hh vauc/mpp++/src/transformer/funs.hh vauc/mpp++/src/transformer/fun_transformer.hh vauc/mpp++/src/transformer/ty_transformer.hh vauc/vcore/unwind_init.hh include/vaucanson/algebra/concept/alphabets_base.hxx include/vaucanson/algebra/concept/freemonoid_base.hxx include/vaucanson/algebra/concept/freemonoid_product_base.hxx include/vaucanson/algebra/concept/freemonoid_product.hxx include/vaucanson/algebra/concept/monoid_base.hxx include/vaucanson/algebra/concept/numerical_semiring.hxx include/vaucanson/algebra/concept/semigroup_base.hxx include/vaucanson/algebra/concept/semiring_base.hxx include/vaucanson/algebra/concept/series_base.hxx include/vaucanson/algebra/concept/tropical_semiring.hxx include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hxx include/vaucanson/algebra/implementation/alphabets/set_alphabet.hxx include/vaucanson/algebra/implementation/free_monoid_product/freemonoid_product_pair_str.hxx include/vaucanson/algebra/implementation/free_monoid/str_words.hxx include/vaucanson/algebra/implementation/free_monoid/tools.hxx include/vaucanson/algebra/implementation/free_monoid/words.hxx include/vaucanson/algebra/implementation/letter/couple_letter.hxx include/vaucanson/algebra/implementation/letter/int_letter.hxx include/vaucanson/algebra/implementation/letter/range.hxx include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx include/vaucanson/algebra/implementation/semiring/rational_number.hxx include/vaucanson/algebra/implementation/semiring/tropical_semiring.hxx include/vaucanson/algebra/implementation/series/generalized.hxx include/vaucanson/algebra/implementation/series/krat_coefficient.hxx include/vaucanson/algebra/implementation/series/krat_conversion.hxx include/vaucanson/algebra/implementation/series/krat_exp_is_finite_app.hxx include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx include/vaucanson/algebra/implementation/series/krat_exp_pattern.hxx include/vaucanson/algebra/implementation/series/krat_exp_support.hxx include/vaucanson/algebra/implementation/series/krat_exp_transpose.hxx include/vaucanson/algebra/implementation/series/krat.hxx include/vaucanson/algebra/implementation/series/polynoms.hxx include/vaucanson/algebra/implementation/series/rat/depth_visitor.hxx include/vaucanson/algebra/implementation/series/rat/dispatch_visitor.hxx include/vaucanson/algebra/implementation/series/rat/dump_visitor.hxx include/vaucanson/algebra/implementation/series/rat/exp.hxx include/vaucanson/algebra/implementation/series/rat/length_visitor.hxx include/vaucanson/algebra/implementation/series/rat/nodes.hxx include/vaucanson/algebra/implementation/series/rat/random_visitor.hxx include/vaucanson/algebra/implementation/series/rat/reverse_visitor.hxx include/vaucanson/algebra/implementation/series/rat/star_height_visitor.hxx include/vaucanson/algebra/implementation/series/series.hxx include/vaucanson/algebra/implementation/series/transpose.hxx include/vaucanson/algorithms/accessible.hxx include/vaucanson/algorithms/aci_canonical.hxx include/vaucanson/algorithms/aut_to_exp.hxx include/vaucanson/algorithms/backward_realtime.hxx include/vaucanson/algorithms/berry_sethi.hxx include/vaucanson/algorithms/brzozowski.hxx include/vaucanson/algorithms/closure.hxx include/vaucanson/algorithms/complement.hxx include/vaucanson/algorithms/complete.hxx include/vaucanson/algorithms/concatenate.hxx include/vaucanson/algorithms/cut_up.hxx include/vaucanson/algorithms/derived_term_automaton.hxx include/vaucanson/algorithms/determinize.hxx include/vaucanson/algorithms/eval.hxx include/vaucanson/algorithms/evaluation_fmp.hxx include/vaucanson/algorithms/evaluation.hxx include/vaucanson/algorithms/extension.hxx include/vaucanson/algorithms/finite_support_conversion.hxx include/vaucanson/algorithms/fmp_to_realtime.hxx include/vaucanson/algorithms/forward_realtime.hxx include/vaucanson/algorithms/initial_derivation.hxx include/vaucanson/algorithms/internal/build_pattern.hxx include/vaucanson/algorithms/internal/partial_rat_exp_constant_term.hxx include/vaucanson/algorithms/internal/partial_rat_exp_derivation.hxx include/vaucanson/algorithms/internal/partial_rat_exp.hxx include/vaucanson/algorithms/internal/skeleton.hxx include/vaucanson/algorithms/is_letterized.hxx include/vaucanson/algorithms/is_normalized.hxx include/vaucanson/algorithms/isomorph.hxx include/vaucanson/algorithms/is_realtime.hxx include/vaucanson/algorithms/krat_exp_cderivation.hxx include/vaucanson/algorithms/krat_exp_constant_term.hxx include/vaucanson/algorithms/krat_exp_derivation.hxx include/vaucanson/algorithms/krat_exp_expand.hxx include/vaucanson/algorithms/krat_exp_flatten.hxx include/vaucanson/algorithms/krat_exp_linearize.hxx include/vaucanson/algorithms/krat_exp_partial_derivation.hxx include/vaucanson/algorithms/krat_exp_realtime.hxx include/vaucanson/algorithms/letter_to_letter_composition.hxx include/vaucanson/algorithms/minimization_hopcroft.hxx include/vaucanson/algorithms/minimization_moore.hxx include/vaucanson/algorithms/normalized_composition.hxx include/vaucanson/algorithms/normalized.hxx include/vaucanson/algorithms/outsplitting.hxx include/vaucanson/algorithms/product.hxx include/vaucanson/algorithms/projection.hxx include/vaucanson/algorithms/projections_fmp.hxx include/vaucanson/algorithms/realtime_composition.hxx include/vaucanson/algorithms/realtime_decl.hxx include/vaucanson/algorithms/realtime.hxx include/vaucanson/algorithms/realtime_to_fmp.hxx include/vaucanson/algorithms/search.hxx include/vaucanson/algorithms/standard.hxx include/vaucanson/algorithms/standard_of.hxx include/vaucanson/algorithms/sub_automaton.hxx include/vaucanson/algorithms/sub_normalize.hxx include/vaucanson/algorithms/sum.hxx include/vaucanson/algorithms/thompson.hxx include/vaucanson/algorithms/transpose.hxx include/vaucanson/algorithms/trim.hxx include/vaucanson/automata/concept/automata_base.hxx include/vaucanson/automata/concept/automata.hxx include/vaucanson/automata/concept/automata_ops.hxx include/vaucanson/automata/concept/copy.hxx include/vaucanson/automata/concept/handlers.hxx include/vaucanson/automata/concept/history.hxx include/vaucanson/automata/concept/kinds.hxx include/vaucanson/automata/concept/tags.hxx include/vaucanson/automata/concept/transducer_base.hxx include/vaucanson/automata/concept/transducer.hxx include/vaucanson/automata/concept/transducer_ops.hxx include/vaucanson/automata/concept/translate.hxx include/vaucanson/automata/implementation/automaton_view.hxx include/vaucanson/automata/implementation/generalized.hxx include/vaucanson/automata/implementation/geometry.hxx include/vaucanson/automata/implementation/graph.hxx include/vaucanson/automata/implementation/kind_adapter.hxx include/vaucanson/automata/implementation/transpose_view.hxx include/vaucanson/design_pattern/default_ops.hxx include/vaucanson/design_pattern/element.hxx include/vaucanson/design_pattern/element_ops.hxx include/vaucanson/design_pattern/meta_element_root.hxx include/vaucanson/design_pattern/slots.hxx include/vaucanson/design_pattern/structure.hxx include/vaucanson/design_pattern/syntactic_decorator.hxx include/vaucanson/misc/bitset.hxx include/vaucanson/misc/char_traits.hxx include/vaucanson/misc/deferrer.hxx include/vaucanson/misc/escaper.hxx include/vaucanson/misc/functors.hxx include/vaucanson/misc/iomanip.hxx include/vaucanson/misc/random.hxx include/vaucanson/misc/support.hxx include/vaucanson/misc/unique.hxx include/vaucanson/misc/window.hxx include/vaucanson/tools/bencher.hxx include/vaucanson/tools/container_ops.hxx include/vaucanson/tools/dot_display.hxx include/vaucanson/tools/dot_dump.hxx include/vaucanson/tools/dot_format.hxx include/vaucanson/tools/fsm_dump.hxx include/vaucanson/tools/gen_book.hxx include/vaucanson/tools/gen_random.hxx include/vaucanson/tools/io.hxx include/vaucanson/tools/out_display.hxx include/vaucanson/tools/simple_format.hxx include/vaucanson/tools/usual_escaped_characters.hxx include/vaucanson/tools/usual_io.hxx include/vaucanson/tools/xml_display.hxx include/vaucanson/tools/xml_dump.hxx include/vaucanson/tools/xml_load.hxx include/vaucanson/xml/error_handler.hxx include/vaucanson/xml/ios.hxx include/vaucanson/xml/node.hxx include/vaucanson/xml/session.hxx include/vaucanson/xml/strings.hxx include/vaucanson/xml/tools.hxx include/vaucanson/xml/xerces_parser.hxx include/vaucanson/xml/xml_chooser.hxx include/vaucanson/xml/xml_converter.hxx include/vaucanson/xml/XML.hxx src/benchs/minimization_stroppa/init.hxx src/benchs/minimization_stroppa/tools.hxx src/benchs/minimization_stroppa/usual.hxx vauc/cppsh/include/kern/object.hxx vauc/cppsh/include/kern/objvect.hxx vauc/cppsh/include/kern/ref.hxx vauc/cppsh/include/kern/symbol.hxx vauc/include/lazy/exp_base.hxx vauc/include/lazy/exp.hxx vauc/include/lazy/vauc_constructs.hxx vcs: error: exit: 1

18 years, 4 months

[genericity-support-comparison] 41: Add OO and module-based OCaml versions

by Roland Levillain

https://svn.lrde.epita.fr/svn/genericity-support-comparison/trunk 2.0/src/oo/ocaml/oo_ocaml.ml | 126 +++++++++++++++++++++++++++++++++++ 2.0/src/st/ocaml/st_ocaml.ml | 151 +++++++++++++++++++++++++++++++++++++++++++ ChangeLog | 8 ++ 3 files changed, 285 insertions(+) Index: ChangeLog from Roland Levillain <roland(a)lrde.epita.fr> Add object-oriented and static (module-based) Objective Caml versions. * 2.0/src/oo/ocaml/oo_ocaml.ml, 2.0/src/st/ocaml/st_ocaml.ml: New files. Index: 2.0/src/st/ocaml/st_ocaml.ml --- 2.0/src/st/ocaml/st_ocaml.ml (révision 0) +++ 2.0/src/st/ocaml/st_ocaml.ml (révision 0) @@ -0,0 +1,151 @@ +(* Compile with : + + ocamlc -o oo_ocaml unix.cma st_ocaml.ml + + or : + + ocamlopt -o oo_ocaml.opt unix.cmxa st_ocaml.ml + +*) + + +(* value *) + +module type VALUE = +sig + type t + val zero : t +end;; + +module Integer = +struct + type t = int + let zero = 0 +end;; + + +(* point *) + +module type POINT = +sig + type t + type contents + val create : contents -> t + val create_default : unit -> t +end;; + +module Point1d = +struct + type contents = int + type t = { index : contents } + let create i = { index = i } + let create_default () = { index = -1 } +end;; + + +(* piter *) + +module type PITER = +sig + type t + module Point : POINT + val create : int -> t + val start : t -> t + val next : t -> t + val is_valid : t -> bool + val point : t -> Point.t +end;; + +module Piter1d = +struct + module Point = Point1d + type t = { p : Point1d.t ; n : int } + let create n = { p = Point1d.create_default (); n = n } + let start i = { i with p = Point1d.create 0 } + let next i = { i with p = Point1d.create (i.p.Point1d.index + 1) } + let is_valid i = i.p.Point1d.index < i.n + let point i = i.p +end;; + + +(* image *) + +module type IMAGE = +sig + module Value : VALUE + module Point : POINT + module Piter : PITER with module Point = Point + type t + type size + val create : size -> Value.t -> t + val get : t -> Point.t -> Value.t + val set : t -> Point.t -> Value.t -> unit + val new_piter : t -> Piter.t +end;; + +module Image1d (Value : VALUE) = +struct + module Value = Value + module Point = Point1d + module Piter = Piter1d + type t = { data : Value.t array ; n : int } + type size = int + let create size value = { data = Array.create size value ; n = size } + let get ima p = ima.data.(p.Point1d.index) + let set ima p v = ima.data.(p.Point1d.index) <- v + let new_piter ima = Piter1d.create ima.n +end +;; + +module Image1dInt = Image1d (Integer);; + + +(* assign *) + +module Assign (Image : IMAGE) = +struct + let go (ima : Image.t) (v : Image.Value.t) = + let rec iter_ p = + if (Image.Piter.is_valid p) then + begin + Image.set ima (Image.Piter.point p) v; + iter_ (Image.Piter.next p) + end + in + iter_ (Image.Piter.start (Image.new_piter ima)) +end;; + +module Assign1d = Assign (Image1dInt);; + + +(* main *) + +let usage () = + prerr_string ("usage: " ^ Sys.argv.(0) ^ " [nsteps = 1]"); + prerr_newline () + +let _ = + if Array.length Sys.argv > 2 then + begin + usage (); + exit 1; + end; + + let size = 1024 * 1024 in + let nsteps = + if Array.length Sys.argv == 2 then + int_of_string Sys.argv.(1) + else + 1 + in + + let ima = Image1dInt.create size 0 in + let value = 51 in + + let t0 = Unix.gettimeofday () in + for step = 0 to nsteps do + Assign1d.go ima value + done; + print_float (Unix.gettimeofday () -. t0); + print_newline () +;; Index: 2.0/src/oo/ocaml/oo_ocaml.ml --- 2.0/src/oo/ocaml/oo_ocaml.ml (révision 0) +++ 2.0/src/oo/ocaml/oo_ocaml.ml (révision 0) @@ -0,0 +1,126 @@ +(* Compile with : + + ocamlc -o oo_ocaml unix.cma oo_ocaml.ml + + or : + + ocamlopt -o oo_ocaml.opt unix.cmxa oo_ocaml.ml + +*) + + +(* value <|-- integer *) + +class virtual value = +object + method virtual assign : value -> value +end;; + +class integer (value : int) = +object (self) + inherit value + val mutable value_ = value + method assign (value : value) = + value_ <- (Obj.magic value); + (self :> value) +end;; + + +(* point <|-- point1d *) + +class virtual point = +object +end;; + +class point1d (i : int) = +object + inherit point + val mutable index_ = i + method index () = index_ + method set_index i = index_ <- i +end;; + + +(* piter <|-- piter1d *) + +class virtual piter = +object + method virtual start : unit -> unit + method virtual next : unit -> unit + method virtual is_valid : unit -> bool + method virtual point : unit -> point +end;; + +class piter1d (n : int) = +object + inherit piter + val mutable n_ = n + val mutable p_ = new point1d 0 + method start () = p_#set_index 0 + method next () = p_#set_index (p_#index () + 1) + method is_valid () = (p_#index ()) < n_ + method point () = (p_ :> point) +end;; + + +(* image <|-- image1d *) + +class virtual image = +object + method virtual get : point -> value + method virtual new_piter : unit -> piter +end;; + +class ['a] image1d (n : int) (v : 'a) = +object + inherit image + val n_ = n + val data_ = Array.make n v + method get (p : point) = data_.((Obj.magic p)#index ()) + method new_piter () = (new piter1d n_ :> piter) +end;; + + +(* assign *) + +let assign (ima : image) (value : value) = + let p = ima#new_piter() in + p#start (); + while p#is_valid () do + ignore ((ima#get (p#point ()))#assign (value)); + p#next () + done +;; + + +(* main *) + +let usage () = + prerr_string ("usage: " ^ Sys.argv.(0) ^ " [nsteps = 1]"); + prerr_newline () + +let _ = + if Array.length Sys.argv > 2 then + begin + usage (); + exit 1; + end; + + let size = 1024 * 1024 in + let nsteps = + if Array.length Sys.argv == 2 then + int_of_string Sys.argv.(1) + else + 1 + in + + let ima = new image1d size (new integer 0) in + let value = new integer 51 in + + let t0 = Unix.gettimeofday () in + for step = 0 to nsteps do + assign ima value + done; + print_float (Unix.gettimeofday () -. t0); + print_newline () +;;

18 years, 4 months

vcs-ci et champs supplémentaire de message

by Akim Demaille

Le title est une bonne chose, mais après tout pq s'arrêter là ? Je propose d'avoir des X-Vcn-Url: https://svn.lrde.epita.fr/svn/lrde-publis X-Vcn-Revision: 1102 en plus du Subject. Ça facilite les filtres procmail/Gnus etc.

18 years, 4 months

vcs-svn ci: update...

by Akim Demaille

1. update est douteux, je l'ai déjà dit. 2. update devrait respecter la ligne de commande : ~/lectures/publis % svn ci demaille.05.rivf demaille.06.rivf ChangeLog vcs: info: Updating your working copy... Fetching external item into 'demaille.05.rivf/share' External at revision 1084. Fetching external item into 'demaille.06.csr/share' External at revision 1083. Fetching external item into 'anisko.05.ldta/share' External at revision 1032. Fetching external item into 'borghi.05.acm-crossroads/share' External at revision 1028. Tous ces gens-là n'ont rien à voir.

18 years, 4 months

Re: [Projects] vcs-svn ci: update...

by Akim Demaille

Et encore un cas où vcs dépassant mes demandes me gêne : ~/lectures/publis % svn ci demaille.06.lr peyronnet.06.lr vcs: info: Updating your working copy... Fetching external item into 'demaille.06.rivf/share' External at revision 1084. Fetching external item into 'demaille.06.csr/share' External at revision 1083. Fetching external item into 'anisko.05.ldta/share' svn: Working copy 'anisko.05.ldta/share' locked svn: run 'svn cleanup' to remove locks (type 'svn help cleanup' for details) Mais si je me passe de ses services, tout va bien. ~/lectures/publis % \svn ci demaille.06.lr peyronnet.06.lr ChangeLog Sending ChangeLog Deleting demaille.06.lr Adding peyronnet.06.lr Transmitting file data . Committed revision 1096.

18 years, 4 months

[genericity-support-comparison] 40: Update.

by Thierry GERAUD

2005-12-05 Thierry GERAUD <theo(a)tegucigalpa.lrde.epita.fr> * 2.0/txt/bench.theo: New file. * 2.0/src/oo/java/Main.java: Update. * 2.0/README: Update. 2005-12-05 Thierry GERAUD <theo(a)tegucigalpa.lrde.epita.fr> * 2.0/: New directory. * 2.0/src/: New directory. * 2.0/src/st/: New directory. * 2.0/src/st/scool/: New directory. * 2.0/src/st/scool/st_scool.cc: New file. * 2.0/src/st/scool/st_lang.cc: New file. * 2.0/src/st/java/: New directory. * 2.0/src/st/c++/: New directory. * 2.0/src/st/c++/st_cpp_scoop_1.cc: New file. * 2.0/src/st/c++/st_cpp_stl.cc: New file. * 2.0/src/st/eiffel/: New directory. * 2.0/src/dd/: New directory. * 2.0/src/dd/java/: New directory. * 2.0/src/dd/java/Main.java: New file. * 2.0/src/dd/c/: New directory. * 2.0/src/dd/c/dd_c.c: New file. * 2.0/src/dd/eiffel/: New directory. * 2.0/src/dd/eiffel/image1d_int.e: New file. * 2.0/src/dd/eiffel/main.e: New file. * 2.0/src/oo/: New directory. * 2.0/src/oo/java/: New directory. * 2.0/src/oo/java/Main.java: New file. * 2.0/src/oo/c++/: New directory. * 2.0/src/oo/c++/oo_cpp.cc: New file. * 2.0/src/oo/eiffel/: New directory. * 2.0/src/oo/eiffel/value.e: New file. * 2.0/src/oo/eiffel/point1d.e: New file. * 2.0/src/oo/eiffel/image.e: New file. * 2.0/src/oo/eiffel/piter.e: New file. * 2.0/src/oo/eiffel/main.e: New file. * 2.0/src/oo/eiffel/image1d.e: New file. * 2.0/src/oo/eiffel/piter1d.e: New file. * 2.0/src/oo/eiffel/point.e: New file. * 2.0/src/oo/eiffel/int.e: New file. * 2.0/bin/: New directory. * 2.0/bin/dd_java: New file. * 2.0/bin/oo_java: New file. * 2.0/README: New file. 2005-12-05 Thierry GERAUD <theo(a)tegucigalpa.lrde.epita.fr> Prepare a new version of genericity study. * 1.0/: New directory. * patterns/: Move to 1.0/. * src/: Likewise. * texts/: Likewise.

18 years, 4 months

vcs-svn ci: No title found. Reopen `,form' and add it

by Akim Demaille

En effet : lectures/publis/david.06.ldta % head ,form nostromo Err 1 Title: "" Subject: "<%= rev %>: <%= title %>" From: "Akim Demaille <akim(a)lrde.epita.fr>" To: [transformers-private(a)lrde.epita.fr] ChangeLog: * article.tex (natbib): Use it. (fixme): Include it before hyperref. Various fixes. (Future Work): New. --text follow this line-- mais quand je lance svn ci, il pourrait me le réouvrir lui-même.

18 years, 4 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Projects December 2005