Home
last modified time | relevance | path

Searched refs:TABLING_ERROR_CHECKING (Results 1 – 7 of 7) sorted by relevance

/dports/lang/yap/yap-6.2.2/OPTYap/
H A Dtab.insts.i26 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 Dtab.macros.h487 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 Dopt.preds.c1043 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 Dor.engine.c214 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 Dtab.tries.c1040 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 Dopt.macros.h466 #define TABLING_ERROR_CHECKING(PROCEDURE,TEST) \ macro
469 #define TABLING_ERROR_CHECKING(PROCEDURE,TEST) macro
H A Dtab.tries.i386 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));