Searched refs:DidAttainable (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Ddict.h62 #define DidAttainable(D) DidPtr(D)->attainable macro
77 #define Mark_Did(D) DidAttainable(D) = 1
78 #define Mark_VarName(t) DidAttainable(TagDid(t)) = 1
H A Ddict.c1059 p_fprintf(current_err_, "attainable=%d ", DidAttainable(entry));

Completed in 88 milliseconds