A mixin for the SeparationBound that implements the BMFSS bound.
A mixin that will move all divisions up to the top of the expression tree,
ensuring there is, at most, one division in a Real
.
A type class that indicates that the type A
has a structure that can be
modelled by an Expr[A]
.
This folds all ring ops (+, -, *) on constants to constants.
An Expr
describes a simple structure for algebraic expressions.
A mix-in for RealLike
that adds an internal floating pointer filter.
A mixin for a Real
that let's us transform the tree as its being built.
A SeparationBound
provides a way to bound a real number s.