Lines Matching defs:var
1072 pword *var;
1110 var = MetaTerm(vv.ptr);
1111 Dereference_(var);
1112 var = var->val.ptr;
1113 if ((arity = DidArity(var->val.did)) < slot) {
1120 attr[i] = var[i];
1121 var = MetaTerm(vv.ptr);
1122 if (vv.ptr < GB && !NewLocation(var->val.ptr)) {
1123 Trail_Pword(var);
1125 var->val.ptr = attr;
1126 var->tag.kernel = TCOMP;
1129 var += slot;
1132 if (!NewLocation(var) && !NewValue(var->val, var->tag))
1134 Trail_Pword(var);
1136 var->tag.kernel = nta;
1137 var->val.ptr = nva;
1140 Dereference_(var);
1141 if (IsVar(var->tag) || IsName(var->tag)) {
1143 Return_Unify_Pw(var->val, var->tag, va, ta);
1167 pword *var;
1190 var = MetaTerm(vv.ptr);
1191 Dereference_(var);
1192 var = var->val.ptr;
1193 if (DidArity(var->val.did) < slot) {
1197 var += slot;
1198 Dereference_(var);
1199 return var;
1215 pword *var;
1218 var = get_attribute(vv, tv, vm, tm, &err);
1219 if (var == 0) {
1226 Return_Unify_Pw(va, ta, var->val, var->tag)
1235 pword *var;
1240 var = get_attribute(vv, tv, vmod, tmod, &err);
1241 if (var == 0) {
1249 if (IsRef(var->tag)) {
1251 } else if (IsStructure(var->tag)) {
1252 mask = var->val.ptr + 1;
1254 Request_Unify_Pw(va, ta, var->val, var->tag)