00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003
00004 :- mode singleton_sets_opt(?,?,?).
00005 :- mode occurs_in(?,?,?,?).
00006 :- mode 'non overlapping selection'(?,?).
00007 :- mode umnl_chk(?,?).
00008 :- mode specialise_pred(?,?,?,?,?,?).
00009 :- mode 'name vars uniquely'(?,++,?).
00010 :- mode proper_subset(++,?).
00011 :- mode 'new clause list'(?,?,?,?,?).
00012 :- mode msg_arg(?,?,?).
00013 :- mode 'interesting calls'(?,?,?).
00014 :- mode 'arg unification'(?,?,?,?).
00015 :- mode represent(?,?,?,++,?,?,?).
00016 :- mode 'well, add some more'(?,?).
00017 :- mode merge_calls(++,?).
00018 :- mode 'index euristic'(?,?,++,?).
00019 :- mode specialise(?,?,?,?).
00020 :- mode 'merge calls'(++,++,?).
00021 :- mode generate_table_decl(?,?).
00022 :- mode sth_bound(?).
00023 :- mode 'name arg vars uniquely'(?,++,?).
00024 :- mode initialise.
00025 :- mode non_overlapping_selection(?).
00026 :- mode make_new_args(?,?,?,?).
00027 :- mode spec(?,?).
00028 :- mode collect_pi_calls(?,?,?).
00029 :- mode make_special_pred(?,?,++,?).
00030 :- mode subst_calls(?,?,?,?,?).
00031 :- mode 'specialise pred'(?,?,?,++,?,?,?).
00032 :- mode substitute(?,?,?,?,?,?,?,?).
00033 :- mode 'generate table decl'(?,?,?).
00034 :- mode 'find all delete'(++,++,?,?).
00035 :- mode needs_new_body(?,?,?,?,?,?).
00036 :- mode make_special_clauses(?,?,?,?).
00037 :- mode interesting_indeed(?,?,?).
00038 :- mode shift_left(?,?).
00039 :- mode find_selected_clauses(?,?,?).
00040 :- mode 'change vars in arg'(?,?).
00041 :- mode close_pi_calls(?,?).
00042 :- mode find_msg(?,?,?).
00043 :- mode discrimination(?,?).
00044 :- mode unifies_mnl(?,?).
00045 :- mode make_new_arg(?,?,?,?).
00046 :- mode interesting_calls(?,?,?).
00047 :- mode msg_copy(?,?,?,?,++,++).
00048 :- mode msg_copy(?,?,?,++,++,?).
00049 :- mode make_special_calls(?,?,++,?).
00050 :- mode make_arg_vars_unique(?,++,?).
00051 :- mode singleton_special_calls(?,?,?,?).
00052 :- mode consecutive(?,?,?,?).
00053 :- mode consecutive(?,?,?).
00054 :- mode specialise_calls(?,?,?,?,?,++,?,?,?,?).
00055 :- mode 'search for call'(?,?).
00056 :- mode 'find msg of calls'(?,++,?).
00057 :- mode name_vars_uniquely(?,?,?).
00058 :- mode check_for_cut(++,?).
00059 :- mode 'change vars in args'(?,?).
00060 :- mode chb(?,?).
00061 :- mode filter_goal(?,?).
00062 :- mode 'collect from pred'(?,?).
00063 :- mode msg(?,?,?).
00064 :- mode disjoint(?,?).
00065 :- mode subst_rep(?,?,?,?).
00066 :- mode singleton_special_call(?,?,?,?).
00067 :- mode 'change vars in body'(?,?).
00068 :- mode 'give a second chance'(?,++).
00069 :- mode 'collect pi calls'(?,?).
00070 :- mode make_special_call(?,?,++,?).
00071 :- mode new_clause_list(?,?,?).
00072 :- mode index_euristic(?,?).
00073
00074 :- '_$mode_pattern'(spec(g,g)).
00075 :- '_$mode_pattern'(spec(ng,ng)).
