Python is_var Examples

Example #1

def normalize_alpha(program):
    rename = {}
    for line in program:
        for token in line[1:]:
            if signature.is_var(token):
                rename.setdefault(token, alphabet[len(rename)])
    return tuple(
        tuple(rename.get(token, token) for token in line)
        for line in program
    )

Example #2

File: expressions.py Project: fritzo/pomagma

 def is_var(self):
     return signature.is_var(self.name)