torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr¶
- torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr(expr)[原始碼][原始碼]¶
透過將布林表達式轉換為 lt / le 不等式，並將所有非常數項移至右側 (rhs)，來將其規範化。 我們透過 cnf 規範化 And / Ors / Not，然後遞迴地規範化其子表達式。注意：sympy.Rel.canonical 不夠好 https://github.com/sympy/sympy/issues/25924
- 參數
expr (sympy.Expr) – 要規範化的表達式
- 返回類型
_T
