Lines Matching refs:tx
3257 p_ac_eq_init(value vx, type tx, value vy, type ty, value vc, type tc)
3266 Check_Ref(tx);
3400 p_ac_eq_prop(value vx, type tx, value vy, type ty, value vc, type tc,
3412 if (!IsRef(tx)) {
3424 result = Unify_Pw(vx, tx, val, tag);
5412 p_indomain_init(value vx, type tx, value vlo, type tlo)
5419 if (IsInteger(tx)) {
5424 if (!IsMeta(tx)) {
5466 p_indomain_try(value vx, type tx, value vtry, type ttry)
5473 if (!IsRef(tx)) {
5513 Return_Unify_Integer(vx, tx, try)