Skip to content

Latest commit

 

History

History
53 lines (38 loc) · 1.95 KB

currentsolver.rst

File metadata and controls

53 lines (38 loc) · 1.95 KB
Raw

CurrentSolver

The predefined element parameter :aimmsCurrentSolver contains, for every mathematical programming type, the name of the solver that AIMMS will currently use to solve models of that type.

ElementParameter CurrentSolver {
    IndexDomain  :  IndexMathematicalProgrammingTypes;
    Range        :  AllSolvers;
}

Definition

The contents of the element parameter :aimmsCurrentSolver are, for all types of mathematical programs, the names of the currently active solver for solving mathematical programs of each type, as set through the Solver Configuration dialog box.

Updatability

The value of :aimmsCurrentSolver can also be modified programmatically from within an AIMMS model, and then determines the solver that will be used to solve subsequent problems of the specified type. Modifying the values of :aimmsCurrentSolver will, however, not modify the (default) settings in the Solver Configuration dialog box, that will be loaded at startup.

Note

  • The procedure :aimmsGMP::Instance::Solve takes :aimmsCurrentSolver into account unless a solver has been assigned using the procedure :aimmsGMP::Instance::SetSolver.
  • The procedures :aimmsGMP::SolverSession::Execute and :aimmsGMP::SolverSession::AsynchronousExecute take :aimmsCurrentSolver into account unless a solver has been assigned using the function :aimmsGMP::Instance::CreateSolverSession or the procedure :aimmsGMP::Instance::SetSolver.
  • The sets :aimmsAllMathematicalProgrammingTypes and :aimmsAllSolvers.
  • Solver configuration is discussed in full detail in miscellaneous/project-settings-and-options/solver-configuration.