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

Portabilitynon-portable (ScopedTypeVariables, BangPatterns)
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellNone

Algorithm.BoundsInference

Description

Tightening variable bounds by constraint propagation.

Synopsis

Documentation

type BoundsEnv r = VarMap (Interval r)Source

inferBoundsSource

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 rSource

compute bounds for a Expr with respect to BoundsEnv.