unsigned BAB_printFreq
After how many iterations to print progress on screen (additionally, a line is printed when a new inc...
Definition: settings.h:251
Definition: settings.h:125
double MC_envelTol
(see MC++ documentation for details)
Definition: settings.h:221
unsigned UBP_maxStepsPreprocessing
Maximum number of steps the local solver is allowed to take in each local run during multistart in pr...
Definition: settings.h:229
bool UBP_ignoreNodeBounds
Flag indicating whether the UBP solvers should ignore the box constraints of the current node during ...
Definition: settings.h:234
Definition: settings.h:90
Definition: settings.h:102
Settings & operator=(const Settings &)=default
Default copy assignment.
VERB LBP_verbosity
How much output to print from Lower Bounding Solver. Possible values are VERB_NONE (=0),...
Definition: settings.h:249
double targetUpperBound
Target value for the upper bound on the optimal objective. MAiNGO terminates once UBD<=targetUpperBou...
Definition: settings.h:176
NS
Enum for selecting the Node Selection heuristic.
Definition: babUtils.h:143
bool writeLog
Whether to write a log file (named bab.log)
Definition: settings.h:254
Definition: settings.h:103
OBBT
Enum for communicating whether Optimization-Based Bound Tightening should consider only feasibility o...
Definition: settings.h:89
bool confirmTermination
Whether to ask the user before terminating when reaching time, node, or iteration limits.
Definition: settings.h:173
LINP
Enum for selecting the Linearization Points to be used in constructing affine relaxations.
Definition: settings.h:98
bool BAB_constraintPropagation
Whether to do constraint propagation. If false, no constraint propagation is executed.
Definition: settings.h:198
double UBP_maxTimeBab
Maximum CPU time the local solver is allowed to take at each BaB node. Usually, this should only be a...
Definition: settings.h:233
Definition: settings.h:45
bool LBP_addAuxiliaryVars
Whether to add auxiliary variables for common factors in the lower bounding DAG/problem.
Definition: settings.h:210
Definition: settings.h:47
Definition: settings.h:122
AMPL.
Definition: settings.h:58
bool LBP_subgradientIntervals
Whether to use the heuristic to improve McCormick relaxations by tightening the range of each factor ...
Definition: settings.h:207
LBP_SOLVER
Enum for selecting the STRATegy so be used for solving the lower bounding problems.
Definition: settings.h:78
Definition: settings.h:46
unsigned BAB_logFreq
Like BAB_printFreq, but for log.
Definition: settings.h:252
bool BAB_alwaysSolveObbt
Whether to solve OBBT (feasibility- and, once a feasible point has been found, also optimality-based)...
Definition: settings.h:195
Struct for storing settings for MAiNGO.
Definition: settings.h:143
BV
Enum for selecting the Branching Variable selection heuristic.
Definition: babUtils.h:153
PARSING_LANGUAGE writeToOtherLanguage
Write to a file in a different modeling language.
Definition: settings.h:259
ALE.
Definition: settings.h:59
OUTSTREAM_VERB
Enum for controlling the output and writing level of MAiNGO (i.e., where should the output be written...
Definition: settings.h:44
bool terminateOnFeasiblePoint
Whether to terminate as soon as the first feasible point was found (no guarantee of global or local o...
Definition: settings.h:174
Settings()
Constructor, sets default values (cf. settings.cpp).
Definition: settings.cpp:27
OUTSTREAM_VERB outstreamVerbosity
Where to print or write the output. Possible values are OUTSTREAM_NONE (=0), OUTSTREAM_OUTSTREAM (=1)...
Definition: settings.h:253
Definition: settings.h:99
Definition: settings.h:126
A different parsing language is not set.
Definition: settings.h:57
double infinity
User definition of infinity (used to initialize UBD and LBD) [currently cannot be set by the user via...
Definition: settings.h:177
double targetLowerBound
Target value for the lower bound on the optimal objective. MAiNGO terminates once LBD>=targetLowerBou...
Definition: settings.h:175
double UBP_maxTimePreprocessing
Maximum CPU time the local solver is allowed to take in each local run during multistart in pre-proce...
Definition: settings.h:230
unsigned PRE_obbtMaxRounds
Maximum number of rounds of optimization-based range reduction (OBBT; cf., e.g., Gleixner et al....
Definition: settings.h:185
Definition: settings.h:101
Definition: settings.h:79
unsigned BAB_maxIterations
Maximum number of iterations (i.e., maximum number of nodes visited in the Branch-and-Bound tree)
Definition: settings.h:171
Definition: settings.h:35
babBase::enums::BV BAB_branchVariable
Which dimension to branch in for the current node. See documentation of babBase::enums::BV for possib...
Definition: settings.h:194
GAMS.
Definition: settings.h:61
ubp::UBP_SOLVER UBP_solverBab
Solver to be used during Branch-and-Bound. See documentation of ubp::UBP_SOLVER for possible values.
Definition: settings.h:231
Definition: settings.h:123
bool BAB_probing
Whether to do probing (cf. Ryoo&Sahinidis, Comput. Chem. Eng. 19 (1995) 551) at every node (can only ...
Definition: settings.h:197
double MC_mvcompTol
(see MC++ documentation for details)
Definition: settings.h:220
NLP.
Definition: settings.h:63
VERB UBP_verbosity
How much output to print from Upper Bounding Solver. Possible values are VERB_NONE (=0),...
Definition: settings.h:250
Definition: settings.h:128
Definition: settings.h:104
unsigned UBP_maxStepsBab
Maximum number of steps the local solver is allowed to take at each BaB node.
Definition: settings.h:232
Definition: settings.h:129
ubp::UBP_SOLVER UBP_solverPreprocessing
Solver to be used during pre-processing (i.e., multistart). See documentation of ubp::UBP_SOLVER for ...
Definition: settings.h:228
namespace holding all essentials of MAiNGO
Definition: aleModel.h:31
Definition: settings.h:127
bool PRE_printEveryLocalSearch
Whether to print every run during multistart at the root node.
Definition: settings.h:258
BARON.
Definition: settings.h:60
Definition: settings.h:80
lbp::LBP_SOLVER LBP_solver
Solver for solution of lower bounding problems.
Definition: settings.h:205
double epsilonA
Absolute optimality tolerance, i.e., termination when (UBD-LBD) < BAB_epsilon_a.
Definition: settings.h:164
UBP_SOLVER
Enum for selecting the STRATegy so be used for solving the upper bounding problems.
Definition: settings.h:120
unsigned LBP_activateMoreScaling
Number of consecutive iterations without LBD improvement needed to activate more aggressive scaling i...
Definition: settings.h:209
VERB
Enum for controlling the output level of solvers (i.e., how much should be printed on the screen and,...
Definition: settings.h:33
Definition: settings.h:36
Definition: settings.h:121
PYOMO.
Definition: settings.h:62
Definition: settings.h:100
babBase::enums::NS BAB_nodeSelection
How to select the next node to process. See documentation of babBase::enums::NS for possible values.
Definition: settings.h:193
bool MC_mvcompUse
Whether to use multivariate composition theorem for computing McCormick relaxations (see MC++ documen...
Definition: settings.h:219
double relNodeTol
Relative tolerance for minimum node size.
Definition: settings.h:168
unsigned writeToLogSec
Write to log file after a given ammount of CPU seconds.
Definition: settings.h:255
double LBP_obbtMinImprovement
How much improvement needs to be achievable (relative to initial diameter) to conduct OBBT for a vari...
Definition: settings.h:208
unsigned LBP_minFactorsForAux
Minimum number of common factors to add an auxiliary variable.
Definition: settings.h:211
bool writeResFile
Whether to write an additional file containing non-standard information about the solved model.
Definition: settings.h:256
Definition: settings.h:48
VERB BAB_verbosity
How much output to print from Branch & Bound solver. Possible values are VERB_NONE (=0),...
Definition: settings.h:248
Definition: settings.h:34
unsigned maxTime
CPU time limit in seconds.
Definition: settings.h:172
bool writeCsv
Whether to write a csv-log file (named bab.csv). Currently, this only include time,...
Definition: settings.h:257
lbp::LINP LBP_linPoints
At which points to linearize for affine relaxation. See documentation of lbp::LINP for possible value...
Definition: settings.h:206
Definition: settings.h:124
Definition: settings.h:82
unsigned PRE_maxLocalSearches
Number of local searches in the multistart heuristic during preprocessing at the root node.
Definition: settings.h:184
Definition: settings.h:91
Definition: settings.h:81
unsigned BAB_maxNodes
Maximum number of nodes (i.e., solver terminates when more than BAB_maxnodes are held in memory; used...
Definition: settings.h:170
unsigned LBP_maxNumberOfAddedFactors
Maximum number of added factor as auxiliaries.
Definition: settings.h:212
PARSING_LANGUAGE
Enum for representing possible modeling language for parsing a MAiNGO model to.
Definition: settings.h:56
double deltaEq
Absolute feasibility tolerance for equality constraints (i.e., constraint is considered satisfied if ...
Definition: settings.h:167
bool PRE_pureMultistart
Whether to perform a multistart only. A B&B tree will not be constructed and no lower bounding proble...
Definition: settings.h:186
bool BAB_dbbt
Whether to do a single round of duality based bound tightening (DBBT, cf. Ryoo&Sahinidis,...
Definition: settings.h:196
double epsilonR
Relative optimality tolerance, i.e., termination when (UBD-LBD) < BAB_epsilon_r * UBD.
Definition: settings.h:165
unsigned EC_nPoints
Number of points on the Pareto front to be computed in epsilon-constraint method (only available via ...
Definition: settings.h:241
double deltaIneq
Absolute feasibility tolerance for inequality constraints (i.e., constraint is considered satisfied i...
Definition: settings.h:166