00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003
00004 :- mode call_user(?).
00005 :- mode read_counter(++,?).
00006 :- mode get_imported_predicates(?,?).
00007 :- mode prop_if(++,++).
00008 :- mode prop_if(++,++,++).
00009 :- mode check_times(++).
00010 :- mode get_defined_predicates(?,?).
00011 :- mode andify(?,?,?).
00012 :- mode init_counter(++).
00013 :- mode list_abstract_pgm(++).
00014 :- mode weaker_mode1(?,++).
00015 :- mode conv_modes(?,?).
00016 :- mode flatten(?,?,?,?).
00017 :- mode prop_if_list(++,++).
00018 :- mode init_for_analysis.
00019 :- mode add_mode_to_symtab(++,?).
00020 :- mode declare_all_dynamic_preds.
00021 :- mode get_ext(++,?).
00022 :- mode pred2mods(++,?).
00023 :- mode gen_varlist(?,?).
00024 :- mode gen_varlist(?,?,?).
00025 :- mode get_call_pattern(?).
00026 :- mode default_clause(?).
00027 :- mode make_if(?,?,?).
00028 :- mode get_exported_predicates(?,?).
00029 :- mode gen_imported_defns(?).
00030 :- mode gen_default_clauses(?).
00031 :- mode mode_subsumes_chk(?,?).
00032 :- mode iffify(?,?,?).
00033 :- mode dump_local_modes(++).
00034 :- mode default_import(++,++).
00035 :- mode varocc2var(?,?,?).
00036 :- mode canonize(?,?,?).
00037 :- mode load_imported_preds(?).
00038 :- mode int2ext(?,?).
00039 :- mode analyze_fail_loop.
00040 :- mode define_std_preds.
00041 :- mode prop_iff(++,++,++).
00042 :- mode cleanup_aggregs_stuff.
00043 :- mode nearest_2n(?,++,?).
00044 :- mode prepare_usermod_for_aggregs.
00045 :- mode ground_list(++,?).
00046 :- mode ground_list(++).
00047 :- mode load_abstract_pgm.
00048 :- mode weaker_symbol(?,++).
00049 :- mode get_undefined_predicates(?,?).
00050 :- mode get_init_calls(?).
00051 :- mode earlier(++,++).
00052 :- mode define_all.
00053 :- mode get_prev_modes(++,?).
00054 :- mode assert_all.
00055 :- mode translate_varocc(?,?,?).
00056 :- mode write_pred_modes(++,++).
00057 :- mode convert_ifs(?,?).
00058 :- mode preproc_clauses(?,?,?).
00059 :- mode analyze.
00060 :- mode analyze(?).
00061 :- mode get_time(++,++,?).
00062 :- mode more_general(?,?).
00063 :- mode remove_asserted_stuff.
00064 :- mode preproc_preds(?).
00065 :- mode get_all_returns(++).
00066 :- mode imported_clauses(?).
00067 :- mode get_number_of_flat_rules(?).
00068 :- mode dump_exported_modes.
00069 :- mode get_declared_modes(++).
00070 :- mode mode2call(++,?).
00071 :- mode remove_tabled_stuff.
00072 :- mode blab(?).
00073 :- mode get_global_predicates(?,?).
00074 :- mode canonize_inline_special_goal(?,?,?,?,?).
00075 :- mode do_assert(++,++).
00076 :- mode force_modeinf_loaded.
00077 :- mode gen_neck(?,?,?,?).
00078 :- mode get_std_pred_defs.
00079 :- mode increment_counter(++,?).
00080 :- mode write_all_modes(++,++).
00081 :- mode dump_asserted_code.
00082 :- mode nearest_2n_minus_1(?,?).
00083 :- mode gen_abstract_pgm(?,?).
00084 :- mode weaker_than_declared(++,?).
00085 :- mode set_modes_for_failed_preds.
00086 :- mode gen_varlist1(?,?,?).
00087 :- mode canonize_inline_goal(?,?,?,?,?).
00088 :- mode ext2int(?,?).
00089 :- mode endblab.
00090 :- mode debug_dump_modes.
00091 :- mode cleanup_after_analysis.
00092 :- mode make_iff(?,?,?).
00093 :- mode add_varocc(?,?,?).
00094 :- mode '_$done_before'(++,?).
00095 :- mode conv_mode(?,?).
00096 :- mode more_general_sym(?,?).
00097 :- mode debug(?).
00098 :- mode equate(?,?,?).
00099 :- mode decl_imported(?,?).
00100 :- mode dump_pred_modes(++,++,++).
00101 :- mode filter_symlist(++,?,++,?).
00102 :- mode wrap(?,?,?).
00103 :- mode count_answers(?,?).
00104 :- mode modeanalyze(++,?,++).
00105 :- mode weaker_mode(?,++).
00106 :- mode print_stats.
00107 :- mode is_in_library(++,++).
00108 :- mode construct_ground_call(++,++,?).
00109 :- mode declare_all.
00110 :- mode expand_incl_file_name(++,?).
00111 :- mode flatten_arg(?,?,?,?).
00112
00113 :- '_$mode_pattern'(modeanalyze(g,_1288756,g)).
00114 :- '_$mode_pattern'(force_modeinf_loaded).
00115 :- '_$mode_pattern'(mode_subsumes_chk(g,g)).
00116 :- '_$mode_pattern'(mode_subsumes_chk(g,ng)).
00117 :- '_$mode_pattern'(mode_subsumes_chk(ng,ng)).
00118 :- '_$mode_pattern'(mode_subsumes_chk(ng,g)).
