
EplexInstance:eplex_solver_setup(+Objective)

   Setup an external solver state for eplex instance EplexInstance

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

Type
   library(eplex)

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
