Home
last modified time | relevance | path

Searched refs:PL_put_choice (Results 1 – 3 of 3) sorted by relevance

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-trace.c122 PL_put_choice(term_t t, Choice ch) in PL_put_choice() function
1236 PL_put_choice(argv+2, bfr); in traceInterception()
H A Dpl-funcs.h618 COMMON(void) PL_put_choice(term_t t, Choice ch);
H A Dpl-wam.c1202 PL_put_choice(argv+3, bfr); in callBreakHook()