torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr

torch.fx.experimental.symbolic_shapes.canonicalize_bool_expr(expr) [source]

Приводит булево выражение к каноническому виду, преобразуя его в неравенство lt / le и перемещая все неконстантные слагаемые в правую часть. Мы приводим And / Ors / Not к каноническому виду с помощью cnf, а затем рекурсивно приводим их подвыражения к каноническому виду. Примечание: sympy.Rel.canonical недостаточно хорош sympy/sympy#25924

Параметры:

expr (sympy.Expr) – Выражение для приведения к каноническому виду

Тип возвращаемого значения:

_T