Python rename_variables_distinct_astsの例

コード例 #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)

コード例 #2

ファイル: ivy_proof.py プロジェクト: 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)