[ library(eplex) | Reference Manual | Alphabetic Index ]
# eplex_instance(++EplexInstance)

Initialises the eplex instance EplexInstance.
*EplexInstance*
- Eplex instance name (atom)

## Description

Initialises the eplex instance EplexInstance. An eplex instance is an
instance of the eplex solver, to which eplex linear arithmetic and
integrality constraints can be posted, and to which an external LP/MIP
solver can be associated and used to optimise the posted constraints
with respect to some objective.

If EplexInstance is not an already existing eplex instance, a new eplex
instance will be created and initialised. If it is an existing eplex
instance, and it is not currently being used (having no outstanding posted
constraints and no associated solver), it is effectively reinitialised.
Otherwise, the predicate aborts with an error. Note that an eplex instance
is a module, and each eplex instance can be associated with at most one
solver at any time and vice versa. An eplex instance should NOT be
erased (e.g. using erase_module/1), as this would only erase the module,
but not the information that eplex keeps on it as an eplex instance.

## See Also

$= / 2, $=< / 2, $>= / 2, =:= / 2, =< / 2, >= / 2, $:: / 2, :: / 2, integers / 1, reals / 1, eplex_solver_setup / 1, eplex_solver_setup / 4, eplex_probe / 2, eplex_solve / 1, eplex_get / 2, eplex_var_get / 3, eplex_cleanup / 0