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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Ddict.h449 #define TR_CLAUSE 0x00000200 macro
H A Dbip_db.c1420 *pflag |= TR_CLAUSE;
1574 if ((flag & (TR_GOAL|TR_CLAUSE)) == (TR_GOAL|TR_CLAUSE)) {
1579 (flag & ~(TR_GLOBAL|TR_TOP|TR_GOAL|TR_CLAUSE|TR_WRITE|TR_PROTECT)))
1871 if (flags & TR_CLAUSE) {
H A Dread.c1931 if (flags & TR_CLAUSE)
H A Dwrite.c97 (idwrite & WRITE_CLAUSE ? TR_CLAUSE : 0))

Completed in 102 milliseconds