Searched refs:leftmost_or_fr (Results 1 – 5 of 5) sorted by relevance
37 or_fr_ptr leftmost_or_fr; in prune_shared_branch() local43 leftmost_or_fr = CUT_leftmost_or_frame(); in prune_shared_branch()110 LOCK_OR_FRAME(leftmost_or_fr); in prune_shared_branch()112 UNLOCK_OR_FRAME(leftmost_or_fr); in prune_shared_branch()125 UNLOCK_OR_FRAME(leftmost_or_fr); in prune_shared_branch()136 depth = OrFr_depth(leftmost_or_fr); in prune_shared_branch()138 LOCK_OR_FRAME(leftmost_or_fr); in prune_shared_branch()150 UNLOCK_OR_FRAME(leftmost_or_fr); in prune_shared_branch()197 LOCK_OR_FRAME(leftmost_or_fr); in prune_shared_branch()199 UNLOCK_OR_FRAME(leftmost_or_fr); in prune_shared_branch()[all …]
205 leftmost_or_fr = OrFr_nearest_leftnode(leftmost_or_fr); \392 leftmost_or_fr = LOCAL_top_or_fr; in CUT_leftmost_or_frame()393 depth = OrFr_depth(leftmost_or_fr); in CUT_leftmost_or_frame()402 leftmost_or_fr = OrFr_nearest_leftnode(leftmost_or_fr); in CUT_leftmost_or_frame()403 depth = OrFr_depth(leftmost_or_fr); in CUT_leftmost_or_frame()417 return leftmost_or_fr; in CUT_leftmost_or_frame()430 depth = OrFr_depth(leftmost_or_fr); in CUT_leftmost_until()441 return leftmost_or_fr; in CUT_leftmost_until()446 leftmost_or_fr = OrFr_nearest_leftnode(leftmost_or_fr); in CUT_leftmost_until()467 return leftmost_or_fr; in CUT_leftmost_until()[all …]
447 or_fr_ptr leftmost_or_fr; local450 leftmost_or_fr = CUT_leftmost_or_frame();451 LOCK_OR_FRAME(leftmost_or_fr);453 CUT_store_answers(leftmost_or_fr, qg_solutions);455 tg_solutions = CUT_store_tg_answers(leftmost_or_fr, tg_solutions, 457 UNLOCK_OR_FRAME(leftmost_or_fr);462 or_fr_ptr leftmost_or_fr; local464 leftmost_or_fr = CUT_leftmost_or_frame();465 LOCK_OR_FRAME(leftmost_or_fr);466 CUT_store_answers(leftmost_or_fr, qg_solutions);[all …]
889 or_fr_ptr leftmost_or_fr, or_fr, nearest_or_fr; variable900 leftmost_or_fr = LOCAL_top_or_fr;909 LOCK_OR_FRAME(leftmost_or_fr);911 UNLOCK_OR_FRAME(leftmost_or_fr);915 UNLOCK_OR_FRAME(leftmost_or_fr);937 depth = OrFr_depth(leftmost_or_fr);951 leftmost_or_fr = OrFr_nearest_leftnode(leftmost_or_fr);952 depth = OrFr_depth(leftmost_or_fr);976 leftmost_or_fr = OrFr_nearest_leftnode(leftmost_or_fr);977 depth = OrFr_depth(leftmost_or_fr);[all …]
677 or_fr_ptr leftmost_or_fr; in p_parallel_new_answer() local684 leftmost_or_fr = CUT_leftmost_or_frame(); in p_parallel_new_answer()685 LOCK_OR_FRAME(leftmost_or_fr); in p_parallel_new_answer()687 UNLOCK_OR_FRAME(leftmost_or_fr); in p_parallel_new_answer()690 CUT_store_answer(leftmost_or_fr, actual_answer); in p_parallel_new_answer()691 UNLOCK_OR_FRAME(leftmost_or_fr); in p_parallel_new_answer()