Searched refs:dep_fr (Results 1 – 3 of 3) sorted by relevance
1098 dep_fr_ptr dep_fr;1104 LOCK(DepFr_lock(dep_fr));1109 UNLOCK(DepFr_lock(dep_fr));1112 UNLOCK(DepFr_lock(dep_fr));1149 dep_fr = DepFr_next(dep_fr);1151 LOCK(DepFr_lock(dep_fr));1237 dep_fr = DepFr_next(dep_fr);1374 dep_fr_ptr dep_fr;1391 dep_fr = LOCAL_top_dep_fr;1393 LOCK(DepFr_lock(dep_fr));[all …]
649 dep_fr_ptr dep_fr = LOCAL_top_dep_fr; in abolish_incomplete_subgoals() local650 LOCAL_top_dep_fr = DepFr_next(dep_fr); in abolish_incomplete_subgoals()651 FREE_DEPENDENCY_FRAME(dep_fr); in abolish_incomplete_subgoals()736 dep_fr_ptr dep_fr; in suspension_frame_to_resume() local742 dep_fr = SuspFr_top_dep_fr(susp_fr); in suspension_frame_to_resume()744 if (TrNode_child(DepFr_last_answer(dep_fr))) { in suspension_frame_to_resume()750 DepFr_timestamp(dep_fr) = timestamp; in suspension_frame_to_resume()752 dep_fr = DepFr_next(dep_fr); in suspension_frame_to_resume()754 } while (timestamp > DepFr_timestamp(dep_fr) && YOUNGER_CP(DepFr_cons_cp(dep_fr), top_cp)); in suspension_frame_to_resume()756 } while (YOUNGER_CP(DepFr_cons_cp(dep_fr), top_cp)); in suspension_frame_to_resume()
131 dep_fr_ptr dep_fr = DepFr_next(LOCAL_top_dep_fr); in private_completion() local133 LOCAL_top_dep_fr = dep_fr; in private_completion()