def mapping(r, s, v):
mapping = {}
mapping_1 = {}
seq = Seq()
cabezaY = v.cabeza.argumentos
varsX = r.orden
j = 0
for y in s.orden:
if cabezaY.has_key(y):
mapping[y] = varsX[j]
mapping_1[varsX[j]] = y
else:
mapping[y] = seq.nuevaVar(y)
j = j + 1
return mapping, mapping_1
def mapping(r, s, v):
mapping = {}
mapping_1 = {}
seq = Seq()
cabezaY = v.cabeza.argumentos
varsX = r.orden
j = 0
for y in s.orden:
if cabezaY.has_key(y):
mapping[y] = varsX[j]
mapping_1[varsX[j]] = y
else:
mapping[y] = seq.nuevaVar(y)
j = j + 1
return mapping, mapping_1
