Module AffineEqualityDomain.ExpressionBounds

As it is specifically used for the new affine equality domain, it can only provide bounds if the expression contains known constants only and in that case, min and max are the same.

Parameters

Signature

val bound_texpr : t -> GobApron.Texpr1.t -> Z.t option * Z.t option