Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

default user interface dialog

Author
Tobias Achterberg
Timo Berthold
Gerald Gamrath

Definition in file dialog_default.c.

#include "blockmemshell/memory.h"
#include "scip/cons_linear.h"
#include "scip/dialog_default.h"
#include "scip/pub_benders.h"
#include "scip/pub_branch.h"
#include "scip/pub_compr.h"
#include "scip/pub_conflict.h"
#include "scip/pub_cons.h"
#include "scip/pub_cutsel.h"
#include "scip/pub_dialog.h"
#include "scip/pub_disp.h"
#include "scip/pub_expr.h"
#include "scip/pub_heur.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_misc_sort.h"
#include "scip/pub_nodesel.h"
#include "scip/pub_paramset.h"
#include "scip/pub_presol.h"
#include "scip/pub_pricer.h"
#include "scip/pub_prop.h"
#include "scip/pub_reader.h"
#include "scip/pub_relax.h"
#include "scip/pub_sepa.h"
#include "scip/pub_sol.h"
#include "scip/pub_var.h"
#include "scip/scip_benders.h"
#include "scip/scip_branch.h"
#include "scip/scip_compr.h"
#include "scip/scip_conflict.h"
#include "scip/scip_cons.h"
#include "scip/scip_cutsel.h"
#include "scip/scip_dialog.h"
#include "scip/scip_disp.h"
#include "scip/scip_expr.h"
#include "scip/scip_general.h"
#include "scip/scip_heur.h"
#include "scip/scip_lp.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_nlp.h"
#include "scip/scip_nlpi.h"
#include "scip/scip_nodesel.h"
#include "scip/scip_numerics.h"
#include "scip/scip_param.h"
#include "scip/scip_presol.h"
#include "scip/scip_pricer.h"
#include "scip/scip_prob.h"
#include "scip/scip_prop.h"
#include "scip/scip_reader.h"
#include "scip/scip_relax.h"
#include "scip/scip_sepa.h"
#include "scip/scip_sol.h"
#include "scip/scip_solve.h"
#include "scip/scip_solvingstats.h"
#include "scip/scip_validation.h"
#include "scip/scip_var.h"
#include <stdlib.h>
#include <string.h>

Go to the source code of this file.

Functions

static SCIP_RETCODE dialogExecMenu (SCIP *scip, SCIP_DIALOG *dialog, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG **nextdialog)
 
static SCIP_Bool parseBoolValue (SCIP *scip, const char *valuestr, SCIP_Bool *error)
 
static void displayReaders (SCIP *scip, SCIP_Bool reader, SCIP_Bool writer)
 
static SCIP_RETCODE writeProblem (SCIP *scip, SCIP_DIALOG *dialog, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG **nextdialog, SCIP_Bool transformed, SCIP_Bool genericnames)
 
static SCIP_DECL_DIALOGCOPY (dialogCopyDefault)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecMenu)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecMenuLazy)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecChangeAddCons)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecChangeBounds)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecChangeFreetransproblem)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecChangeObjSense)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecChecksol)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecCliquegraph)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayBenders)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayBranching)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayRelaxators)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayConflict)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayConshdlrs)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayDisplaycols)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayExprhdlrs)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayCutselectors)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayHeuristics)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayMemory)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayNlpi)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayNodeselectors)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayParameters)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayPresolvers)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayPricers)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayProblem)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayPropagators)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayReaders)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplaySeparators)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplaySolution)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayFiniteSolution)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayDualSolution)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplaySolutionPool)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplaySubproblem)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplaySubSolution)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayStatistics)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayReoptStatistics)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayCompression)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayTransproblem)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayValue)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayVarbranchstatistics)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayLPSolutionQuality)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecHelp)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayTranssolution)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecFree)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecNewstart)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecTransform)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecConcurrentOpt)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecOptimize)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecPresolve)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecQuit)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecRead)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetDefault)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetLoad)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetSave)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetDiffsave)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetParam)
 
 SCIP_DECL_DIALOGDESC (SCIPdialogDescSetParam)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecFixParam)
 
 SCIP_DECL_DIALOGDESC (SCIPdialogDescFixParam)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetBranchingDirection)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetBranchingPriority)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetHeuristicsAggressive)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetHeuristicsDefault)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetHeuristicsFast)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetHeuristicsOff)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetPresolvingAggressive)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetPresolvingDefault)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetPresolvingFast)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetPresolvingOff)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetSeparatingAggressive)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetSeparatingDefault)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetSeparatingFast)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetSeparatingOff)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetEmphasisCounter)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetEmphasisCpsolver)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetEmphasisEasycip)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetEmphasisFeasibility)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetEmphasisHardlp)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetEmphasisOptimality)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetEmphasisNumerics)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetEmphasisBenchmark)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecSetLimitsObjective)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteLp)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteMip)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteNlp)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteProblem)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteGenProblem)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteSolution)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteMIPStart)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteCommandHistory)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteFiniteSolution)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteStatistics)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteTransproblem)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteGenTransproblem)
 
