Home
last modified time | relevance | path

Searched refs:CUT_store_tg_answers (Results 1 – 4 of 4) sorted by relevance

/dports/lang/yap/yap-6.2.2/OPTYap/
H A Dor.scheduler.c323 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 Dor.cut.c123 …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 Dtab.macros.h46 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 Dtab.insts.i1188 tg_solutions = CUT_store_tg_answers(leftmost_until, tg_solutions,
1266 tg_solutions = CUT_store_tg_answers(leftmost_until, tg_solutions,