limp-0.3.2.3: representation of Integer Linear Programs

Safe HaskellNone
LanguageHaskell2010

Numeric.Limp.Canon.Analyse.Constants

Description

Analyse a program to find all constants

Synopsis

Documentation

constantsProgram :: (Ord z, Ord r, Rep c) => Program z r c -> Either Infeasible (Assignment z r c) Source #

Find the constants in a program, only by looking at the bounds with lo==up. (See Numeric.Limp.Canon.Simplify.Stride to convert constraints to bounds)