Lines Matching refs:sg_fr

585     sg_fr_ptr sg_fr = UNTAG_SUBGOAL_LEAF_NODE(TrNode_sg_fr(current_node));  local
590 if (SgFr_first_answer(sg_fr) == NULL) {
591 if (SgFr_state(sg_fr) < complete) {
598 } else if (SgFr_first_answer(sg_fr) == SgFr_answer_trie(sg_fr)) {
603 …traverse_answer_trie(TrNode_child(SgFr_answer_trie(sg_fr)), &str[str_index], 0, arity, 0, TRAVERSE…
604 if (SgFr_state(sg_fr) < complete) {
972 sg_fr_ptr sg_fr; local
1007 new_subgoal_frame(sg_fr, preg);
1008 TrNode_sg_fr(current_sg_node) = (sg_node_ptr) sg_fr;
1011 sg_fr = UNTAG_SUBGOAL_LEAF_NODE(TrNode_sg_fr(current_sg_node));
1013 if (SgFr_state(sg_fr) <= ready) { /* incomplete or ready */
1014 remove_from_global_sg_fr_list(sg_fr);
1025 return sg_fr;
1029 ans_node_ptr answer_search(sg_fr_ptr sg_fr, CELL *subs_ptr) { argument
1036 current_ans_node = SgFr_answer_trie(sg_fr);
1038 if (IsMode_GlobalTrie(TabEnt_mode(SgFr_tab_ent(sg_fr)))) {
1041 …current_ans_node = answer_search_terms_loop(sg_fr, current_ans_node, Deref(subs_ptr[i]), &vars_ari…
1046 … current_ans_node = answer_search_loop(sg_fr, current_ans_node, Deref(subs_ptr[i]), &vars_arity);
1104 void update_answer_trie(sg_fr_ptr sg_fr) { argument
1107 free_answer_hash_chain(SgFr_hash_chain(sg_fr));
1108 SgFr_hash_chain(sg_fr) = NULL;
1109 SgFr_state(sg_fr) += 2; /* complete --> compiled : complete_in_use --> compiled_in_use */
1110 current_node = TrNode_child(SgFr_answer_trie(sg_fr));
1154 sg_fr_ptr sg_fr; local
1156 sg_fr = UNTAG_SUBGOAL_LEAF_NODE(TrNode_sg_fr(current_node));
1157 free_answer_hash_chain(SgFr_hash_chain(sg_fr));
1158 ans_node = SgFr_answer_trie(sg_fr);
1163 remove_from_global_sg_fr_list(sg_fr);
1165 FREE_SUBGOAL_FRAME(sg_fr);
1320 sg_fr_ptr sg_fr = UNTAG_SUBGOAL_LEAF_NODE(sg_node); local
1324 if (SgFr_first_answer(sg_fr) == NULL) {
1325 if (SgFr_state(sg_fr) < complete) {