AddOrSubExpr
Value members
Inherited methods
Returns a bound on the degree of this expression.
Returns a bound on the degree of this expression.
- Inherited from
- Expr
Returns the bound for zbf, using a cached value if it is available.
Returns the bound for zbf, using a cached value if it is available.
- Inherited from
- Expr
Returns a lower bound on the absolute value of this expression as a bit bound.
Returns a lower bound on the absolute value of this expression as a bit bound.
TODO: We could do better here wrt to addition (need a fastSignum: Option[Int])
- Inherited from
- Expr
Returns a separation bound for this expression as a bit bound. A separation bound is a lower-bound on the value of this expression that is only valid if this expression is not 0. This bound can thus be used to determine if this value is actually 0 and, if not, the sign, by simply approximating the expression with enough accuracy that it falls on one side or the other of the separation bound.
Returns a separation bound for this expression as a bit bound. A separation bound is a lower-bound on the value of this expression that is only valid if this expression is not 0. This bound can thus be used to determine if this value is actually 0 and, if not, the sign, by simply approximating the expression with enough accuracy that it falls on one side or the other of the separation bound.
- Inherited from
- Expr