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 不够好 https://github.com/sympy/sympy/issues/25924
- Parameters
expr (sympy.Expr) – 要规范化的表达式
- Return type
布尔值
