Searched refs:trimcore (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dpdb.pl57 trimcore/0,
326 trimcore :- label
H A Dt_all.pl44 trimcore/0
201 trimcore,
H A Dtoplevel.pl290 (get_flag(break_level, 0) -> trimcore ; true),
531 (get_flag(break_level, 0) -> trimcore ; true),
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsmemory.tex109 (see \bipref{trimcore/0}{../bips/kernel/env/trimcore-0.html}),

Completed in 42 milliseconds