严格最小最大约束

class torch.fx.experimental.symbolic_shapes.StrictMinMaxConstraint(warn_only, vr)

对于客户端：在此维度上的大小必须在‘vr’范围内（指定了一个上下限，包括上下限），并且必须是非负的，且不应为0或1（但请参见下面的注释）。

对于后端：在此维度上不得有任何未被给定的上下界隐含的守卫。无论下界如何，后端都可以假设大小为非负数，并且不为0或1。

一个无界的StrictMinMaxConstraint可以被认为是“RelaxedUnspecConstraint”的严格版本。

注意：导出时通常会不正确地假设图表适用于0/1，尽管在跟踪时我们假设大小不是0或1。这个想法是，如果我们生成一个适用于一系列值的图表，它也将适用于N=0/1。

render(source)

格式化约束方程