| *. | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| .* | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| .+. | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| .-. | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| :! | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| :&& | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| :< | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| :<= | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| :== | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| :> | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| :>= | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| Assignment | |
| 1 (Type/Class) | Numeric.Limp.Rep |
| 2 (Data Constructor) | Numeric.Limp.Rep |
| assSize | Numeric.Limp.Rep |
| B | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| Between | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| binary | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| Bound | Numeric.Limp.Canon.Simplify.Bounder |
| bounderConstraint | Numeric.Limp.Canon.Simplify.Bounder |
| bounderConstraint1 | Numeric.Limp.Canon.Simplify.Bounder |
| bounderProgram | Numeric.Limp.Canon.Simplify.Bounder |
| BoundR | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| Bounds | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| BoundZ | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| c0 | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| C1 | Numeric.Limp.Canon.Constraint, Numeric.Limp.Canon |
| c1 | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| check | |
| 1 (Function) | Numeric.Limp.Program.Eval, Numeric.Limp.Program |
| 2 (Function) | Numeric.Limp.Canon.Constraint, Numeric.Limp.Canon |
| checkBounds | |
| 1 (Function) | Numeric.Limp.Program.Eval, Numeric.Limp.Program |
| 2 (Function) | Numeric.Limp.Canon.Program, Numeric.Limp.Canon |
| checkProgram | |
| 1 (Function) | Numeric.Limp.Program.Eval, Numeric.Limp.Program |
| 2 (Function) | Numeric.Limp.Canon.Program, Numeric.Limp.Canon |
| con | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| conR | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| constantsProgram | Numeric.Limp.Canon.Analyse.Constants |
| Constraint | |
| 1 (Type/Class) | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| 2 (Type/Class) | Numeric.Limp.Canon.Constraint, Numeric.Limp.Canon |
| 3 (Data Constructor) | Numeric.Limp.Canon.Constraint, Numeric.Limp.Canon |
| constraint | Numeric.Limp.Canon.Convert, Numeric.Limp.Canon |
| Constraint1 | Numeric.Limp.Canon.Constraint, Numeric.Limp.Canon |
| conZ | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| crunchConstraint | Numeric.Limp.Canon.Simplify.Crunch |
| crunchProgram | Numeric.Limp.Canon.Simplify.Crunch |
| CTrue | Numeric.Limp.Program.Constraint, Numeric.Limp.Program |
| Direction | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| eval | Numeric.Limp.Program.Eval, Numeric.Limp.Program |
| evalR | |
| 1 (Function) | Numeric.Limp.Program.Eval, Numeric.Limp.Program |
| 2 (Function) | Numeric.Limp.Canon.Linear, Numeric.Limp.Canon |
| fromZ | Numeric.Limp.Rep |
| IntDouble | Numeric.Limp.Rep |
| K | Numeric.Limp.Program.ResultKind, Numeric.Limp.Program |
| KMerge | Numeric.Limp.Program.ResultKind, Numeric.Limp.Program |
| KR | Numeric.Limp.Program.ResultKind, Numeric.Limp.Program |
| KRep | Numeric.Limp.Program.ResultKind, Numeric.Limp.Program |
| KZ | Numeric.Limp.Program.ResultKind, Numeric.Limp.Program |
| Linear | |
| 1 (Type/Class) | Numeric.Limp.Program.ResultKind, Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| 2 (Type/Class) | Numeric.Limp.Canon.Linear, Numeric.Limp.Canon |
| 3 (Data Constructor) | Numeric.Limp.Canon.Linear, Numeric.Limp.Canon |
| linear | Numeric.Limp.Canon.Convert, Numeric.Limp.Canon |
| lowerR | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| lowerUpperR | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| lowerUpperZ | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| lowerZ | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| LR | Numeric.Limp.Program.ResultKind, Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| LZ | Numeric.Limp.Program.ResultKind, Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| Maximise | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| maximise | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| mergeBounds | Numeric.Limp.Canon.Program, Numeric.Limp.Canon |
| Minimise | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| minimise | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| mkLinear | Numeric.Limp.Canon.Linear, Numeric.Limp.Canon |
| neg | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| ppr | Numeric.Limp.Canon.Pretty |
| Program | |
| 1 (Type/Class) | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| 2 (Data Constructor) | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| 3 (Type/Class) | Numeric.Limp.Canon.Program, Numeric.Limp.Canon |
| 4 (Data Constructor) | Numeric.Limp.Canon.Program, Numeric.Limp.Canon |
| program | |
| 1 (Function) | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| 2 (Function) | Numeric.Limp.Canon.Convert, Numeric.Limp.Canon |
| R | |
| 1 (Type/Class) | Numeric.Limp.Rep |
| 2 (Data Constructor) | Numeric.Limp.Rep |
| r | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| r1 | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| Rep | Numeric.Limp.Rep |
| rOf | Numeric.Limp.Rep |
| simplify | Numeric.Limp.Canon.Simplify |
| simplify' | Numeric.Limp.Canon.Simplify |
| substConstraint | Numeric.Limp.Canon.Simplify.Subst |
| substConstraint1 | Numeric.Limp.Canon.Simplify.Subst |
| substLinear | Numeric.Limp.Canon.Simplify.Subst |
| substProgram | Numeric.Limp.Canon.Simplify.Subst |
| toR | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| unwrapR | Numeric.Limp.Rep |
| upperR | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| upperZ | Numeric.Limp.Program.Bounds, Numeric.Limp.Program |
| varsOfConstraint | Numeric.Limp.Canon.Constraint, Numeric.Limp.Canon |
| varsOfLinear | Numeric.Limp.Canon.Linear, Numeric.Limp.Canon |
| varsOfProgram | Numeric.Limp.Canon.Program, Numeric.Limp.Canon |
| Z | |
| 1 (Type/Class) | Numeric.Limp.Rep |
| 2 (Data Constructor) | Numeric.Limp.Rep |
| z | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| z1 | Numeric.Limp.Program.Linear, Numeric.Limp.Program |
| zOf | Numeric.Limp.Rep |
| zrOf | Numeric.Limp.Rep |
| _bounds | |
| 1 (Function) | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| 2 (Function) | Numeric.Limp.Canon.Program, Numeric.Limp.Canon |
| _constraints | |
| 1 (Function) | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| 2 (Function) | Numeric.Limp.Canon.Program, Numeric.Limp.Canon |
| _direction | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| _objective | |
| 1 (Function) | Numeric.Limp.Program.Program, Numeric.Limp.Program |
| 2 (Function) | Numeric.Limp.Canon.Program, Numeric.Limp.Canon |