X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=expr.py;h=8690504d81d63820d1f450f3b357302497759df6;hb=3d6738c9406c70bd3593b49c596bcf451bc2b946;hp=d07d09fde28d3aca60a43443da73844cf9172917;hpb=1406521aecaab783d2ea267b0f973ac17e091bf7;p=picoclvr.git diff --git a/expr.py b/expr.py index d07d09f..8690504 100755 --- a/expr.py +++ b/expr.py @@ -48,7 +48,7 @@ def generate_program(nb_variables, length): # We take length itself half of the time, and uniform between 1 # and length otherwise. The actual length can be slightly greater - length = min(length, 1+torch.randint(length*2, (1,)).item()) + length = min(length, 1 + torch.randint(length * 2, (1,)).item()) while len(s) < length: v = random_var(nb_variables=nb_variables) s += v + "=" + random_expr(variables, budget=20) + ";" @@ -69,7 +69,7 @@ def extract_results(seq): def generate_sequences(nb, nb_variables=5, length=20): assert nb_variables <= 26 sequences = [] - result_max=99 + result_max = 99 for n in range(nb): result = None while result == None or max(result.values()) > result_max: