Searched refs:sg_fr (Results 1 – 9 of 9) sorted by relevance
/dports/lang/yap/yap-6.2.2/OPTYap/ |
H A D | tab.insts.i | 334 sg_fr_ptr sg_fr; 397 sg_fr_ptr sg_fr; 475 if (SgFr_state(sg_fr) == complete || SgFr_state(sg_fr) == compiled) { 478 TRAIL_FRAME(sg_fr); 515 sg_fr_ptr sg_fr; 586 if (SgFr_state(sg_fr) == complete || SgFr_state(sg_fr) == compiled) { 589 TRAIL_FRAME(sg_fr); 626 sg_fr_ptr sg_fr; 697 if (SgFr_state(sg_fr) == complete || SgFr_state(sg_fr) == compiled) { 700 TRAIL_FRAME(sg_fr); [all …]
|
H A D | tab.macros.h | 479 LOCK(SgFr_lock(sg_fr)); in mark_as_completed() 480 SgFr_state(sg_fr) = complete; in mark_as_completed() 481 UNLOCK(SgFr_lock(sg_fr)); in mark_as_completed() 657 sg_fr_ptr sg_fr; in abolish_incomplete_subgoals() local 662 sg_fr = LOCAL_top_sg_fr; in abolish_incomplete_subgoals() 664 LOCK(SgFr_lock(sg_fr)); in abolish_incomplete_subgoals() 668 UNLOCK(SgFr_lock(sg_fr)); in abolish_incomplete_subgoals() 669 } else if (SgFr_first_answer(sg_fr) == SgFr_answer_trie(sg_fr)) { in abolish_incomplete_subgoals() 675 UNLOCK(SgFr_lock(sg_fr)); in abolish_incomplete_subgoals() 873 sg_fr_ptr sg_fr; in CUT_validate_tg_answers() local [all …]
|
H A D | opt.macros.h | 137 { sg_fr_ptr sg_fr = GLOBAL_check_sg_fr; \ 139 if (sg_fr) \ 140 sg_fr = SgFr_next(sg_fr); \ 142 sg_fr = GLOBAL_first_sg_fr; \ 143 if (sg_fr == NULL) \ 149 if (SgFr_first_answer(sg_fr) && \ 150 SgFr_first_answer(sg_fr) != SgFr_answer_trie(sg_fr)) { \ 151 SgFr_state(sg_fr) = ready; \ 152 free_answer_hash_chain(SgFr_hash_chain(sg_fr)); \ 153 SgFr_hash_chain(sg_fr) = NULL; \ [all …]
|
H A D | tab.tries.c | 591 if (SgFr_state(sg_fr) < complete) { 598 } else if (SgFr_first_answer(sg_fr) == SgFr_answer_trie(sg_fr)) { 604 if (SgFr_state(sg_fr) < complete) { 972 sg_fr_ptr sg_fr; local 1007 new_subgoal_frame(sg_fr, preg); 1025 return sg_fr; 1108 SgFr_hash_chain(sg_fr) = NULL; 1154 sg_fr_ptr sg_fr; local 1158 ans_node = SgFr_answer_trie(sg_fr); 1165 FREE_SUBGOAL_FRAME(sg_fr); [all …]
|
H A D | tab.tries.i | 412 new_answer_trie_hash(hash, count_nodes, sg_fr); 571 new_answer_trie_hash(hash, count_nodes, sg_fr); 1059 ANSWER_CHECK_INSERT_ENTRY(sg_fr, current_node, t, _trie_retry_val + in_pair); 1066 ANSWER_CHECK_INSERT_ENTRY(sg_fr, current_node, t, _trie_retry_var + in_pair); 1073 ANSWER_CHECK_INSERT_ENTRY(sg_fr, current_node, t, _trie_retry_atom + in_pair); 1112 ANSWER_CHECK_INSERT_ENTRY(sg_fr, current_node, CompactPairEndTerm, _trie_retry_null); 1148 ANSWER_CHECK_INSERT_ENTRY(sg_fr, current_node, AbsPair(NULL), _trie_retry_pair); 1160 ANSWER_CHECK_INSERT_ENTRY(sg_fr, current_node, t_dbl[1], _trie_retry_extension); 1162 ANSWER_CHECK_INSERT_ENTRY(sg_fr, current_node, t_dbl[0], _trie_retry_extension); 1163 ANSWER_CHECK_INSERT_ENTRY(sg_fr, current_node, AbsAppl((Term *)f), _trie_retry_double); [all …]
|
H A D | tab.completion.c | 106 void private_completion(sg_fr_ptr sg_fr) { in private_completion() argument 110 while (LOCAL_top_sg_fr != sg_fr) { in private_completion() 121 while (LOCAL_top_sg_fr != sg_fr) { in private_completion()
|
H A D | opt.preds.c | 346 sg_fr_ptr sg_fr = UNTAG_SUBGOAL_LEAF_NODE(sg_node); in p_abolish_table() local 347 FREE_ANSWER_TRIE_NODE(SgFr_answer_trie(sg_fr)); in p_abolish_table() 349 remove_from_global_sg_fr_list(sg_fr); in p_abolish_table() 351 FREE_SUBGOAL_FRAME(sg_fr); in p_abolish_table() 375 sg_fr_ptr sg_fr = UNTAG_SUBGOAL_LEAF_NODE(sg_node); in p_abolish_all_tables() local 376 FREE_ANSWER_TRIE_NODE(SgFr_answer_trie(sg_fr)); in p_abolish_all_tables() 378 remove_from_global_sg_fr_list(sg_fr); in p_abolish_all_tables() 380 FREE_SUBGOAL_FRAME(sg_fr); in p_abolish_all_tables()
|
/dports/lang/yap/yap-6.2.2/H/ |
H A D | trim_trail.h | 21 sg_fr_ptr sg_fr = (sg_fr_ptr) TrailVal(pt1); 22 SgFr_state(sg_fr)--; /* complete_in_use --> complete : compiled_in_use --> compiled */ 23 insert_into_global_sg_fr_list(sg_fr);
|
/dports/lang/yap/yap-6.2.2/C/ |
H A D | absmi.c | 2070 sg_fr_ptr sg_fr = (sg_fr_ptr) TrailVal(pt0); local 2072 SgFr_state(sg_fr)--; /* complete_in_use --> complete : compiled_in_use --> compiled */ 2073 insert_into_global_sg_fr_list(sg_fr);
|