Skip to content
Snippets Groups Projects
Commit 791f7ae2 authored by Antonio MATTAR's avatar Antonio MATTAR
Browse files
parents 9159d9d2 bd19b121
No related branches found
No related tags found
No related merge requests found
File deleted
No preview for this file type
File deleted
......@@ -103,7 +103,10 @@ def buildAbs(terme):
assert (checkType(terme) == ABS)
input = parseInputFromAbs(terme)
output = parseOutputFromAbs(terme)
if terme [0]!= '(':
return new_abs((buildTerm(input)),buildTerm(output))
else:
return buildAbs(getTermFromParantheses(terme,0))
def buildApp(terme):
assert (checkType(terme) == APP)
......@@ -114,8 +117,6 @@ def buildApp(terme):
else:
t = buildTerm(liste_de_termes[0])
for k in range(1, n):
if liste_de_termes[k] == '':
return t
t = new_app(t, buildTerm(liste_de_termes[k]))
return t
......@@ -165,5 +166,4 @@ def remove_multiple_spaces(terme):
# print(findClosingParanthesesIndex('()',0))
#print(remove_multiple_spaces("x y z (#x.z g)"))
#print(buildTerm("x "))
print(checkType("(((#x.x)))"))
print(buildTerm('((((((((((((x )))))))))))) '))
\ No newline at end of file
print(buildAbs("(((#x.x)))"))
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment