yap-6.2.2/OPTYap/tab.insts.i

1098     dep_fr_ptr dep_fr;
1103     dep_fr = CONS_CP(B)->cp_dep_fr;
1104     LOCK(DepFr_lock(dep_fr));
1105     ans_node = DepFr_last_answer(dep_fr);
1108       ans_node = DepFr_last_answer(dep_fr) = TrNode_child(ans_node);
1109       UNLOCK(DepFr_lock(dep_fr));
1110       consume_answer_and_procceed(dep_fr, ans_node);
1112     UNLOCK(DepFr_lock(dep_fr));
1124     if (DepFr_backchain_cp(dep_fr) == NULL) {
1141       top_chain_cp = DepFr_backchain_cp(dep_fr);
1149       dep_fr = DepFr_next(dep_fr);
1150       while (YOUNGER_CP(DepFr_cons_cp(dep_fr), chain_cp)) {
1151         LOCK(DepFr_lock(dep_fr));
1152         ans_node = DepFr_last_answer(dep_fr);
1155           ans_node = DepFr_last_answer(dep_fr) = TrNode_child(ans_node);
1157           if (YOUNGER_CP(DepFr_backchain_cp(dep_fr), top_chain_cp))
1159             DepFr_backchain_cp(dep_fr) = top_chain_cp;
1160           UNLOCK(DepFr_lock(dep_fr));
1162           chain_cp = DepFr_cons_cp(dep_fr);
1166           end_or_fr = DepFr_top_or_fr(dep_fr);
1234           consume_answer_and_procceed(dep_fr, ans_node);
1236         UNLOCK(DepFr_lock(dep_fr));
1237         dep_fr = DepFr_next(dep_fr);
1374     dep_fr_ptr dep_fr;
1391     dep_fr = LOCAL_top_dep_fr;
1392     while (YOUNGER_CP(DepFr_cons_cp(dep_fr), B)) {
1393       LOCK(DepFr_lock(dep_fr));
1394       ans_node = DepFr_last_answer(dep_fr);
1397         ans_node = DepFr_last_answer(dep_fr) = TrNode_child(ans_node);
1400           if (YOUNGER_CP(DepFr_backchain_cp(dep_fr), B))
1402             DepFr_backchain_cp(dep_fr) = B;
1405           if (YOUNGER_CP(DepFr_backchain_cp(dep_fr), B->cp_b))
1407             DepFr_backchain_cp(dep_fr) = B->cp_b;
1409         UNLOCK(DepFr_lock(dep_fr));
1415 	  aux_cp = DepFr_cons_cp(dep_fr);
1418 	  OPTYAP_ERROR_CHECKING(completion, aux_cp->cp_or_fr != DepFr_top_or_fr(dep_fr));
1424           or_fr_ptr or_frame = DepFr_top_or_fr(dep_fr);
1432           LOCAL_top_or_fr = DepFr_top_or_fr(dep_fr);
1440 	  aux_cp = DepFr_cons_cp(dep_fr);
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);
1451         rebind_variables(DepFr_cons_cp(dep_fr)->cp_tr, B->cp_tr);
1454         B = DepFr_cons_cp(dep_fr);
1458         consume_answer_and_procceed(dep_fr, ans_node);
1460       UNLOCK(DepFr_lock(dep_fr));
1462       DepFr_timestamp(dep_fr) = timestamp;
1464       dep_fr = DepFr_next(dep_fr);
1579           dep_fr = DepFr_next(LOCAL_top_dep_fr);
1581           LOCAL_top_dep_fr = dep_fr;