[ library(eplex) | 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
- lp_var_occurrence(?, +, -)
- lp_var_occurrence(?, -, -)
Resatisfiable
Yes (if Handle is a variable).