Lines Matching refs:val
117 #define DynEnvVal(e) (((e)-1)->val.wptr)
130 SP->val.wptr = (uword *) (Val);
355 *--TT = ((pword *) (pw))->val.ptr;\
361 *--TT = ((pword *) (pw))->val.ptr;\
379 *--TT = ((pword *) (pw))->val.ptr;\
524 pw->val.ptr = pw;\
529 pw->val.ptr = pw;\
538 pw->val.ptr = *ttptr++;\
698 (pw)->val.all = (uword) (v);
712 aux_pw.val.all = (uword) (term); \
723 aux_pw.val.all = (uword) (term); \
740 aux_pw.val.all = (uword) (term); \
752 : ((pw) + 1)->val.ptr\
760 if ((count = pw1->val.nint) == pw2->val.nint) { \
777 if ((count = (v1).ptr->val.nint) == (v2).ptr->val.nint) { \
795 Return_Bind_Var(v, t, result.val.all, result.tag.all); \
798 IsSimple(t) ? SimpleEq(t.kernel, v, result.val) \
799 : tag_desc[TagType(t)].equal(result.val.ptr, v.ptr)); \
806 Return_Bind_Var(v, t, result.val.all, result.tag.all); \
809 IsSimple(t) ? SimpleEq(t.kernel, v, result.val) \
810 : tag_desc[TagType(t)].equal(result.val.ptr, v.ptr)); \
828 #define ATTR_IO_TERM_SIZE (6 * p_meta_arity_->val.nint - 3)
948 #define SuspStamp(p) ((p)[SUSP_STATE].val.ptr)
949 #define SuspPrevious(p) (((pword *) p)[SUSP_LD].val.ptr)
950 #define SuspProc(p) ((pri*)(((pword *) p)[SUSP_PRI].val.wptr))
952 #define SuspModule(p) (((pword *) p)[SUSP_MODULE].val.did)
966 (p)[SUSP_LD].val.ptr = (pword *)LD;\
969 (p)[SUSP_PRI].val.wptr = (uword *)(proc);\
972 (p)[SUSP_LD].val.ptr = (pword *)0;\
990 ((p)->val.ptr < tg)
994 (p)->val.ptr = GB;
999 if ((p)->val.ptr < GB /* implies p < GB */) {\
1001 (p)->val.ptr = BChp(B.args)->tg;\
1005 (p)[SUSP_STATE].val.ptr = BChp(B.args)->tg;\
1088 #define LD_END WL[WL_PREVIOUS_LD].val.ptr
1111 #define WLMaxPrio(wl) (DidArity(wl->val.did) - WL_FIRST + 1)
1117 _pw[0].val.ptr = vptr; \
1120 _pw[1].val.ptr = MU; \
1149 if (var->val.ptr < OCB && IsCompound(t)) { \
1151 if (ec_occurs(var->val, var->tag, v, t)) \
1193 #define OPrev(po) ((po)[ORC_NEXT].val.ptr)
1194 #define OAlt(po) ((po)[ORC_ALT].val.nint)
1195 #define OCount(po) ((po)[ORC_NTRY].val.nint)
1202 #define O_Set_Alt(po, alt) (po)[ORC_ALT].val.nint = (alt);
1203 #define O_Next_Alt(po) (po)[ORC_ALT].val.nint++;
1205 #define O_Reset_Try_Count(po) (po)[ORC_NTRY].val.nint = 0;
1206 #define O_Count_Try(po) (po)[ORC_NTRY].val.nint++;
1212 _p[ORC_NEXT].val.ptr = TO; \
1227 TO = TO[ORC_NEXT].val.ptr; /* pop */ \
1331 #define DfidDepth (GLOBVAR[1].val.ptr)
1332 #define MaxDepth (GLOBVAR[2].val.ptr->val.nint)
1333 #define DepthLimit (GLOBVAR[3].val.ptr->val.nint)
1334 #define DepthOV (GLOBVAR[4].val.ptr->val.nint)
1366 #define DInvoc(td) (td)[TF_INVOC].val.nint
1368 #define DLevel(td) (td)[TF_LEVEL].val.nint
1369 #define DAncestor(td) (td)[TF_ANCESTOR].val.ptr
1370 #define DProc(td) (td)[TF_PROC].val.priptr
1371 #define DPath(td) (td)[TF_PATH].val.did
1372 #define DLine(td) (td)[TF_LINE].val.nint
1373 #define DFrom(td) (td)[TF_FROM].val.nint
1374 #define DTo(td) (td)[TF_TO].val.nint
1382 pw[TF_GOAL].val.all = vgoal.all; \
1387 pw[TF_PROC].val.priptr = proc; \
1394 pw[TF_MODULE].val.did = mod; \
1405 pw[TF_GOAL].val.all = vgoal.all; \
1410 pw[TF_PROC].val.priptr = proc; \
1417 pw[TF_MODULE].val.did = mod; \
1431 pw[TF_PROC].val.priptr = proc; \
1438 pw[TF_MODULE].val.did = mod; \