Home
last modified time | relevance | path

Searched refs:OrFr_depth (Results 1 – 13 of 13) sorted by relevance

/dports/lang/yap/yap-6.2.2/OPTYap/
H A Dor.cowengine.c124 …hare_work, OrFr_pend_prune_cp(LOCAL_top_or_fr) && BRANCH_LTT(worker_p, OrFr_depth(LOCAL_top_or_fr)… in q_share_work()
126 BRANCH(worker_id, OrFr_depth(LOCAL_top_or_fr)) = BRANCH(worker_p, OrFr_depth(LOCAL_top_or_fr)); in q_share_work()
167 depth = OrFr_depth(LOCAL_top_or_fr); in share_private_nodes()
211 OrFr_depth(or_frame) = depth--; in share_private_nodes()
217 BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame)); in share_private_nodes()
H A Dor.macros.h372 depth = OrFr_depth(or_frame); in CUT_last_worker_left_pending_prune()
393 depth = OrFr_depth(leftmost_or_fr); in CUT_leftmost_or_frame()
403 depth = OrFr_depth(leftmost_or_fr); in CUT_leftmost_or_frame()
409 while (OrFr_depth(nearest_or_fr) > depth) { in CUT_leftmost_or_frame()
430 depth = OrFr_depth(leftmost_or_fr); in CUT_leftmost_until()
447 depth = OrFr_depth(leftmost_or_fr); in CUT_leftmost_until()
460 while (OrFr_depth(nearest_or_fr) > depth) { in CUT_leftmost_until()
473 depth = OrFr_depth(leftmost_or_fr); in CUT_leftmost_until()
479 while (OrFr_depth(nearest_or_fr) > depth) { in CUT_leftmost_until()
502 ltt = BRANCH_LTT(worker_id, OrFr_depth(or_frame)); in CUT_store_answer()
[all …]
H A Dor.cut.c55 depth = OrFr_depth(prune_or_fr); in prune_shared_branch()
69 ltt = BRANCH_LTT(worker_id, OrFr_depth(LOCAL_top_or_fr)); in prune_shared_branch()
123 …T_store_tg_answers(leftmost_or_fr, tg_solutions, BRANCH_LTT(worker_id, OrFr_depth(leftmost_or_fr))… in prune_shared_branch()
136 depth = OrFr_depth(leftmost_or_fr); in prune_shared_branch()
154 ltt = BRANCH_LTT(worker_id, OrFr_depth(LOCAL_top_or_fr)); in prune_shared_branch()
229 depth = OrFr_depth(leftmost_or_fr); in prune_shared_branch()
H A Dor.threadengine.c149 …_work, Get_OrFr_pend_prune_cp(LOCAL_top_or_fr) && BRANCH_LTT(worker_p, OrFr_depth(LOCAL_top_or_fr)… in q_share_work()
151 BRANCH(worker_id, OrFr_depth(LOCAL_top_or_fr)) = BRANCH(worker_p, OrFr_depth(LOCAL_top_or_fr)); in q_share_work()
238 BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame));
293 depth = OrFr_depth(LOCAL_top_or_fr);
416 OrFr_depth(or_frame) = depth--;
420 YAPOR_ERROR_CHECKING(share_private_nodes, depth != OrFr_depth(LOCAL_top_or_fr));
447 BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame));
H A Dor.sbaengine.c155 …hare_work, OrFr_pend_prune_cp(LOCAL_top_or_fr) && BRANCH_LTT(worker_p, OrFr_depth(LOCAL_top_or_fr)… in q_share_work()
157 BRANCH(worker_id, OrFr_depth(LOCAL_top_or_fr)) = BRANCH(worker_p, OrFr_depth(LOCAL_top_or_fr)); in q_share_work()
232 depth = OrFr_depth(LOCAL_top_or_fr); in share_private_nodes()
277 OrFr_depth(or_frame) = depth--; in share_private_nodes()
283 BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame)); in share_private_nodes()
H A Dor.engine.c206 …_work, Get_OrFr_pend_prune_cp(LOCAL_top_or_fr) && BRANCH_LTT(worker_p, OrFr_depth(LOCAL_top_or_fr)…
208 BRANCH(worker_id, OrFr_depth(LOCAL_top_or_fr)) = BRANCH(worker_p, OrFr_depth(LOCAL_top_or_fr));
400 BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame));
454 depth = OrFr_depth(LOCAL_top_or_fr);
577 OrFr_depth(or_frame) = depth--;
581 YAPOR_ERROR_CHECKING(share_private_nodes, depth != OrFr_depth(LOCAL_top_or_fr));
608 BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame));
H A Dor.scheduler.c288 BRANCH(worker_id, OrFr_depth(LOCAL_top_or_fr)) = OrFr_pend_prune_ltt(LOCAL_top_or_fr);
318 …leftmost_until = CUT_leftmost_until(LOCAL_top_or_fr, OrFr_depth(TgSolFr_gen_cp(tg_solutions)->cp_o…
324 BRANCH_LTT(worker_id, OrFr_depth(leftmost_until)));
385 …leftmost_until = CUT_leftmost_until(LOCAL_top_or_fr, OrFr_depth(TgSolFr_gen_cp(tg_solutions)->cp_o…
391 BRANCH_LTT(worker_id, OrFr_depth(leftmost_until)));
456 BRANCH_LTT(worker_id, OrFr_depth(leftmost_or_fr)));
486 …leftmost_until = CUT_leftmost_until(LOCAL_top_or_fr, OrFr_depth(TgSolFr_gen_cp(tg_solutions)->cp_o…
494 BRANCH_LTT(worker_id, OrFr_depth(leftmost_until)));
H A Dtab.insts.i884 until_depth = OrFr_depth(SgFr_gen_top_or_fr(sg_fr));
885 depth = OrFr_depth(LOCAL_top_or_fr);
937 depth = OrFr_depth(leftmost_or_fr);
952 depth = OrFr_depth(leftmost_or_fr);
964 while (OrFr_depth(nearest_or_fr) > depth) {
977 depth = OrFr_depth(leftmost_or_fr);
982 while (OrFr_depth(nearest_or_fr) > depth) {
1189 … BRANCH_LTT(worker_id, OrFr_depth(leftmost_until)));
1206 BRANCH(worker_id, OrFr_depth(end_or_fr)) = 1;
1267 … BRANCH_LTT(worker_id, OrFr_depth(leftmost_until)));
[all …]
H A Dor.structs.h77 #define OrFr_depth(X) ((X)->depth) macro
H A Dopt.init.c221 OrFr_depth(or_fr) = 0; in make_root_frames()
H A Dtab.completion.c428 BRANCH(worker_id, OrFr_depth(or_frame)) = 1; in resume_suspension_frame()
H A Dtab.macros.h718 depth = OrFr_depth(or_fr); in collect_suspension_frames()
720 while (OrFr_depth(*susp_ptr) > depth) in collect_suspension_frames()
/dports/lang/yap/yap-6.2.2/H/
H A Damidefs.h969 (SHARED_CP(CP2) ? OrFr_depth((CP1)->cp_or_fr) > OrFr_depth((CP2)->cp_or_fr) : FALSE) \
976 (SHARED_CP(CP2) ? OrFr_depth((CP1)->cp_or_fr) >= OrFr_depth((CP2)->cp_or_fr) : FALSE) \