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