- ?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.
- ?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_read(++Format,++File)
- Read a problem from a file into eplex instance EplexInstance.
- EplexInstance:eplex_set(++ParamName, -Value)
- Change initial options for solver state associated with EplexInstance
- 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
- EplexInstance:eplex_var_get(+Var, ++What, -Value)
- Obtain information for an individual solver problem variable Var.
- EplexInstance:eplex_write(++Format,++File)
- Write the problem in the solver for eplex instance EplexInstance to a file.
- EplexInstance:get_changeable_value(?Var, -Val)
- Interface predicate to access the changeable value for this variable.
- 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_columns(+Handle, +Columns)
- Add new variables as columns to the external solver's matrix.
- lp_add_constraints(+Handle, +Constraints, ++Integers)
- Add new constraints to the demon solver Handle, possibly triggering it.
- lp_add_constraints(+Handle, +Constraints, ++Integers, -Indices)
- Add new expandable 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.
- lp_get(+Handle, ++ParamName, -Value)
- Retrieve information about solver state and results for solver state Handle.
- lp_get_changeable_value(+Handle, ?Var, -Val)
- Interface predicate to access the changeable value for this variable.
- 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_suspend_on_change(+Handle, ?Var, +Susp)
- Record the given suspension to be scheduled whenever a solution is found for the Eplex handle.
- 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.
- EplexInstance:piecewise_linear_hull(?X, ++Points, ?Y)
- Relates X and Y according to a piecewise linear function.
- 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.
- EplexInstance:suspend_on_change(?Var, +Susp)
- Record the given suspension to be scheduled whenever a solution is found for the EplexInstance.
- export initialization(import eplex)
The library uses the range library to provide ranges for variables.