Python rename_variables_distinct_asts Beispiele

Beispiel #1

def make_distinct_vars(sorts, *asts):
    vars = [il.Variable('V' + str(i), sort) for i, sort in enumerate(sorts)]
    return lu.rename_variables_distinct_asts(vars, asts)

Beispiel #2

Datei: ivy_proof.py Projekt: yotamfe/ivy

def make_distinct_vars(sorts,*asts):
    vars = [il.Variable('V'+str(i),sort) for i,sort in enumerate(sorts)]
    return lu.rename_variables_distinct_asts(vars,asts)