Home
last modified time | relevance | path

Searched refs:sg_fr (Results 1 – 9 of 9) sorted by relevance

/dports/lang/yap/yap-6.2.2/OPTYap/
H A Dtab.insts.i334 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 Dtab.macros.h479 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 Dopt.macros.h137 { 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 Dtab.tries.c591 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 Dtab.tries.i412 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 Dtab.completion.c106 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 Dopt.preds.c346 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 Dtrim_trail.h21 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 Dabsmi.c2070 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);