Lines Matching refs:tx
533 #define Unify_Pw(vx,tx,vy,ty) ec_unify_(vx,tx,vy,ty,&MU)
537 #define Request_Unify_Pw(vx,tx,vy,ty) \
538 uNiFy_result = uNiFy_result == PFAIL ? PFAIL : ec_unify_(vx,tx,vy,ty,&MU);
540 #define Request_Unify_Type(vx,tx,valytype,v,t) \
545 Request_Unify_Pw(vx,tx,py.val,py.tag)\
549 #define Request_Unify_Integer(vx,tx,vy) Request_Unify_Type(vx,tx,nint,vy,TINT)
550 #define Request_Unify_Atom(vx,tx,vy) \
551 Request_Unify_Type(vx,tx,did,vy,((vy) == d_.nil ? TNIL : TDICT))
552 #define Request_Unify_String(vx,tx,vy) Request_Unify_Type(vx,tx,ptr,vy,TSTRG)
553 #define Request_Unify_List(vx,tx,vy) Request_Unify_Type(vx,tx,ptr,vy,TLIST)
554 #define Request_Unify_Structure(vx,tx,vy) Request_Unify_Type(vx,tx,ptr,vy,TCOMP)
555 #define Request_Unify_Nil(vx,tx) Request_Unify_Type(vx,tx,nint,0,TNIL)
557 #define Request_Unify_Float(vx,tx,dbl) { \
560 Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
563 #define Request_Unify_Double(vx,tx,dbl) { \
566 Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
569 #define Request_Unify_Interval(vx,tx,from,to) { \
572 Request_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
581 #define Return_Unify_Pw(vx,tx,vy,ty) return ec_unify_(vx,tx,vy,ty,&MU);
583 #define Return_Unify_Type(vx,tx,valytype,v,t) \
588 Return_Unify_Pw(vx,tx,py.val,py.tag)\
591 #define Return_Unify_Integer(vx,tx,vy) Return_Unify_Type(vx,tx,nint,vy,TINT)
592 #define Return_Unify_Atom(vx,tx,vy) \
593 Return_Unify_Type(vx,tx,did,vy,((vy) == d_.nil ? TNIL : TDICT))
594 #define Return_Unify_String(vx,tx,vy) Return_Unify_Type(vx,tx,ptr,vy,TSTRG)
595 #define Return_Unify_List(vx,tx,vy) Return_Unify_Type(vx,tx,ptr,vy,TLIST)
596 #define Return_Unify_Structure(vx,tx,vy) Return_Unify_Type(vx,tx,ptr,vy,TCOMP)
597 #define Return_Unify_Nil(vx,tx) Return_Unify_Type(vx,tx,nint,0,TNIL)
599 #define Return_Unify_Float(vx,tx,dbl) { \
602 Return_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
605 #define Return_Unify_Double(vx,tx,dbl) { \
608 Return_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \
611 #define Return_Unify_Interval(vx,tx,from,to) { \
614 Return_Unify_Pw(vx, tx, result_pw.val, result_pw.tag) \