Next:
Usage
Up:
ECLiPSe Constraint Library Manual
Previous:
The Extended CHR Implementation
Index
EPLEX: The ECLiPSe/CPLEX Interface
Usage
Ranged and Typed Variables
Eplex Instances
eplex_instance(+Name)
Linear Constraints
eplex: (X =:= Y)
eplex: (X >= Y)
eplex: (X =< Y)
Linear Expressions
Integrality
Solving Simple Eplex Problems
Examples
Black-Box Interface
Optimization
optimize(+Objective, -Cost)
Examples
Advanced Use of Eplex Instances
Obtaining Solver State Information
Creating Eplex Instances Dynamically
Interface for CLP-Integration: Solver Demons
eplex_solver_setup(+Objective, -Cost, +ListOfOptions, +Priority, +TriggerModes)
Example
Probing Using a Different Objective
eplex_probe(+Objective, -Cost)
Destroying the Solver State
eplex_cleanup
Eplex Instance Interface Example: definition of optimize/2:
Low-Level Solver Interface
Setting Up a Solver State
lp_demon_setup(+Objective, -Cost, +ListOfOptions, +Priority, +TriggerModes, -Handle)
lp_setup(+NormConstraints, +Objective, +ListOfOptions, -Handle)
Adding Constraints to a Solver State
lp_add_constraints(+Handle, +Constraints, +NewIntegers)
lp_add(+Handle, +NewNormConstraints, +NewIntegers)
Running a Solver State Explicitly
lp_solve(+Handle, -Cost)
lp_probe(+Handle, +Objective, -Cost)
Accessing the Solver State
lp_get(+Handle, +What, -Value)
lp_var_get(+Handle,+Var, +What, -Value)
Changing Solver State Settings
lp_set(+Handle, +What, +Value)
Destroying a Solver State
lp_cleanup(+Handle)
Miscellaneous Predicates
lp_read(+File, +Format, -Handle)
normalise_cstrs(+Constraints, -NormConstraints, -NonlinConstr)
Multiple Solver States
External Solver Output and Log
Dealing with Large and Other Non-standard Numbers
Error Handling
Solver Specific Information
Versions and Licences
Access to Global Solver Parameters
lp_get(optimizer, -Value)
lp_get(+ParamName, -Value)
lp_set(+ParamName, +Value)
int_tolerance(-Value)
Warwick Harvey
2002-05-15
