Searched refs:result_pw (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | sepia.h | 558 pword result_pw; \
559 Make_Checked_Float(&result_pw, dbl); \
560 Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
564 pword result_pw; \
565 Make_Checked_Double(&result_pw, dbl); \
566 Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
570 pword result_pw; \
571 Make_Checked_Interval(&result_pw, fro
[all...] |
| H A D | bip_domain.c | 3120 pword result_pw; local
3121 pword *result = &result_pw;
3159 Return_Unify_Pw(l3, t3, result_pw.val, result_pw.tag);
|
Completed in 43 milliseconds