[ library(eplex) | Reference Manual | Alphabetic Index ]

eplex_solver_setup(+Objective)

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, _, [], [])

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