| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Numeric.Limp.Canon.Analyse.Constants
Description
Analyse a program to find all constants
Synopsis
- constantsProgram :: (Ord z, Ord r, Rep c) => Program z r c -> Either Infeasible (Assignment z r c)
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)