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

# EplexInstance:eplex_solver_setup(+Objective)

Setup an external solver state for eplex instance EplexInstance

Objective
  Objective function: min(CostExpr) or max(CostExpr)

## Description

Setup a new external solver state for the eplex instance EplexInstance. The solver state will be associated with EplexInstance; EplexInstance must not already have a solver state associated with it. Once the solver state is setup, it can be invoked (e.g. via eplex_solve/1 or eplex_probe/2) to optimise the Objective function.

CostExpr is a linear expression (or quadratic if supported by the external solver).

Declaratively, this can be seen as a compound constraint representing all the individual linear constraints that have been set so far and are going to be set up later for `EplexInstance`. The invoking of this constraint is done explicitly by the user, usually via eplex_solve/1. Operationally, when the external solver is invoked, the delayed constraints posted to `EplexInstance` are collected and taken into account.

This is a simplified version of eplex_solver_setup/4, it is equivalent to calling eplex_solver_setup/4 with the following defaults:

           eplex_solver_setup(Objective, _, [], 0, [])

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

## See Also

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