Python rename_variables_distinct_asts Examples

Programming Language: Python

Namespace/Package Name: ivy_logic_utils

Method/Function: rename_variables_distinct_asts

Examples at hotexamples.com: 2

Python rename_variables_distinct_asts - 2 examples found. These are the top rated real world Python examples of ivy_logic_utils.rename_variables_distinct_asts extracted from open source projects. You can rate examples to help us improve the quality of examples.

Example #1

Show file

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)

Example #2

Show file

File: ivy_proof.py Project: 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)