Searched refs:canonicalize_bool_expr (Results 1 – 2 of 2) sorted by relevance
47 canonicalize_bool_expr
366 def canonicalize_bool_expr(expr: SympyBoolean) -> SympyBoolean: function395 return type(expr)(*map(canonicalize_bool_expr, expr.args))4384 axioms = (canonicalize_bool_expr(a.xreplace(self.var_to_val)) for a in axioms)4394 expr = canonicalize_bool_expr(expr)4408 equiv[canonicalize_bool_expr(sympy.Not(expr))] = sympy.false4456 expr = canonicalize_bool_expr(expr)4543 new_expr = canonicalize_bool_expr(safe_expand(new_expr))5393 expr = canonicalize_bool_expr(expr)