[ library(eplex) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

lp_var_occurrence(?Var, ?Handle, -Index)

Returns the column number Index for Var in the external solver represented by Handle
Var
Variable
Handle
Handle to a solver state, or a variable
Index
Column number for Var in Handle's matrix (integer)

Description

If Handle is a problem handle, then Index is the column number for the variable Var in the problem matrix of the external solver presented by Handle. If Handle is a variable, then the predicate returns the handles and index for each problem handle the variable non-determinately.

Modes and Determinism

Resatisfiable

Yes (if Handle is a variable).