Searched refs:TABLING_ERROR_CHECKING (Results 1 – 7 of 7) sorted by relevance
/dports/lang/yap/yap-6.2.2/OPTYap/ |
H A D | tab.insts.i | 26 TABLING_ERROR_CHECKING(store_node, Unsigned(H) + 1024 > Unsigned(B)); \ 27 TABLING_ERROR_CHECKING(store_node, Unsigned(H_FZ) + 1024 > Unsigned(B)) 199 TABLING_ERROR_CHECKING(generator_consumer, IS_BATCHED_GEN_CP(B)); \ 864 TABLING_ERROR_CHECKING(table_new_answer, j == arity_args); 1022 TABLING_ERROR_CHECKING(table_new_answer, !IS_ANSWER_LEAF_NODE(aux_ans_node)); 1118 TABLING_ERROR_CHECKING(answer_resolution, IS_BATCHED_GEN_CP(B)); 1145 TABLING_ERROR_CHECKING(answer_resolution, EQUAL_OR_YOUNGER_CP(top_chain_cp, B)); 1146 TABLING_ERROR_CHECKING(answer_resolution, EQUAL_OR_YOUNGER_CP(chain_cp, B)); 1449 TABLING_ERROR_CHECKING(completion, EQUAL_OR_YOUNGER_CP(B, DepFr_cons_cp(dep_fr))); 1450 TABLING_ERROR_CHECKING(completion, B->cp_tr > DepFr_cons_cp(dep_fr)->cp_tr); [all …]
|
H A D | tab.macros.h | 487 TABLING_ERROR_CHECKING(unbind_variables, unbind_tr < end_tr); in unbind_variables() 500 TABLING_ERROR_CHECKING(unbind_variables, unbind_tr > (tr_fr_ptr) Yap_TrailTop); in unbind_variables() 501 TABLING_ERROR_CHECKING(unbind_variables, unbind_tr < end_tr); in unbind_variables() 517 TABLING_ERROR_CHECKING(rebind_variables, rebind_tr < end_tr); in rebind_variables() 531 TABLING_ERROR_CHECKING(rebind_variables, rebind_tr > (tr_fr_ptr) Yap_TrailTop); in rebind_variables() 532 TABLING_ERROR_CHECKING(rebind_variables, rebind_tr < end_tr); in rebind_variables() 553 TABLING_ERROR_CHECKING(restore_variables, unbind_tr < rebind_tr); in restore_bindings() 567 TABLING_ERROR_CHECKING(restore_variables, unbind_tr > (tr_fr_ptr) Yap_TrailTop); in restore_bindings() 591 TABLING_ERROR_CHECKING(restore_variables, end_tr > (tr_fr_ptr) Yap_TrailTop); in restore_bindings() 606 TABLING_ERROR_CHECKING(restore_variables, rebind_tr > (tr_fr_ptr) Yap_TrailTop); in restore_bindings() [all …]
|
H A D | opt.preds.c | 1043 TABLING_ERROR_CHECKING(statistics_table_entries, Pg_str_free(GLOBAL_PAGES_tab_ent) != cont); in show_statistics_table_entries() 1071 TABLING_ERROR_CHECKING(statistics_subgoal_frames, Pg_str_free(GLOBAL_PAGES_sg_fr) != cont); in show_statistics_subgoal_frames() 1099 TABLING_ERROR_CHECKING(statistics_dependency_frames, Pg_str_free(GLOBAL_PAGES_dep_fr) != cont); in show_statistics_dependency_frames() 1127 TABLING_ERROR_CHECKING(statistics_subgoal_trie_nodes, Pg_str_free(GLOBAL_PAGES_sg_node) != cont); in show_statistics_subgoal_trie_nodes() 1155 TABLING_ERROR_CHECKING(statistics_answer_trie_nodes, Pg_str_free(GLOBAL_PAGES_ans_node) != cont); in show_statistics_answer_trie_nodes() 1183 TABLING_ERROR_CHECKING(statistics_subgoal_trie_hashes, Pg_str_free(GLOBAL_PAGES_sg_hash) != cont); in show_statistics_subgoal_trie_hashes() 1211 TABLING_ERROR_CHECKING(statistics_answer_trie_hashes, Pg_str_free(GLOBAL_PAGES_ans_hash) != cont); in show_statistics_answer_trie_hashes() 1239 TABLING_ERROR_CHECKING(statistics_global_trie_nodes, Pg_str_free(GLOBAL_PAGES_gt_node) != cont); in show_statistics_global_trie_nodes() 1267 TABLING_ERROR_CHECKING(statistics_global_trie_hashes, Pg_str_free(GLOBAL_PAGES_gt_hash) != cont); in show_statistics_global_trie_hashes()
|
H A D | or.engine.c | 214 TABLING_ERROR_CHECKING(q_share_work, TR < aux_tr); 226 TABLING_ERROR_CHECKING(q_share_work, TR > (tr_fr_ptr) Yap_TrailTop); 227 TABLING_ERROR_CHECKING(q_share_work, TR < aux_tr);
|
H A D | tab.tries.c | 1040 TABLING_ERROR_CHECKING(answer search, IsNonVarTerm(subs_ptr[i])); 1045 TABLING_ERROR_CHECKING(answer search, IsNonVarTerm(subs_ptr[i])); 1067 TABLING_ERROR_CHECKING(load_answer, H < H_FZ); 1077 TABLING_ERROR_CHECKING(load_answer, stack_terms != (CELL *)Yap_TrailTop); 1096 TABLING_ERROR_CHECKING(exec_substitution, stack_terms != (CELL *)Yap_TrailTop);
|
H A D | opt.macros.h | 466 #define TABLING_ERROR_CHECKING(PROCEDURE,TEST) \ macro 469 #define TABLING_ERROR_CHECKING(PROCEDURE,TEST) macro
|
H A D | tab.tries.i | 386 TABLING_ERROR_CHECKING(answer_trie_check_insert_(gt)_entry, IS_ANSWER_LEAF_NODE(parent_node)); 484 TABLING_ERROR_CHECKING(answer_trie_check_insert_(gt)_entry, IS_ANSWER_LEAF_NODE(parent_node));
|