Searched refs:OrFr_depth (Results 1 – 13 of 13) sorted by relevance
/dports/lang/yap/yap-6.2.2/OPTYap/ |
H A D | or.cowengine.c | 124 …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 D | or.macros.h | 372 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 D | or.cut.c | 55 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 D | or.threadengine.c | 149 …_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 D | or.sbaengine.c | 155 …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 D | or.engine.c | 206 …_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 D | or.scheduler.c | 288 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 D | tab.insts.i | 884 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 D | or.structs.h | 77 #define OrFr_depth(X) ((X)->depth) macro
|
H A D | opt.init.c | 221 OrFr_depth(or_fr) = 0; in make_root_frames()
|
H A D | tab.completion.c | 428 BRANCH(worker_id, OrFr_depth(or_frame)) = 1; in resume_suspension_frame()
|
H A D | tab.macros.h | 718 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 D | amidefs.h | 969 (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) \
|