Lines Matching refs:expr
73 def normalize(expr: str) -> str:
78 return re.sub(NORMALIZE_STRIP_RE, '', expr)
85 def is_simplifiable(expr: str) -> bool:
92 if ALG_TRUNCATED_TO_SELF_RE.match(expr):
102 Return a list of pairs of (expr, value) where expr is an expression and
106 expressions = sorted(expr
107 for expr in inputs.generate_expressions(names)
108 if not is_simplifiable(expr))
139 for expr, value, output in zip(expressions, values, outputs):
142 if normalize(expr) != normalize(output):
144 expression=expr,