| Copyright | (c) Masahiro Sakai 2011 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | non-portable (ScopedTypeVariables, BangPatterns) |
| Safe Haskell | Safe |
| Language | Haskell2010 |
ToySolver.Arith.BoundsInference
Description
Tightening variable bounds by constraint propagation.
Documentation
Arguments
| :: RealFrac r | |
| => BoundsEnv r | initial bounds |
| -> [Atom r] | constraints |
| -> VarSet | integral variables |
| -> Int | limit of iterations |
| -> BoundsEnv r |
tightening variable bounds by constraint propagation.
computeInterval :: (Real r, Fractional r) => BoundsEnv r -> Expr r -> Interval r Source #
compute bounds for a Expr with respect to BoundsEnv.