tabdef.D

00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003 
00004 :- mode is_meta_pred(?).
00005 :- mode call_in_meta_pred(?,?).
00006 :- mode table_all_predicates(?).
00007 :- mode path_in_clauses(?,?,?,?).
00008 :- mode path_in_body(?,?,?,?).
00009 :- mode 'greedy choice'(++,++,++,++,++).
00010 :- mode call_in_arg(?,?).
00011 :- mode lp_num(++,++,++,++,++,?).
00012 :- mode 'two way choice'(++,++,?).
00013 :- mode exclude(?,?,?,?).
00014 :- mode path_in_meta_pred_args(?,?,?,?).
00015 :- mode tabling_meta_predicate_exists(?).
00016 :- mode clauses_call_sym(?,?).
00017 :- mode table_to_break_all_loops(++).
00018 :- mode table_in_pred(?).
00019 :- mode call_themselves(?,?,?).
00020 :- mode lp_sym(++,++,++,++,?).
00021 :- mode table_sym_of_arg(?,++,++).
00022 :- mode remove_tabled_preds(?,?).
00023 :- mode 'cheaper table choice'(++,++,++,++,++).
00024 :- mode table_arg(?,++,++).
00025 :- mode perform_table_all(?).
00026 :- mode optimal_sym(++,++,?).
00027 :- mode needs_tabling(?).
00028 :- mode lp(++,++,?).
00029 :- mode path(?,?,?).
00030 :- mode body_calls_sym(?,?).
00031 :- mode decreasing_ground_arg(?,?,++,?).
00032 :- mode goal_arg_smaller(?,?).
00033 :- mode perform_auto_table(?).
00034 :- mode table_preds_in_tabling_meta_preds(?,?,?).
00035 :- mode table_preds_in_tabling_meta_preds(?).
00036 :- mode goal_arg(?,?).
00037 :- mode 'exported choice'(++,++,++,++,++).
00038 :- mode table_it(?).
00039 :- mode table_immediate_recursions(?,?).
00040 :- mode table_in_clause(?).
00041 :- mode proven_terminating(?).
00042 :- mode terminating_body(?,?,?,?).
00043 :- mode path_in_meta_pred_arg(?,?,?,?).
00044 :- mode terminating_clauses(?,?,?).
00045 :- mode var_in_structure(?,?).
00046 
00047 :- '_$mode_pattern'(table_it(ng)).
00048 :- '_$mode_pattern'(table_it(g)).
00049 :- '_$mode_pattern'(perform_auto_table(g)).
00050 :- '_$mode_pattern'(perform_auto_table(ng)).
00051 :- '_$mode_pattern'(perform_table_all(g)).
00052 :- '_$mode_pattern'(perform_table_all(ng)).
00053 :- '_$mode_pattern'(call_themselves(g,g,_1117196)).
00054 :- '_$mode_pattern'(call_themselves(ng,g,_1117196)).

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