toysolver-0.2.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Copyright(c) Masahiro Sakai 2011
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilitynon-portable (ScopedTypeVariables, BangPatterns)
Safe HaskellNone
LanguageHaskell2010

ToySolver.Arith.BoundsInference

Description

Tightening variable bounds by constraint propagation.

Synopsis

Documentation

inferBounds Source

Arguments

:: forall r . 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.