Searched refs:CUT_store_tg_answers (Results 1 – 4 of 4) sorted by relevance
/dports/lang/yap/yap-6.2.2/OPTYap/ |
H A D | or.scheduler.c | 323 tg_solutions = CUT_store_tg_answers(leftmost_until, tg_solutions, 390 tg_solutions = CUT_store_tg_answers(leftmost_until, tg_solutions, 455 tg_solutions = CUT_store_tg_answers(leftmost_or_fr, tg_solutions, 493 tg_solutions = CUT_store_tg_answers(leftmost_until, tg_solutions,
|
H A D | or.cut.c | 123 …tg_solutions = CUT_store_tg_answers(leftmost_or_fr, tg_solutions, BRANCH_LTT(worker_id, OrFr_depth… in prune_shared_branch() 211 tg_solutions = CUT_store_tg_answers(leftmost_or_fr, tg_solutions, ltt); in prune_shared_branch()
|
H A D | tab.macros.h | 46 static inline tg_sol_fr_ptr CUT_store_tg_answers(or_fr_ptr, tg_sol_fr_ptr, int); 821 static inline tg_sol_fr_ptr CUT_store_tg_answers(or_fr_ptr or_frame, tg_sol_fr_ptr new_solution, in… in CUT_store_tg_answers() function
|
H A D | tab.insts.i | 1188 tg_solutions = CUT_store_tg_answers(leftmost_until, tg_solutions, 1266 tg_solutions = CUT_store_tg_answers(leftmost_until, tg_solutions,
|