torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr

torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr(expr)

规范化布尔表达式，将其转换为 lt / le 不等式，并将所有非常量项移到右侧。我们通过 cnf 规范化 And / Ors / Not，然后递归地规范化它们的子表达式。注意：sympy.Rel.canonical 不够好 sympy/sympy#25924

参数

expr (sympy.Expr) – 要规范化的表达式

返回类型

_T