static SCIP_DECL_DIALOGEXEC (SCIPdialogExecValidateSolve)
 
 SCIP_DECL_DIALOGEXEC (SCIPdialogExecDisplayLinearConsClassification)
 
SCIP_RETCODE SCIPcreateRootDialog (SCIP *scip, SCIP_DIALOG **root)
 
SCIP_RETCODE SCIPincludeDialogDefaultBasic (SCIP *scip)
 
static SCIP_RETCODE addSetParamDialog (SCIP *scip, SCIP_DIALOG *menu, SCIP_PARAM *param, char *paramname)
 
static SCIP_RETCODE addFixParamDialog (SCIP *scip, SCIP_DIALOG *menu, SCIP_PARAM *param, char *paramname)
 
static SCIP_RETCODE createEmphasisSubmenu (SCIP *scip, SCIP_DIALOG *root, SCIP_DIALOG **submenu)
 
SCIP_RETCODE SCIPincludeDialogDefaultSet (SCIP *scip)
 
SCIP_RETCODE SCIPincludeDialogDefaultFix (SCIP *scip)
 

Function Documentation

◆ dialogExecMenu()

static SCIP_RETCODE dialogExecMenu ( SCIP scip,
SCIP_DIALOG dialog,
SCIP_DIALOGHDLR dialoghdlr,
SCIP_DIALOG **  nextdialog 
)
static

executes a menu dialog

Parameters
scipSCIP data structure
dialogdialog menu
dialoghdlrdialog handler
nextdialogpointer to store next dialog to execute

Definition at line 98 of file dialog_default.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPdialogDisplayCompletions(), SCIPdialogFindEntry(), SCIPdialogGetParent(), SCIPdialoghdlrClearBuffer(), SCIPdialoghdlrGetRoot(), SCIPdialoghdlrGetWord(), SCIPdialogMessage(), and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ parseBoolValue()

static SCIP_Bool parseBoolValue ( SCIP scip,
const char *  valuestr,
SCIP_Bool error 
)
static
Parameters
scipSCIP data structure
valuestrstring to parse
errorpointer to store the error result

Definition at line 163 of file dialog_default.c.

References FALSE, NULL, and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ displayReaders()

static void displayReaders ( SCIP scip,
SCIP_Bool  reader,
SCIP_Bool  writer 
)
static
Parameters
scipSCIP data structure
readerdisplay reader which can read
writerdisplay reader which can write

Definition at line 200 of file dialog_default.c.

References NULL, r, SCIPdialogMessage(), SCIPgetNReaders(), SCIPgetReaders(), SCIPreaderCanRead(), SCIPreaderCanWrite(), SCIPreaderGetDesc(), SCIPreaderGetExtension(), and SCIPreaderGetName().

Referenced by SCIP_DECL_DIALOGEXEC(), and writeProblem().

◆ writeProblem()

static SCIP_RETCODE writeProblem ( SCIP scip,
SCIP_DIALOG dialog,
SCIP_DIALOGHDLR dialoghdlr,
SCIP_DIALOG **  nextdialog,
SCIP_Bool  transformed,
SCIP_Bool  genericnames 
)
static
Parameters
scipSCIP data structure
dialogdialog menu
dialoghdlrdialog handler
nextdialogpointer to store next dialog to execute
transformedoutput the transformed problem?
genericnamesusing generic variable and constraint names?

Definition at line 237 of file dialog_default.c.

