- $<=(?, ?)
- No description available
- $=(?, ?)
- No description available
- $=<(?, ?)
- No description available
- $>=(?, ?)
- No description available
- ?Vars :: ++Lo..Hi
- Constrains list elements to lie between the given bounds.
- EplexInstance:(?X =:= ?Y)
- Constrains X to be equal to Y.
- EplexInstance:(?X =< ?Y)
- Constrains X to be less than or equal to Y.
- EplexInstance:(?X >= ?Y)
- Constrains X to be greater than or equal to Y.
- EplexInstance:eplex_cleanup
- Destroy the external solver associated with EplexInstance.
- EplexInstance:eplex_get(++ParamName, -Value)
- Retrieve information about solver state and results for eplex instance EplexInstance.
- eplex_instance(++EplexInstance)
- Initialises the eplex instance EplexInstance.
- EplexInstance:eplex_probe(+Objective, -Cost)
- Invoke EplexInstance's external solver using a temporary objective function.
- EplexInstance:eplex_solve(-Cost)
- Explicitly invoke the external solver associated with EplexInstance.
- EplexInstance:eplex_solver_setup(+Objective)
- Setup an external solver state for eplex instance EplexInstance
- EplexInstance:eplex_solver_setup(+Objective, ?Cost, ++ListOfOptions, ++Priority, +TriggerModes)
- Setup an external solver state for eplex instance EplexInstance
- eplex_solver_setup_(?, ?)
- No description available
- eplex_solver_setup_(?, ?, ?, ?, ?, ?)
- No description available
- EplexInstance:eplex_var_get(+Var, ++What, -Value)
- Obtain information for an individual solver problem variable Var.
- instantiation_deviates(+Handle)
- A trigger goal for lp_demon_setup/6.
- EplexInstance:integers(+)
- Constrains list elements to integers.
- lp_add(+Handle, +NewNormCons, +NewIntegers)
- Add new constraints to a solver state Handle.
- lp_add_constraints(+Handle, +Constraints, ++Integers)
- Add new constraints to the demon solver Handle.
- lp_cleanup(+Handle)
- Destroy the specified solver Handle and clean up.
- lp_demon_setup(+Objective, ?Cost, ++ListOfOptions, +Priority, ++TriggerModes, -Handle)
- Setup the external solver as a simplex demon.
- lp_get(++ParamName, ?Value)
- Obtain the value of a global parameter for the external solver.
- lp_get(+Handle, ++ParamName, -Value)
- Retrieve information about solver state and results for solver state Handle.
- lp_get_license
- Get a runtime license token for the external solver.
- lp_get_license(+LicStr, +LicNum)
- Get a runtime license token for the external solver.
- lp_get_license_challenge(-Challenge)
- Get parameter for computing license key (some external solvers only)
- lp_probe(+Handle, +Objective, -Cost)
- Invoke external solver using a temporary objective function.
- lp_read(+File, ++Format, -Handle)
- Read a problem from a file and setup a solver for it.
- lp_release_license
- Release a runtime license token for the external solver.
- lp_set(++ParamName, ++Value)
- Set a global parameter for the external solver.
- lp_set(+Handle, ++What, +Value)
- Change initial options for solver state Handle.
- lp_setup(+NormConstraints, +Objective, ++ListOfOptions, -Handle)
- Create a new external solver state for the constraints NormConstraints.
- lp_solve(+Handle, -Cost)
- Explicitly invoke the external solver.
- lp_var_get(+Handle, +Var, ++What, -Value)
- Obtain information for an individual solver problem variable Var.
- lp_var_occurrence(?Var, ?Handle, -Index)
- Returns the column number Index for Var in the external solver represented by Handle
- lp_write(+Handle, ++Format, +File)
- Write a solver problem to a file.
- normalise_cstrs(+Constraints, -NormConstraints, -NonlinConstraints)
- Normalise the linear constraints in Constraints.
- optimize(+Objective, -Cost)
- Optimise Objective (minimise or maximise) with the external solver.
- reduced_cost_pruning(+Handle, ?GlobalCost)
- Prune bounds of all problem variables based on their reduced costs
- solution_out_of_range(+Handle)
- A trigger goal for lp_demon_setup/6.
- reexport int_tolerance / 1 from range
- reexport reals / 1 from range
- reexport set_int_tolerance / 1 from range
- reexport var_range / 3 from range
- reexport var_type / 2 from range
- reexport eplex_
- except add_constraint / 1, lp_eq / 3, lp_ge / 3, lp_le / 3, integers / 2, eplex_get / 3, eplex_cleanup / 1, eplex_probe / 3, eplex_solve / 2, eplex_var_get / 4
- export op(700, xfx, [$>=, $<=, $=, $=<])
This library lets you use an external Simplex or MIP solver like CPLEX or XPRESS-MP from within ECLiPSe. The library provides just the interface, and does not include the solver or any required licence to use them.
The library uses either the range or ic library to provide ranges for variables.
The constraints provided are:
The following arithmetic expression can be used inside the constraints: