Numeric.Limp.Program.Bounds

Define upper and lower bounds of program variables.

Documentation

data Bounds z r c

Define upper and lower bounds of program variables. Bounds may be specified multiple times: the intersection of all bounds is used.

Constructors

BoundZ (B (Z c) z)

BoundR (B (R c) r)

Instances

(Show z, Show r, Show (Z c), Show (R c)) => Show (Bounds z r c)

Methods

showsPrec :: Int -> Bounds z r c -> ShowS

show :: Bounds z r c -> String

showList :: [Bounds z r c] -> ShowS

type B rep v = (Maybe rep, v, Maybe rep)

Maybe a lower bound, the variable's name, and maybe an upper bound.

lowerUpperZ :: Rep c => Z c -> z -> Z c -> Bounds z r c

Create a lower and upper bound for an integer variable.

lowerZ :: Rep c => Z c -> z -> Bounds z r c

Create only a lower bound for an integer variable.

upperZ :: Rep c => z -> Z c -> Bounds z r c

Create only an upper bound for an integer variable.

binary :: Rep c => z -> Bounds z r c

A binary integer variable: can only be 0 or 1.

lowerUpperR :: Rep c => R c -> r -> R c -> Bounds z r c

Create a lower and upper bound for a real variable.

lowerR :: Rep c => R c -> r -> Bounds z r c

Create only a lower bound for a real variable.

upperR :: Rep c => r -> R c -> Bounds z r c

Create only an upper bound for a real variable.