References displayReaders(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_FILECREATEERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPdialoghdlrAddHistory(), SCIPdialoghdlrClearBuffer(), SCIPdialoghdlrGetWord(), SCIPdialogMessage(), SCIPduplicateBufferArray, SCIPfreeBufferArray, SCIPwriteOrigProblem(), SCIPwriteTransProblem(), and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIP_DECL_DIALOGCOPY()

static SCIP_DECL_DIALOGCOPY ( dialogCopyDefault  )
static

copy method for dialog plugins (called when SCIP copies plugins)

Definition at line 332 of file dialog_default.c.

References NULL, SCIP_CALL, SCIP_OKAY, and SCIPincludeDialogDefaultBasic().

◆ SCIP_DECL_DIALOGEXEC() [1/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteLp  )
static

◆ SCIP_DECL_DIALOGEXEC() [2/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteMip  )
static

◆ SCIP_DECL_DIALOGEXEC() [3/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteNlp  )
static

◆ SCIP_DECL_DIALOGEXEC() [4/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteProblem  )
static

dialog execution method for the write problem command

Definition at line 3580 of file dialog_default.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPdialoghdlrAddHistory(), SCIPdialoghdlrGetRoot(), SCIPdialogMessage(), SCIPgetStage(), and writeProblem().

◆ SCIP_DECL_DIALOGEXEC() [5/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteGenProblem  )
static

dialog execution method for the write generic problem command

Definition at line 3598 of file dialog_default.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPdialoghdlrAddHistory(), SCIPdialoghdlrGetRoot(), SCIPdialogMessage(), SCIPgetStage(), TRUE, and writeProblem().

◆ SCIP_DECL_DIALOGEXEC() [6/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteSolution  )
static

◆ SCIP_DECL_DIALOGEXEC() [7/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteMIPStart  )
static

◆ SCIP_DECL_DIALOGEXEC() [8/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteCommandHistory  )
static

◆ SCIP_DECL_DIALOGEXEC() [9/13]

◆ SCIP_DECL_DIALOGEXEC() [10/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteStatistics  )
static

◆ SCIP_DECL_DIALOGEXEC() [11/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteTransproblem  )
static

dialog execution method for the write transproblem command

Definition at line 3887 of file dialog_default.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_TRANSFORMED, SCIPdialoghdlrAddHistory(), SCIPdialoghdlrGetRoot(), SCIPdialogMessage(), SCIPgetStage(), TRUE, and writeProblem().

◆ SCIP_DECL_DIALOGEXEC() [12/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteGenTransproblem  )
static

dialog execution method for the write generic transproblem command

Definition at line 3905 of file dialog_default.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_TRANSFORMED, SCIPdialoghdlrAddHistory(), SCIPdialoghdlrGetRoot(), SCIPdialogMessage(), SCIPgetStage(), TRUE, and writeProblem().

◆ SCIP_DECL_DIALOGEXEC() [13/13]

static SCIP_DECL_DIALOGEXEC ( SCIPdialogExecValidateSolve  )
static

◆ addSetParamDialog()

static SCIP_RETCODE addSetParamDialog ( SCIP scip,
SCIP_DIALOG menu,
SCIP_PARAM param,
char *  paramname 
)
static

if a '/' occurs in the parameter's name, adds a sub menu dialog to the given menu and inserts the parameter dialog recursively in the sub menu; if no '/' occurs in the name, adds a parameter change dialog into the given dialog menu

Parameters
scipSCIP data structure
menudialog menu to insert the parameter into
paramparameter to add a dialog for
paramnameparameter name to parse

Definition at line 4787 of file dialog_default.c.

References FALSE, NULL, paramname, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPaddDialogEntry(), SCIPdialogFindEntry(), SCIPdialogHasEntry(), SCIPerrorMessage, SCIPincludeDialog(), SCIPparamGetDesc(), SCIPparamIsAdvanced(), SCIPreleaseDialog(), SCIPsnprintf(), and TRUE.

Referenced by SCIPincludeDialogDefaultSet().

◆ addFixParamDialog()

static SCIP_RETCODE addFixParamDialog ( SCIP scip,
SCIP_DIALOG menu,
SCIP_PARAM param,
char *  paramname 
)
static

if a '/' occurs in the parameter's name, adds a sub menu dialog to the given menu and inserts the parameter dialog recursively in the sub menu; if no '/' occurs in the name, adds a fix parameter dialog into the given dialog menu

Parameters
scipSCIP data structure
menudialog menu to insert the parameter into
paramparameter to add a dialog for
paramnameparameter name to parse

Definition at line 4898 of file dialog_default.c.

References FALSE, NULL, paramname, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPaddDialogEntry(), SCIPdialogFindEntry(), SCIPdialogHasEntry(), SCIPerrorMessage, SCIPincludeDialog(), SCIPparamGetDesc(), SCIPparamIsAdvanced(), SCIPreleaseDialog(), SCIPsnprintf(), and TRUE.

Referenced by SCIPincludeDialogDefaultFix().

◆ createEmphasisSubmenu()

static SCIP_RETCODE createEmphasisSubmenu ( SCIP scip,
SCIP_DIALOG root,
SCIP_DIALOG **  submenu 
)
static

create a "emphasis" sub menu

Parameters
scipSCIP data structure
rootthe menu to add the empty sub menu
submenupointer to store the created emphasis sub menu

Definition at line 5007 of file dialog_default.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPaddDialogEntry(), SCIPdialogFindEntry(), SCIPdialogHasEntry(), SCIPerrorMessage, SCIPincludeDialog(), SCIPreleaseDialog(), and TRUE.

Referenced by SCIPincludeDialogDefaultSet().