Searched refs:Deterministic (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Demu.c385 #define Deterministic (VM_FLAGS & DET)
389 #define Deterministic emu_flags macro
4165 if (!Deterministic) {
4770 if (!Deterministic) {
4780 if (!Deterministic) {
4799 if (Deterministic) {
4812 if (Deterministic) {
4882 pw1->val.ptr = Deterministic ? B.args : BPrev(B.args);
5444 if (Deterministic) {
5461 if (Deterministic) {
[all...]
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dmultiuser-sec.tex356 \section{Deterministic Transactions}
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dkernel.tex406 \subsection{Deterministic execution}

Completed in 39 milliseconds