modes.D

00001 :- mode srcfilename_ext(?).
00002 :- mode list_asserted_code(++).
00003 :- mode debug(++).
00004 :- mode analyze(++).
00005 :- mode analyze.
00006 :- mode mode_analyze(++,++).
00007 :- mode is_in_library(++,?).
00008 :- mode write_all_modes(++).
00009 :- mode load_into_usermod.
00010 :- mode and_lits(?,?,?).
00011 :- mode cvt_to_regular_list(?,?).
00012 :- mode nearest_2n(?,++,?).
00013 :- mode term2decl(?).
00014 :- mode listofvars(?,?,?).
00015 :- mode count_answers(++,++).
00016 :- mode print_stats.
00017 :- mode dump_asserted_code.
00018 :- mode call_user(++).
00019 :- mode ext2int(++,++).
00020 :- mode no_need_to_table(?).
00021 :- mode prop_iff(++,++,++).
00022 :- mode endblab.
00023 :- mode decl_modes(?).
00024 :- mode set_modes_for_failed_preds.
00025 :- mode hdrfilename_ext(?).
00026 :- mode nearest_2n_minus_1(?,?).
00027 :- mode blab(?).
00028 :- mode init_for_load(++).
00029 :- mode analyze_fail_loop.
00030 :- mode define_all.
00031 :- mode decl_exported(?).
00032 :- mode load_imported_preds(++).
00033 :- mode get_init_calls.
00034 :- mode get_init_calls_from_exports.
00035 :- mode dump_local_modes.
00036 :- mode get_call_pattern(++).
00037 :- mode minimum(++,++,++).
00038 :- mode do_declare(?).
00039 :- mode or_lits(?,?,?).
00040 :- mode cleanup_after_analysis.
00041 :- mode default_import(++,++,++).
00042 :- mode conv_mode(++,++).
00043 :- mode canon_head_lit(?,?,?).
00044 :- mode cvt_ands_to_list(?,?,?).
00045 :- mode declare_all_dynamic_preds.
00046 :- mode preprocess(++).
00047 :- mode iffify(?,?,?).
00048 :- mode flat_read_file.
00049 :- mode load_header_file(++).
00050 :- mode ma(++,++).
00051 :- mode declare_undefineds.
00052 :- mode decl_imported(?,?).
00053 :- mode dump_exported_modes.
00054 :- mode construct_ground_call(++,++,++).
00055 :- mode mangle_file_names(++,?,?).
00056 :- mode assert_all.
00057 :- mode make_exports_from_locals.
00058 :- mode get_all_returns(++).
00059 :- mode define_std_preds(++).
00060 :- mode strip_trailing_ext(++,?).
00061 :- mode get_number_of_flat_rules(?).
00062 :- mode conv_modes(++,++).
00063 :- mode canonize_args(?,?,?).
00064 :- mode canon_lit(?,?).
00065 :- mode read_flatten_and_assert.
00066 :- mode ground_list(++,++).
00067 :- mode declfilename_ext(?).
00068 :- mode remove_asserted_stuff.
00069 :- mode init_for_analysis.
00070 :- mode cleanup_for_load.
00071 :- mode undefined_pred(++,++).
00072 :- mode do_assert(++,++).
00073 :- mode dump_pred_modes(++,++).
00074 :- mode min_all_args(++,++,++).
00075 :- mode int2ext(++,++).
00076 :- mode standardize_name(?,?).
00077 :- mode canonize_rule(?).
00078 :- mode find_min(++,++,++).
00079 :- mode min_args(++,++,++).
00080 :- mode get_new_negliteral_name(?).
00081 :- mode listofvars1(?,?,?).
00082 :- mode remove_tabled_stuff.
00083 :- mode get_std_pred_defs(++).
00084 :- mode prolog_file_exists(++).
00085 :- mode declare_all.
00086 :- mode get_calls_from_modes(++,++).
00087 :- mode canon_negated_lit(?,?).
00088 :- mode set_options(++).
00089 :- mode decl(?).
00090 :- mode expand_incl_file_name(++,?).
00091 :- mode canon_term(?,?,?).
00092 
00093 :- '_$mode_pattern'(ma(g,g)).

Generated on Wed Jul 26 13:30:38 2006 for XSB by  doxygen 1.4.5