limp-0.3.2.3: representation of Integer Linear Programs

Index

*.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
addLinearsNumeric.Limp.Solve.Simplex.StandardForm
ArbitraryNumeric.Limp.Rep.Arbitrary
Assignment 
1 (Type/Class)Numeric.Limp.Rep.Rep, Numeric.Limp.Rep
2 (Data Constructor)Numeric.Limp.Rep.Rep, Numeric.Limp.Rep
assignmentNumeric.Limp.Solve.Simplex.Maps
assignmentAllNumeric.Limp.Solve.Simplex.Maps
assSizeNumeric.Limp.Rep.Rep, Numeric.Limp.Rep
BNumeric.Limp.Program.Bounds, Numeric.Limp.Program
BetweenNumeric.Limp.Program.Constraint, Numeric.Limp.Program
binaryNumeric.Limp.Program.Bounds, Numeric.Limp.Program
BoundNumeric.Limp.Canon.Simplify.Bounder
bounderConstraintNumeric.Limp.Canon.Simplify.Bounder
bounderConstraint1Numeric.Limp.Canon.Simplify.Bounder
bounderProgramNumeric.Limp.Canon.Simplify.Bounder
BoundRNumeric.Limp.Program.Bounds, Numeric.Limp.Program
BoundsNumeric.Limp.Program.Bounds, Numeric.Limp.Program
BoundZNumeric.Limp.Program.Bounds, Numeric.Limp.Program
branchNumeric.Limp.Solve.Branch.Simple
c0Numeric.Limp.Program.Linear, Numeric.Limp.Program
C1Numeric.Limp.Canon.Constraint, Numeric.Limp.Canon
c1Numeric.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
conNumeric.Limp.Program.Linear, Numeric.Limp.Program
conRNumeric.Limp.Program.Linear, Numeric.Limp.Program
constantsProgramNumeric.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
constraintNumeric.Limp.Canon.Convert, Numeric.Limp.Canon
Constraint1Numeric.Limp.Canon.Constraint, Numeric.Limp.Canon
conZNumeric.Limp.Program.Linear, Numeric.Limp.Program
crunchConstraintNumeric.Limp.Canon.Simplify.Crunch
crunchProgramNumeric.Limp.Canon.Simplify.Crunch
CTrueNumeric.Limp.Program.Constraint, Numeric.Limp.Program
DirectionNumeric.Limp.Program.Program, Numeric.Limp.Program
DoneNumeric.Limp.Solve.Simplex.Maps
drop_fake_objectiveNumeric.Limp.Solve.Simplex.Maps
evalNumeric.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
find_initial_satNumeric.Limp.Solve.Simplex.Maps
fromZNumeric.Limp.Rep.Rep, Numeric.Limp.Rep
InfeasibleNumeric.Limp.Error
InfeasibleBoundEmptyNumeric.Limp.Error
InfeasibleNotIntegralNumeric.Limp.Error
IntDoubleNumeric.Limp.Rep.IntDouble, Numeric.Limp.Rep
IterateResultNumeric.Limp.Solve.Simplex.Maps
KNumeric.Limp.Program.ResultKind, Numeric.Limp.Program
KMergeNumeric.Limp.Program.ResultKind, Numeric.Limp.Program
KRNumeric.Limp.Program.ResultKind, Numeric.Limp.Program
KRepNumeric.Limp.Program.ResultKind, Numeric.Limp.Program
KZNumeric.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
linearNumeric.Limp.Canon.Convert, Numeric.Limp.Canon
lookupRowNumeric.Limp.Solve.Simplex.StandardForm
lowerRNumeric.Limp.Program.Bounds, Numeric.Limp.Program
lowerUpperRNumeric.Limp.Program.Bounds, Numeric.Limp.Program
lowerUpperZNumeric.Limp.Program.Bounds, Numeric.Limp.Program
lowerZNumeric.Limp.Program.Bounds, Numeric.Limp.Program
LRNumeric.Limp.Program.ResultKind, Numeric.Limp.Program.Linear, Numeric.Limp.Program
LZNumeric.Limp.Program.ResultKind, Numeric.Limp.Program.Linear, Numeric.Limp.Program
makeIntegralNumeric.Limp.Solve.Branch.Simple
MaximiseNumeric.Limp.Program.Program, Numeric.Limp.Program
maximiseNumeric.Limp.Program.Program, Numeric.Limp.Program
mergeBoundsNumeric.Limp.Canon.Program, Numeric.Limp.Canon
minBy'Numeric.Limp.Solve.Simplex.Maps
MinimiseNumeric.Limp.Program.Program, Numeric.Limp.Program
minimiseNumeric.Limp.Program.Program, Numeric.Limp.Program
minimise_basicsNumeric.Limp.Solve.Simplex.Maps
mkLinearNumeric.Limp.Canon.Linear, Numeric.Limp.Canon
negNumeric.Limp.Program.Linear, Numeric.Limp.Program
objOfRowNumeric.Limp.Solve.Simplex.StandardForm
pivotNumeric.Limp.Solve.Simplex.Maps
pivotRowForColNumeric.Limp.Solve.Simplex.Maps
pprNumeric.Limp.Canon.Pretty
pricing_outNumeric.Limp.Solve.Simplex.Maps
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
ProgressNumeric.Limp.Solve.Simplex.Maps
R 
1 (Type/Class)Numeric.Limp.Rep.Rep, Numeric.Limp.Rep.IntDouble, Numeric.Limp.Rep.Arbitrary, Numeric.Limp.Rep
2 (Data Constructor)Numeric.Limp.Rep.IntDouble, Numeric.Limp.Rep
3 (Data Constructor)Numeric.Limp.Rep.Arbitrary
rNumeric.Limp.Program.Linear, Numeric.Limp.Program
r1Numeric.Limp.Program.Linear, Numeric.Limp.Program
RepNumeric.Limp.Rep.Rep, Numeric.Limp.Rep
rOfNumeric.Limp.Rep.Rep, Numeric.Limp.Rep
simplexNumeric.Limp.Solve.Simplex.Maps
simplex1Numeric.Limp.Solve.Simplex.Maps
simplifyNumeric.Limp.Canon.Simplify
simplify'Numeric.Limp.Canon.Simplify
single_simplexNumeric.Limp.Solve.Simplex.Maps
Standard 
1 (Type/Class)Numeric.Limp.Solve.Simplex.StandardForm
2 (Data Constructor)Numeric.Limp.Solve.Simplex.StandardForm
standardNumeric.Limp.Solve.Simplex.StandardForm
StandardLinearNumeric.Limp.Solve.Simplex.StandardForm
StandardRowNumeric.Limp.Solve.Simplex.StandardForm
StandardSubstNumeric.Limp.Solve.Simplex.StandardForm
StandardVarNumeric.Limp.Solve.Simplex.StandardForm
StuckNumeric.Limp.Solve.Simplex.Maps
substConstraintNumeric.Limp.Canon.Simplify.Subst
substConstraint1Numeric.Limp.Canon.Simplify.Subst
substLinear 
1 (Function)Numeric.Limp.Canon.Simplify.Subst
2 (Function)Numeric.Limp.Solve.Simplex.StandardForm
substProgramNumeric.Limp.Canon.Simplify.Subst
SVNumeric.Limp.Solve.Simplex.StandardForm
SVLowerNumeric.Limp.Solve.Simplex.StandardForm
SVNegNumeric.Limp.Solve.Simplex.StandardForm
SVONumeric.Limp.Solve.Simplex.StandardForm
SVPosNumeric.Limp.Solve.Simplex.StandardForm
SVSNumeric.Limp.Solve.Simplex.StandardForm
toRNumeric.Limp.Program.Linear, Numeric.Limp.Program
unwrapRNumeric.Limp.Rep.IntDouble, Numeric.Limp.Rep
upperRNumeric.Limp.Program.Bounds, Numeric.Limp.Program
upperZNumeric.Limp.Program.Bounds, Numeric.Limp.Program
varsOfConstraintNumeric.Limp.Canon.Constraint, Numeric.Limp.Canon
varsOfLinearNumeric.Limp.Canon.Linear, Numeric.Limp.Canon
varsOfProgramNumeric.Limp.Canon.Program, Numeric.Limp.Canon
Z 
1 (Type/Class)Numeric.Limp.Rep.Rep, Numeric.Limp.Rep.IntDouble, Numeric.Limp.Rep.Arbitrary, Numeric.Limp.Rep
2 (Data Constructor)Numeric.Limp.Rep.IntDouble, Numeric.Limp.Rep
3 (Data Constructor)Numeric.Limp.Rep.Arbitrary
zNumeric.Limp.Program.Linear, Numeric.Limp.Program
z1Numeric.Limp.Program.Linear, Numeric.Limp.Program
zOfNumeric.Limp.Rep.Rep, Numeric.Limp.Rep
zrOfNumeric.Limp.Rep.Rep, 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
3 (Function)Numeric.Limp.Solve.Simplex.StandardForm
_directionNumeric.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
3 (Function)Numeric.Limp.Solve.Simplex.StandardForm
_substsNumeric.Limp.Solve.Simplex.StandardForm