torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr#
- torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr(expr)[source]#
通过将布尔表达式转换为 lt / le 不等式并将所有非恒定项移至右侧来规范化布尔表达式。我们通过 cnf 规范化 And / Ors / Not，然后递归地规范化它们的子表达式，nb. sympy.Rel.canonical 不够好 sympy/sympy#25924
- 参数
expr (sympy.Expr) – 要规范化的表达式
- 返回类型
_T