Home
last modified time | relevance | path

Searched refs:cgc_time (Results 1 – 6 of 6) sorted by relevance

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-global.h350 double cgc_time; /* Total time spent in CGC */ member
H A DATOMS115 A cgc_time "cgc_time"
H A Dpl-prims.c5351 v[2] = (int64_t)(GD->clauses.cgc_time * 1000.0); in qp_statistics__LD()
5451 v->value.f = GD->clauses.cgc_time; in swi_statistics__LD()
H A Dpl-proc.c2475 GD->clauses.cgc_time += (gct=ThreadCPUTime(LD, CPU_USER) - t0); in pl_garbage_collect_clauses()
/dports/lang/swi-pl/swipl-8.2.3/library/
H A Dstatistics.pl196 statistics(cgc_time, Time)
/dports/lang/swi-pl/swipl-8.2.3/man/
H A Dbuiltin.doc10340 cgc_time & Time spent in clause garbage collections \\