60 if( command[0] ==
'\0' )
65 else if( strcmp(command,
"..") == 0 )
68 if( *nextdialog ==
NULL )
83 else if( nfound >= 2 )
102 const char* valuestr,
106 assert( scip !=
NULL );
107 assert( valuestr !=
NULL );
108 assert( error !=
NULL );
112 switch( valuestr[0] )
147 assert( scip !=
NULL );
156 for( r = 0; r < nreaders; ++r )
194 if( filename[0] !=
'\0' )
227 if( extension ==
NULL )
235 "select a suitable reader by extension (or return): ", &extension, &endoffile) );
237 if( extension[0] ==
'\0' )
259 while( extension !=
NULL );
272 assert(dialog !=
NULL);
326 printf(
"<%s>\n", str);
328 SCIP_CALL(
SCIPparseCons(
scip, &cons, str,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE, &success) );
379 if( varname[0] ==
'\0' || endoffile )
387 while( var ==
NULL );
406 if( boundstr[0] !=
'\0' )
410 bound = strtod(boundstr, &endptr);
411 if( endptr == boundstr || *endptr !=
'\0' )
413 printf(
"<%s> <%s>\n", endptr, boundstr);
434 if( boundstr[0] !=
'\0' )
438 bound = strtod(boundstr, &endptr);
439 if( endptr == boundstr || *endptr !=
'\0' )
445 SCIPdialogMessage(
scip,
NULL,
"ignore new upper bound <%.15g> since it is smaller than the current lower bound <%.15g>\n",
497 if( objsense[0] !=
'\0' && !endoffile )
499 if( strncmp(objsense,
"max", 3) == 0 )
503 else if( strncmp(objsense ,
"min", 3) == 0 )
578 assert(nextdialog !=
NULL);
596 if( filename[0] !=
'\0' )
632 SCIPsortPtr((
void**)sorted, SCIPbranchruleComp, nbranchrules);
638 for( i = 0; i < nbranchrules; ++i )
680 SCIPsortPtr((
void**)sorted, SCIPrelaxComp, nrelaxs);
686 for( i = 0; i < nrelaxs; ++i )
688 assert(sorted !=
NULL);
724 SCIPsortPtr((
void**)sorted, SCIPconflicthdlrComp, nconflicthdlrs);
730 for( i = 0; i < nconflicthdlrs; ++i )
767 for( i = 0; i < nconshdlrs; ++i )
808 for( i = 0; i < ndisps; ++i )
860 for( i = 0; i < nheurs; ++i )
921 for( i = 0; i < nnlpis; ++i )
923 assert(sorted !=
NULL);
960 for( i = 0; i < nnodesels; ++i )
1013 for( i = 0; i < npresols; ++i )
1049 for( i = 0; i < npricers; ++i )
1106 for( i = 0; i < nprops; ++i )
1156 for( i = 0; i < nsepas; ++i )
1193 assert(fixedvars !=
NULL || nfixedvars == 0);
1196 for( v = 0; v < nfixedvars; ++v )
1207 If you want SCIP to display an optimal solution without infinite values, use 'display finitesolution'.\n");
1226 if( bestsol !=
NULL )
1326 if ( idx < 0 || idx >= nsols )
1335 assert( sols[idx] !=
NULL );
1388 SCIPsortPtr((
void**)sorted, SCIPcomprComp, ncomprs);
1394 for( i = 0; i < ncomprs; ++i )
1463 if( varname[0] !=
'\0' )
1778 if( filename[0] !=
'\0' )
1801 if( extension ==
NULL )
1805 tmpfilename, extension);
1813 if( extension ==
NULL )
1821 "select a suitable reader by extension (or return): ", &extension, &endoffile) );
1823 if( extension[0] ==
'\0' )
1839 while( extension !=
NULL );
1882 if( filename[0] !=
'\0' )
1916 if( filename[0] !=
'\0' )
1953 if( filename[0] !=
'\0' )
2008 if( valuestr[0] ==
'\0' )
2015 SCIPdialogMessage(
scip,
NULL,
"\nInvalid value <%s> for bool parameter <%s>. Must be <0>, <1>, <FALSE>, or <TRUE>.\n\n",
2040 if( valuestr[0] ==
'\0' )
2059 (void)
SCIPsnprintf(prompt,
SCIP_MAXSTRLEN,
"current value: %" SCIP_LONGINT_FORMAT
", new value [%" SCIP_LONGINT_FORMAT
",%" SCIP_LONGINT_FORMAT
"]: ",
2067 if( valuestr[0] ==
'\0' )
2074 SCIPdialogMessage(
scip,
NULL,
"\nInvalid value <%s> for longint parameter <%s>. Must be integral in range [%" SCIP_LONGINT_FORMAT
",%" SCIP_LONGINT_FORMAT
"].\n\n",
2093 if( valuestr[0] ==
'\0' )
2100 SCIPdialogMessage(
scip,
NULL,
"\nInvalid real parameter value <%s> for parameter <%s>. Must be in range [%.15g,%.15g].\n\n",
2118 if( valuestr[0] ==
'\0' )
2143 if( valuestr[0] ==
'\0' )
2196 if( strchr(valuestr,
'.') ==
NULL && strchr(valuestr,
'e') ==
NULL )
2246 if( valuestr[0] ==
'\0' )
2312 if( valuestr[0] ==
'\0' )
2337 SCIPerrorMessage(
"invalid preferred branching direction <%d> of variable <%s>\n",
2350 if( valuestr[0] ==
'\0' )
2355 if( sscanf(valuestr,
"%d", &direction) != 1 )
2360 if( direction < -1 || direction > +1 )
2367 if( direction == -1 )
2369 else if( direction == 0 )
2404 if( valuestr[0] ==
'\0' )
2425 if( valuestr[0] ==
'\0' )
2430 if( sscanf(valuestr,
"%d", &priority) != 1 )
2708 if( valuestr[0] ==
'\0' )
2764 if( filename[0] !=
'\0' )
2824 if( valuestr[0] ==
'\0' )
2831 "using generic variable and row names (TRUE/FALSE): ",
2832 &valuestr, &endoffile) );
2839 if( valuestr[0] ==
'\0' )
2858 "using original objective function (TRUE/FALSE): ",
2859 &valuestr, &endoffile) );
2866 if( valuestr[0] ==
'\0' )
2884 "output removable rows as lazy constraints (TRUE/FALSE): ",
2885 &valuestr, &endoffile) );
2892 if( valuestr[0] ==
'\0' )
2954 if( filename[0] !=
'\0' )
3031 if( filename[0] !=
'\0' )
3037 file = fopen(filename,
"w");
3082 if( filename[0] !=
'\0' )
3088 file = fopen(filename,
"w");
3139 if( filename[0] !=
'\0' )
3150 "check that the directory exists and that you have correct permissions\n", filename);
3181 if( filename[0] !=
'\0' )
3187 file = fopen(filename,
"w");
3204 if( bestsol !=
NULL )
3251 if( filename[0] !=
'\0' )
3257 file = fopen(filename,
"w");
3324 SCIPdialogExecMenuLazy,
NULL,
NULL,
3325 "SCIP",
"SCIP's main menu",
TRUE,
NULL) );
3357 "change",
"change the problem",
TRUE,
NULL) );
3372 SCIPdialogExecChangeAddCons,
NULL,
NULL,
3373 "add",
"add constraint",
FALSE,
NULL) );
3383 SCIPdialogExecChangeBounds,
NULL,
NULL,
3384 "bounds",
"change bounds of a variable",
FALSE,
NULL) );
3394 SCIPdialogExecChangeFreetransproblem,
NULL,
NULL,
3395 "freetransproblem",
"free transformed problem",
FALSE,
NULL) );
3405 SCIPdialogExecChangeObjSense,
NULL,
NULL,
3406 "objsense",
"change objective sense",
FALSE,
NULL) );
3416 SCIPdialogExecChecksol,
NULL,
NULL,
3417 "checksol",
"double checks best solution w.r.t. original problem",
FALSE,
NULL) );
3428 "display",
"display information",
TRUE,
NULL) );
3443 SCIPdialogExecDisplayBranching,
NULL,
NULL,
3444 "branching",
"display branching rules",
FALSE,
NULL) );
3454 SCIPdialogExecDisplayCompression,
NULL,
NULL,
3455 "compression",
"display compression techniques",
FALSE,
NULL) );
3465 SCIPdialogExecDisplayConflict,
NULL,
NULL,
3466 "conflict",
"display conflict handlers",
FALSE,
NULL) );
3476 SCIPdialogExecDisplayConshdlrs,
NULL,
NULL,
3477 "conshdlrs",
"display constraint handlers",
FALSE,
NULL) );
3487 SCIPdialogExecDisplayDisplaycols,
NULL,
NULL,
3488 "displaycols",
"display display columns",
FALSE,
NULL) );
3498 SCIPdialogExecDisplayHeuristics,
NULL,
NULL,
3499 "heuristics",
"display primal heuristics",
FALSE,
NULL) );
3509 SCIPdialogExecDisplayMemory,
NULL,
NULL,
3510 "memory",
"display memory diagnostics",
FALSE,
NULL) );
3520 SCIPdialogExecDisplayNlpi,
NULL,
NULL,
3521 "nlpis",
"display NLP solver interfaces",
FALSE,
NULL) );
3531 SCIPdialogExecDisplayNodeselectors,
NULL,
NULL,
3532 "nodeselectors",
"display node selectors",
FALSE,
NULL) );
3542 SCIPdialogExecDisplayParameters,
NULL,
NULL,
3543 "parameters",
"display non-default parameter settings",
FALSE,
NULL) );
3553 SCIPdialogExecDisplayPresolvers,
NULL,
NULL,
3554 "presolvers",
"display presolvers",
FALSE,
NULL) );
3564 SCIPdialogExecDisplayPricers,
NULL,
NULL,
3565 "pricers",
"display pricers",
FALSE,
NULL) );
3575 SCIPdialogExecDisplayProblem,
NULL,
NULL,
3576 "problem",
"display original problem",
FALSE,
NULL) );
3586 SCIPdialogExecDisplayPropagators,
NULL,
NULL,
3587 "propagators",
"display propagators",
FALSE,
NULL) );
3597 SCIPdialogExecDisplayReaders,
NULL,
NULL,
3598 "readers",
"display file readers",
FALSE,
NULL) );
3608 SCIPdialogExecDisplayRelaxators,
NULL,
NULL,
3609 "relaxators",
"display relaxators",
FALSE,
NULL) );
3619 SCIPdialogExecDisplaySeparators,
NULL,
NULL,
3620 "separators",
"display cut separators",
FALSE,
NULL) );
3630 SCIPdialogExecDisplaySolution,
NULL,
NULL,
3631 "solution",
"display best primal solution",
FALSE,
NULL) );
3641 SCIPdialogExecDisplayFiniteSolution,
NULL,
NULL,
3642 "finitesolution",
"display best primal solution (try to make solution values finite, first)",
FALSE,
NULL) );
3652 SCIPdialogExecDisplayDualSolution,
NULL,
NULL,
3653 "dualsolution",
"display dual solution vector (LP only, without presolving)",
FALSE,
NULL) );
3663 SCIPdialogExecDisplaySolutionPool,
NULL,
NULL,
3664 "sols",
"display solutions from pool",
FALSE,
NULL) );
3674 SCIPdialogExecDisplayStatistics,
NULL,
NULL,
3675 "statistics",
"display problem and optimization statistics",
FALSE,
NULL) );
3685 SCIPdialogExecDisplayReoptStatistics,
NULL,
NULL,
3686 "reoptstatistics",
"display reoptimitazion statistics",
FALSE,
NULL) );
3696 SCIPdialogExecDisplayTransproblem,
NULL,
NULL,
3697 "transproblem",
"display current node transformed problem",
FALSE,
NULL) );
3707 SCIPdialogExecDisplayValue,
NULL,
NULL,
3708 "value",
"display value of single variable in best primal solution",
FALSE,
NULL) );
3718 SCIPdialogExecDisplayVarbranchstatistics,
NULL,
NULL,
3719 "varbranchstatistics",
"display statistics for branching on variables",
FALSE,
NULL) );
3729 SCIPdialogExecDisplayLPSolutionQuality,
NULL,
NULL,
3730 "lpsolquality",
"display quality of the current LP solution, if available",
FALSE,
NULL) );
3740 SCIPdialogExecDisplayTranssolution,
NULL,
NULL,
3741 "transsolution",
"display best primal solution in transformed variables",
FALSE,
NULL) );
3752 "free",
"free current problem from memory",
FALSE,
NULL) );
3763 "help",
"display this help",
FALSE,
NULL) );
3773 SCIPdialogExecNewstart,
NULL,
NULL,
3774 "newstart",
"reset branch and bound tree to start again from root",
FALSE,
NULL) );
3785 SCIPdialogExecTransform,
NULL,
NULL,
3786 "transform",
"transforms problem from original state",
FALSE,
NULL) );
3797 SCIPdialogExecOptimize,
NULL,
NULL,
3798 "optimize",
"solve the problem",
FALSE,
NULL) );
3808 SCIPdialogExecConcurrentOpt,
NULL,
NULL,
3809 "concurrentopt",
"solve the problem using concurrent solvers",
FALSE,
NULL) );
3819 SCIPdialogExecPresolve,
NULL,
NULL,
3820 "presolve",
"solve the problem, but stop after presolving stage",
FALSE,
NULL) );
3842 "read",
"read a problem",
FALSE,
NULL) );
3859 "write",
"write information to file",
TRUE,
NULL) );
3875 "lp",
"write current node LP relaxation in LP format to file",
FALSE,
NULL) );
3885 SCIPdialogExecWriteMip,
NULL,
NULL,
3886 "mip",
"write current node MIP relaxation in LP format to file",
FALSE,
NULL) );
3896 SCIPdialogExecWriteNlp,
NULL,
NULL,
3897 "nlp",
"write current node NLP relaxation to file",
FALSE,
NULL) );
3907 SCIPdialogExecWriteProblem,
NULL,
NULL,
3909 "write original problem to file (format is given by file extension, e.g., orig.{lp,rlp,cip,mps})",
3920 SCIPdialogExecWriteGenProblem,
NULL,
NULL,
3922 "write original problem with generic names to file (format is given by file extension, e.g., orig.{lp,rlp,cip,mps})",
3933 SCIPdialogExecWriteSolution,
NULL,
NULL,
3934 "solution",
"write best primal solution to file",
FALSE,
NULL) );
3944 SCIPdialogExecWriteFiniteSolution,
NULL,
NULL,
3945 "finitesolution",
"write best primal solution to file (try to make solution values finite, first)",
FALSE,
NULL) );
3955 SCIPdialogExecWriteMIPStart,
NULL,
NULL,
3956 "mipstart",
"write mip start to file",
FALSE,
NULL) );
3966 SCIPdialogExecWriteStatistics,
NULL,
NULL,
3967 "statistics",
"write statistics to file",
FALSE,
NULL) );
3977 SCIPdialogExecWriteTransproblem,
NULL,
NULL,
3979 "write current node transformed problem to file (format is given by file extension, e.g., trans.{lp,rlp,cip,mps})",
3990 SCIPdialogExecWriteGenTransproblem,
NULL,
NULL,
3992 "write current node transformed problem with generic names to file (format is given by file extension, e.g., trans.{lp,rlp,cip,mps})",
4003 SCIPdialogExecCliquegraph,
NULL,
NULL,
4005 "write graph of cliques and implications of binary variables to GML file (better call after presolving)",
4016 SCIPdialogExecWriteCommandHistory,
NULL,
NULL,
4018 "writes command line history to a file (only works if SCIP was compiled with 'readline')",
4041 assert(paramname !=
NULL);
4044 slash = strchr(paramname,
'/');
4072 if( advmenu ==
NULL )
4083 SCIPdialogExecSetParam, SCIPdialogDescSetParam,
NULL,
4094 SCIPdialogExecSetParam, SCIPdialogDescSetParam,
NULL,
4107 paramname = slash+1;
4125 if( submenu ==
NULL )
4152 assert(paramname !=
NULL);
4155 slash = strchr(paramname,
'/');
4183 if( advmenu ==
NULL )
4194 SCIPdialogExecFixParam, SCIPdialogDescFixParam,
NULL,
4205 SCIPdialogExecFixParam, SCIPdialogDescFixParam,
NULL,
4218 paramname = slash+1;
4236 if( submenu ==
NULL )
4261 "emphasis",
"predefined parameter settings",
TRUE,
NULL) );
4271 assert(*submenu !=
NULL);
4328 "set",
"load/save/change parameters",
TRUE,
NULL) );
4343 SCIPdialogExecSetDefault,
NULL,
NULL,
4344 "default",
"reset parameter settings to their default values",
FALSE,
NULL) );
4355 "load",
"load parameter settings from a file",
FALSE,
NULL) );
4366 "save",
"save parameter settings to a file",
FALSE,
NULL) );
4376 SCIPdialogExecSetDiffsave,
NULL,
NULL,
4377 "diffsave",
"save non-default parameter settings to a file",
FALSE,
NULL) );
4388 "branching",
"change parameters for branching rules",
TRUE,
NULL) );
4401 for( i = 0; i < nbranchrules; ++i )
4419 SCIPdialogExecSetBranchingPriority,
NULL,
NULL,
4420 "priority",
"change branching priority of a single variable",
FALSE,
NULL) );
4430 SCIPdialogExecSetBranchingDirection,
NULL,
NULL,
4431 "direction",
"change preferred branching direction of a single variable (-1:down, 0:auto, +1:up)",
4443 "conflict",
"change parameters for conflict handlers",
TRUE,
NULL) );
4456 for( i = 0; i < nconflicthdlrs; ++i )
4475 "constraints",
"change parameters for constraint handlers",
TRUE,
NULL) );
4488 for( i = 0; i < nconshdlrs; ++i )
4507 "display",
"change parameters for display columns",
TRUE,
NULL) );
4520 for( i = 0; i < ndisps; ++i )
4539 "heuristics",
"change parameters for primal heuristics",
TRUE,
NULL) );
4552 for( i = 0; i < nheurs; ++i )
4567 assert(emphasismenu !=
NULL);
4573 NULL, SCIPdialogExecSetHeuristicsAggressive,
NULL,
NULL,
4574 "aggressive",
"sets heuristics <aggressive>",
FALSE,
NULL) );
4584 "default",
"sets heuristics settings to <default> ",
FALSE,
NULL) );
4594 "fast",
"sets heuristics <fast>",
FALSE,
NULL) );
4604 "off",
"turns <off> all heuristics",
FALSE,
NULL) );
4615 "limits",
"change parameters for time, memory, objective value, and other limits",
TRUE,
NULL) );
4620 SCIPdialogExecSetLimitsObjective,
NULL,
NULL,
4621 "objective",
"set limit on objective function, such that only solutions better than this limit are accepted",
FALSE,
NULL) );
4634 "lp",
"change parameters for linear programming relaxations",
TRUE,
NULL) );
4645 "nlp",
"change parameters for nonlinear programming relaxations",
TRUE,
NULL) );
4656 "memory",
"change parameters for memory management",
TRUE,
NULL) );
4667 "misc",
"change parameters for miscellaneous stuff",
TRUE,
NULL) );
4678 "nlpi",
"change parameters for NLP solver interfaces",
TRUE,
NULL) );
4691 for( i = 0; i < nnlpis; ++i )
4710 "nodeselection",
"change parameters for node selectors",
TRUE,
NULL) );
4723 for( i = 0; i < nnodesels; ++i )
4742 "numerics",
"change parameters for numerical values",
TRUE,
NULL) );
4753 "parallel",
"change parameters for parallel implementation",
TRUE,
NULL) );
4764 "presolving",
"change parameters for presolving",
TRUE,
NULL) );
4777 for( i = 0; i < npresols; ++i )
4791 assert(emphasismenu !=
NULL);
4797 NULL, SCIPdialogExecSetPresolvingAggressive,
NULL,
NULL,
4798 "aggressive",
"sets presolving <aggressive>",
FALSE,
NULL) );
4808 "default",
"sets presolving settings to <default>",
FALSE,
NULL) );
4818 "fast",
"sets presolving <fast>",
FALSE,
NULL) );
4828 "off",
"turns <off> all presolving",
FALSE,
NULL) );
4839 "pricing",
"change parameters for pricing variables",
TRUE,
NULL) );
4852 for( i = 0; i < npricers; ++i )
4871 "propagating",
"change parameters for constraint propagation",
TRUE,
NULL) );
4882 "reading",
"change parameters for problem file readers",
TRUE,
NULL) );
4895 for( i = 0; i < nreaders; ++i )
4913 "separating",
"change parameters for cut separators",
TRUE,
NULL) );
4926 for( i = 0; i < nsepas; ++i )
4940 assert(emphasismenu !=
NULL);
4946 NULL, SCIPdialogExecSetSeparatingAggressive,
NULL,
NULL,
4947 "aggressive",
"sets separating <aggressive>",
FALSE,
NULL) );
4957 "default",
"sets separating settings to <default>",
FALSE,
NULL) );
4967 "fast",
"sets separating <fast>",
FALSE,
NULL) );
4977 "off",
"turns <off> all separation",
FALSE,
NULL) );
4987 "timing",
"change parameters for timing issues",
TRUE,
NULL) );
4997 "visual",
"change parameters for visualization output",
TRUE,
NULL) );
5010 for( i = 0; i < nparams; ++i )
5025 "counter",
"predefined parameter settings for a \"feasible\" and \"fast\" counting process",
FALSE,
NULL) );
5034 "cpsolver",
"predefined parameter settings for CP like search",
FALSE,
NULL) );
5043 "easycip",
"predefined parameter settings for easy problems",
FALSE,
NULL) );
5052 "feasibility",
"predefined parameter settings for feasibility problems",
FALSE,
NULL) );
5061 "hardlp",
"predefined parameter settings for problems with a hard LP",
FALSE,
NULL) );
5070 "optimality",
"predefined parameter settings for proving optimality fast",
FALSE,
NULL) );
5128 "fix",
"fix/unfix parameters",
TRUE,
NULL) );
5144 "branching",
"fix parameters for branching rules",
TRUE,
NULL) );
5157 for( i = 0; i < nbranchrules; ++i )
5176 "conflict",
"fix parameters for conflict handlers",
TRUE,
NULL) );
5189 for( i = 0; i < nconflicthdlrs; ++i )
5208 "constraints",
"fix parameters for constraint handlers",
TRUE,
NULL) );
5221 for( i = 0; i < nconshdlrs; ++i )
5240 "display",
"fix parameters for display columns",
TRUE,
NULL) );
5253 for( i = 0; i < ndisps; ++i )
5272 "heuristics",
"fix parameters for primal heuristics",
TRUE,
NULL) );
5285 for( i = 0; i < nheurs; ++i )
5304 "limits",
"fix parameters for time, memory, objective value, and other limits",
TRUE,
NULL) );
5316 "lp",
"fix parameters for linear programming relaxations",
TRUE,
NULL) );
5327 "nlp",
"fix parameters for nonlinear programming relaxations",
TRUE,
NULL) );
5338 "memory",
"fix parameters for memory management",
TRUE,
NULL) );
5349 "misc",
"fix parameters for miscellaneous stuff",
TRUE,
NULL) );
5360 "nlpi",
"fix parameters for NLP solver interfaces",
TRUE,
NULL) );
5373 for( i = 0; i < nnlpis; ++i )
5392 "nodeselection",
"fix parameters for node selectors",
TRUE,
NULL) );
5405 for( i = 0; i < nnodesels; ++i )
5424 "numerics",
"fix parameters for numerical values",
TRUE,
NULL) );
5435 "presolving",
"fix parameters for presolving",
TRUE,
NULL) );
5448 for( i = 0; i < npresols; ++i )
5466 "pricing",
"fix parameters for pricing variables",
TRUE,
NULL) );
5479 for( i = 0; i < npricers; ++i )
5498 "propagating",
"fix parameters for constraint propagation",
TRUE,
NULL) );
5509 "reading",
"fix parameters for problem file readers",
TRUE,
NULL) );
5522 for( i = 0; i < nreaders; ++i )
5540 "separating",
"fix parameters for cut separators",
TRUE,
NULL) );
5553 for( i = 0; i < nsepas; ++i )
5570 "timing",
"fix parameters for timing issues",
TRUE,
NULL) );
5580 for( i = 0; i < nparams; ++i )
SCIP_Bool SCIPsolIsOriginal(SCIP_SOL *sol)
SCIP_RETCODE SCIPprintReoptStatistics(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPprintBestSol(SCIP *scip, FILE *file, SCIP_Bool printzeros)
SCIP_DECL_DIALOGDESC(SCIPdialogDescSetParam)
const char * SCIPcomprGetDesc(SCIP_COMPR *compr)
SCIP_PARAM ** SCIPgetParams(SCIP *scip)
SCIP_RETCODE SCIPchgVarLbGlobal(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
SCIP_RETCODE SCIPsetSeparating(SCIP *scip, SCIP_PARAMSETTING paramsetting, SCIP_Bool quiet)
SCIP_RETCODE SCIPincludeDialogDefault(SCIP *scip)
SCIP_Real SCIPfeastol(SCIP *scip)
const char * SCIPconflicthdlrGetDesc(SCIP_CONFLICTHDLR *conflicthdlr)
int SCIPheurGetPriority(SCIP_HEUR *heur)
SCIP_Bool SCIPisNLPConstructed(SCIP *scip)
void SCIPdialoghdlrClearBuffer(SCIP_DIALOGHDLR *dialoghdlr)
int SCIPnodeselGetMemsavePriority(SCIP_NODESEL *nodesel)
const char * SCIPpricerGetName(SCIP_PRICER *pricer)
SCIP_STAGE SCIPgetStage(SCIP *scip)
SCIP_NODESEL ** SCIPgetNodesels(SCIP *scip)
SCIP_PRESOLTIMING SCIPpropGetPresolTiming(SCIP_PROP *prop)
int SCIPgetNRelaxs(SCIP *scip)
SCIP_DISPSTATUS SCIPdispGetStatus(SCIP_DISP *disp)
SCIP_Real SCIPbranchruleGetMaxbounddist(SCIP_BRANCHRULE *branchrule)
void SCIPdialogMessage(SCIP *scip, FILE *file, const char *formatstr,...)
int SCIPcomprGetMinNodes(SCIP_COMPR *compr)
SCIP_RETCODE SCIPaddDialogEntry(SCIP *scip, SCIP_DIALOG *dialog, SCIP_DIALOG *subdialog)
SCIP_BRANCHDIR SCIPvarGetBranchDirection(SCIP_VAR *var)
SCIP_RETCODE SCIPwriteLP(SCIP *scip, const char *filename)
SCIP_Bool SCIPreaderCanWrite(SCIP_READER *reader)
SCIP_Real SCIPvarGetLbGlobal(SCIP_VAR *var)
SCIP_RETCODE SCIPgetRealParam(SCIP *scip, const char *name, SCIP_Real *value)
int SCIPnlpiGetPriority(SCIP_NLPI *nlpi)
static SCIP_DECL_DIALOGCOPY(dialogCopyDefault)
char SCIPparamGetChar(SCIP_PARAM *param)
int SCIPcomprGetPriority(SCIP_COMPR *compr)
SCIP_Bool SCIPisStringParamValid(SCIP *scip, SCIP_PARAM *param, const char *value)
int SCIPpropGetPriority(SCIP_PROP *prop)
#define SCIP_CALL_FINALLY(x, y)
SCIP_RELAX ** SCIPgetRelaxs(SCIP *scip)
SCIP_Bool SCIPpropIsDelayed(SCIP_PROP *prop)
internal methods for NLPI solver interfaces
int SCIPdispGetWidth(SCIP_DISP *disp)
SCIP_RETCODE SCIPprintTransProblem(SCIP *scip, FILE *file, const char *extension, SCIP_Bool genericnames)
const char * SCIPreaderGetName(SCIP_READER *reader)
const char * SCIPbranchruleGetDesc(SCIP_BRANCHRULE *branchrule)
static SCIP_RETCODE dialogExecMenu(SCIP *scip, SCIP_DIALOG *dialog, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG **nextdialog)
const char * SCIPnodeselGetDesc(SCIP_NODESEL *nodesel)
SCIP_RETCODE SCIPsetHeuristics(SCIP *scip, SCIP_PARAMSETTING paramsetting, SCIP_Bool quiet)
SCIP_RETCODE SCIPdialogDisplayCompletions(SCIP_DIALOG *dialog, SCIP *scip, const char *entryname)
SCIP_SOL ** SCIPgetSols(SCIP *scip)
SCIP_PRESOLTIMING SCIPconshdlrGetPresolTiming(SCIP_CONSHDLR *conshdlr)
SCIP_Bool SCIPisIntParamValid(SCIP *scip, SCIP_PARAM *param, int value)
SCIP_RETCODE SCIPparseCons(SCIP *scip, SCIP_CONS **cons, const char *str, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode, SCIP_Bool *success)
int SCIPsnprintf(char *t, int len, const char *s,...)
const char * SCIPsepaGetName(SCIP_SEPA *sepa)
enum SCIP_Retcode SCIP_RETCODE
#define SCIP_PRESOLTIMING_EXHAUSTIVE
SCIP_RETCODE SCIPwriteOrigProblem(SCIP *scip, const char *filename, const char *extension, SCIP_Bool genericnames)
SCIP_RETCODE SCIPsetPresolving(SCIP *scip, SCIP_PARAMSETTING paramsetting, SCIP_Bool quiet)
int SCIPheurGetFreqofs(SCIP_HEUR *heur)
SCIP_HEUR ** SCIPgetHeurs(SCIP *scip)
int SCIPdispGetPriority(SCIP_DISP *disp)
const char * SCIPparamGetName(SCIP_PARAM *param)
const char * SCIPnlpiGetName(SCIP_NLPI *nlpi)
int SCIPdialogFindEntry(SCIP_DIALOG *dialog, const char *entryname, SCIP_DIALOG **subdialog)
SCIP_RETCODE SCIPchgRealParam(SCIP *scip, SCIP_PARAM *param, SCIP_Real value)
struct SCIP_DialogData SCIP_DIALOGDATA
const char * SCIPdispGetDesc(SCIP_DISP *disp)
SCIP_Bool SCIPstrToIntValue(const char *str, int *value, char **endptr)
SCIP_MESSAGEHDLR * SCIPgetMessagehdlr(SCIP *scip)
#define SCIPduplicateBufferArray(scip, ptr, source, num)
int SCIPconshdlrGetSepaFreq(SCIP_CONSHDLR *conshdlr)
const char * SCIPpresolGetDesc(SCIP_PRESOL *presol)
int SCIPgetNPresols(SCIP *scip)
SCIP_Bool SCIPisEQ(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
#define SCIPfreeBufferArray(scip, ptr)
SCIP_Bool SCIPisTransformed(SCIP *scip)
SCIP_RETCODE SCIPchgStringParam(SCIP *scip, SCIP_PARAM *param, const char *value)
SCIP_RETCODE SCIPchgVarUbGlobal(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
SCIP_Real SCIPparamGetReal(SCIP_PARAM *param)
const char * SCIPconshdlrGetDesc(SCIP_CONSHDLR *conshdlr)
SCIP_RETCODE SCIPprintStatistics(SCIP *scip, FILE *file)
SCIP_DIALOG * SCIPdialogGetParent(SCIP_DIALOG *dialog)
void SCIPinfoMessage(SCIP *scip, FILE *file, const char *formatstr,...)
int SCIPconshdlrGetSepaPriority(SCIP_CONSHDLR *conshdlr)
#define SCIP_PRESOLTIMING_FAST
int SCIPgetNConshdlrs(SCIP *scip)
SCIP_RETCODE SCIPprintBranchingStatistics(SCIP *scip, FILE *file)
SCIP_Bool SCIPfileExists(const char *filename)
int SCIPgetNFixedVars(SCIP *scip)
int SCIPpricerGetPriority(SCIP_PRICER *pricer)
SCIP_VAR * SCIPfindVar(SCIP *scip, const char *name)
SCIP_VAR ** SCIPgetFixedVars(SCIP *scip)
SCIP_Bool SCIPisCharParamValid(SCIP *scip, SCIP_PARAM *param, const char value)
SCIP_RETCODE SCIPresetParams(SCIP *scip)
int SCIPconshdlrGetCheckPriority(SCIP_CONSHDLR *conshdlr)
SCIP_DIALOG * SCIPgetRootDialog(SCIP *scip)
SCIP_Real SCIPvarGetUbGlobal(SCIP_VAR *var)
SCIP_READER ** SCIPgetReaders(SCIP *scip)
int SCIPsepaGetFreq(SCIP_SEPA *sepa)
SCIP_Longint SCIPparamGetLongint(SCIP_PARAM *param)
char * SCIPparamGetString(SCIP_PARAM *param)
SCIP_RETCODE SCIPincludeDialog(SCIP *scip, SCIP_DIALOG **dialog, SCIP_DECL_DIALOGCOPY((*dialogcopy)), SCIP_DECL_DIALOGEXEC((*dialogexec)), SCIP_DECL_DIALOGDESC((*dialogdesc)), SCIP_DECL_DIALOGFREE((*dialogfree)), const char *name, const char *desc, SCIP_Bool issubmenu, SCIP_DIALOGDATA *dialogdata)
void SCIPprintMemoryDiagnostic(SCIP *scip)
int SCIPconshdlrGetEagerFreq(SCIP_CONSHDLR *conshdlr)
SCIP_RETCODE SCIPsetObjsense(SCIP *scip, SCIP_OBJSENSE objsense)
SCIP_Bool SCIPisBoolParamValid(SCIP *scip, SCIP_PARAM *param, SCIP_Bool value)
SCIP_CONFLICTHDLR ** SCIPgetConflicthdlrs(SCIP *scip)
#define SCIP_PRESOLTIMING_MEDIUM
SCIP_RETCODE SCIPsolve(SCIP *scip)
SCIP_PROP ** SCIPgetProps(SCIP *scip)
const char * SCIPheurGetName(SCIP_HEUR *heur)
#define BMSfreeMemoryArray(ptr)
const char * SCIPconshdlrGetName(SCIP_CONSHDLR *conshdlr)
SCIP_RETCODE SCIPaddCons(SCIP *scip, SCIP_CONS *cons)
SCIP_CONSHDLR ** SCIPgetConshdlrs(SCIP *scip)
SCIP_RETCODE SCIPincludeDialogDefaultFix(SCIP *scip)
SCIP_Bool SCIPisLT(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_RETCODE SCIPwriteNLP(SCIP *scip, const char *filename)
SCIP_RETCODE SCIPfreeProb(SCIP *scip)
SCIP_RETCODE SCIPreadProb(SCIP *scip, const char *filename, const char *extension)
SCIP_RETCODE SCIPdialogWriteHistory(const char *filename)
int SCIPgetNConflicthdlrs(SCIP *scip)
static SCIP_RETCODE addSetParamDialog(SCIP *scip, SCIP_DIALOG *menu, SCIP_PARAM *param, char *paramname)
SCIP_RETCODE SCIPchgCharParam(SCIP *scip, SCIP_PARAM *param, char value)
SCIP_Bool SCIPreaderCanRead(SCIP_READER *reader)
#define SCIPfreeBufferArrayNull(scip, ptr)
static SCIP_RETCODE addFixParamDialog(SCIP *scip, SCIP_DIALOG *menu, SCIP_PARAM *param, char *paramname)
SCIP_RETCODE SCIPpresolve(SCIP *scip)
int SCIPgetNDisps(SCIP *scip)
static SCIP_RETCODE writeProblem(SCIP *scip, SCIP_DIALOG *dialog, SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG **nextdialog, SCIP_Bool transformed, SCIP_Bool genericnames)
SCIP_Bool SCIPparamIsFixed(SCIP_PARAM *param)
void SCIPescapeString(char *t, int bufsize, const char *s)
int SCIPrelaxGetPriority(SCIP_RELAX *relax)
SCIP_RETCODE SCIPcheckSolOrig(SCIP *scip, SCIP_SOL *sol, SCIP_Bool *feasible, SCIP_Bool printreason, SCIP_Bool completely)
SCIP_RETCODE SCIPdialogDisplayMenu(SCIP_DIALOG *dialog, SCIP *scip)
const char * SCIPheurGetDesc(SCIP_HEUR *heur)
const char * SCIPvarGetName(SCIP_VAR *var)
SCIP_RETCODE SCIPgetBoolParam(SCIP *scip, const char *name, SCIP_Bool *value)
const char * SCIPdispGetHeader(SCIP_DISP *disp)
SCIP_RETCODE SCIPprintOrigProblem(SCIP *scip, FILE *file, const char *extension, SCIP_Bool genericnames)
int SCIPpresolGetPriority(SCIP_PRESOL *presol)
int SCIPgetNNlpis(SCIP *scip)
int SCIPheurGetFreq(SCIP_HEUR *heur)
static SCIP_Bool parseBoolValue(SCIP *scip, const char *valuestr, SCIP_Bool *error)
const char * SCIPrelaxGetName(SCIP_RELAX *relax)
int SCIPconshdlrGetPropFreq(SCIP_CONSHDLR *conshdlr)
void SCIPsortPtr(void **ptrarray, SCIP_DECL_SORTPTRCOMP((*ptrcomp)), int len)
SCIP_RETCODE SCIPprintStatus(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPsetEmphasis(SCIP *scip, SCIP_PARAMEMPHASIS paramemphasis, SCIP_Bool quiet)
SCIP_Real SCIPsepaGetMaxbounddist(SCIP_SEPA *sepa)
int SCIPrelaxGetFreq(SCIP_RELAX *relax)
SCIP_Bool SCIPisLongintParamValid(SCIP *scip, SCIP_PARAM *param, SCIP_Longint value)
const char * SCIPsepaGetDesc(SCIP_SEPA *sepa)
#define BMSduplicateMemoryArray(ptr, source, num)
SCIP_PARAMTYPE SCIPparamGetType(SCIP_PARAM *param)
SCIP_COMPR ** SCIPgetComprs(SCIP *scip)
SCIP_RETCODE SCIPfreeTransform(SCIP *scip)
int SCIPdispGetPosition(SCIP_DISP *disp)
SCIP_Real SCIPgetObjlimit(SCIP *scip)
int SCIPconflicthdlrGetPriority(SCIP_CONFLICTHDLR *conflicthdlr)
SCIP_RETCODE SCIPwriteTransProblem(SCIP *scip, const char *filename, const char *extension, SCIP_Bool genericnames)
void SCIPprintSysError(const char *message)
SCIP_RETCODE SCIPprintBestTransSol(SCIP *scip, FILE *file, SCIP_Bool printzeros)
static const char * paramname[]
SCIP_RETCODE SCIPsetObjlimit(SCIP *scip, SCIP_Real objlimit)
int SCIPgetNPricers(SCIP *scip)
int SCIPvarGetBranchPriority(SCIP_VAR *var)
SCIP_Bool SCIPdialogHasEntry(SCIP_DIALOG *dialog, const char *entryname)
SCIP_RETCODE SCIPchgLongintParam(SCIP *scip, SCIP_PARAM *param, SCIP_Longint value)
const char * SCIPrelaxGetDesc(SCIP_RELAX *relax)
int SCIPpresolGetMaxrounds(SCIP_PRESOL *presol)
const char * SCIPpresolGetName(SCIP_PRESOL *presol)
const char * SCIPnodeselGetName(SCIP_NODESEL *nodesel)
SCIP_RETCODE SCIPwriteCliqueGraph(SCIP *scip, const char *fname, SCIP_Bool writenodeweights)
SCIP_RETCODE SCIPfreeSol(SCIP *scip, SCIP_SOL **sol)
SCIP_Real SCIPvarGetObj(SCIP_VAR *var)
SCIP_RETCODE SCIPprintDualSol(SCIP *scip, FILE *file, SCIP_Bool printzeros)
int SCIPgetNSols(SCIP *scip)
SCIP_RETCODE SCIPcreateRootDialog(SCIP *scip, SCIP_DIALOG **root)
SCIP_RETCODE SCIPdialoghdlrGetWord(SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, const char *prompt, char **inputword, SCIP_Bool *endoffile)
const char * SCIPpropGetDesc(SCIP_PROP *prop)
SCIP_RETCODE SCIPchgVarBranchPriority(SCIP *scip, SCIP_VAR *var, int branchpriority)
SCIP_RETCODE SCIPchgFeastol(SCIP *scip, SCIP_Real feastol)
const char * SCIPreaderGetDesc(SCIP_READER *reader)
SCIP_Bool SCIPparamGetBool(SCIP_PARAM *param)
SCIP_Bool SCIPisRealParamValid(SCIP *scip, SCIP_PARAM *param, SCIP_Real value)
SCIP_Bool SCIPisInfinity(SCIP *scip, SCIP_Real val)
int SCIPconshdlrGetEnfoPriority(SCIP_CONSHDLR *conshdlr)
SCIP_RETCODE SCIPdialoghdlrAddHistory(SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, const char *command, SCIP_Bool escapecommand)
int SCIPparamGetIntMax(SCIP_PARAM *param)
SCIP_Bool SCIPpricerIsDelayed(SCIP_PRICER *pricer)
const char * SCIPpropGetName(SCIP_PROP *prop)
int SCIPbranchruleGetMaxdepth(SCIP_BRANCHRULE *branchrule)
int SCIPparamGetInt(SCIP_PARAM *param)
SCIP_PRESOL ** SCIPgetPresols(SCIP *scip)
int SCIPgetNHeurs(SCIP *scip)
int SCIPpropGetPresolPriority(SCIP_PROP *prop)
SCIP_RETCODE SCIPincludeDialogDefaultSet(SCIP *scip)
const char * SCIPcomprGetName(SCIP_COMPR *compr)
SCIP_DIALOG * SCIPdialoghdlrGetRoot(SCIP_DIALOGHDLR *dialoghdlr)
SCIP_RETCODE SCIPprintLPSolutionQuality(SCIP *scip, FILE *file)
SCIP_RETCODE SCIPwriteMIP(SCIP *scip, const char *filename, SCIP_Bool genericnames, SCIP_Bool origobj, SCIP_Bool lazyconss)
SCIP_SOL * SCIPgetBestSol(SCIP *scip)
SCIP_Bool SCIPisGT(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_RETCODE SCIPprintMIPStart(SCIP *scip, SCIP_SOL *sol, FILE *file)
int SCIPgetNNodesels(SCIP *scip)
SCIP_Real SCIPtransformObj(SCIP *scip, SCIP_Real obj)
char * SCIPparamGetCharAllowedValues(SCIP_PARAM *param)
int SCIPgetNReaders(SCIP *scip)
int SCIPgetNBranchrules(SCIP *scip)
SCIP_Bool SCIPdialoghdlrIsBufferEmpty(SCIP_DIALOGHDLR *dialoghdlr)
SCIP_BRANCHRULE ** SCIPgetBranchrules(SCIP *scip)
SCIP_RETCODE SCIPreleaseCons(SCIP *scip, SCIP_CONS **cons)
SCIP_RETCODE SCIPreadParams(SCIP *scip, const char *filename)
const char * SCIPconflicthdlrGetName(SCIP_CONFLICTHDLR *conflicthdlr)
SCIP_DECL_DIALOGEXEC(SCIPdialogExecMenu)
void SCIPmessageFPrintInfo(SCIP_MESSAGEHDLR *messagehdlr, FILE *file, const char *formatstr,...)
SCIP_Longint SCIPparamGetLongintMax(SCIP_PARAM *param)
const char * SCIPparamGetDesc(SCIP_PARAM *param)
SCIP_VARSTATUS SCIPvarGetStatus(SCIP_VAR *var)
default user interface dialog
SCIP_Bool SCIPsepaIsDelayed(SCIP_SEPA *sepa)
const char * SCIPbranchruleGetName(SCIP_BRANCHRULE *branchrule)
const char * SCIPpricerGetDesc(SCIP_PRICER *pricer)
SCIP_RETCODE SCIPsolveParallel(SCIP *scip)
SCIP_RETCODE SCIPchgVarBranchDirection(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR branchdirection)
char SCIPheurGetDispchar(SCIP_HEUR *heur)
int SCIPparamGetIntMin(SCIP_PARAM *param)
int SCIPgetNCompr(SCIP *scip)
SCIP_RETCODE SCIPdialoghdlrGetLine(SCIP_DIALOGHDLR *dialoghdlr, SCIP_DIALOG *dialog, const char *prompt, char **inputline, SCIP_Bool *endoffile)
SCIP_RETCODE SCIPreleaseDialog(SCIP *scip, SCIP_DIALOG **dialog)
static void displayReaders(SCIP *scip, SCIP_Bool reader, SCIP_Bool writer)
int SCIPpropGetFreq(SCIP_PROP *prop)
SCIP_RETCODE SCIPtransformProb(SCIP *scip)
SCIP_SEPA ** SCIPgetSepas(SCIP *scip)
SCIP_Real SCIPparamGetRealMin(SCIP_PARAM *param)
SCIP_RETCODE SCIPwriteParams(SCIP *scip, const char *filename, SCIP_Bool comments, SCIP_Bool onlychanged)
SCIP_NLPI ** SCIPgetNlpis(SCIP *scip)
SCIP_DISP ** SCIPgetDisps(SCIP *scip)
int SCIPgetNSepas(SCIP *scip)
static SCIP_RETCODE createEmphasisSubmenu(SCIP *scip, SCIP_DIALOG *root, SCIP_DIALOG **submenu)
SCIP_DIALOGDATA * SCIPdialogGetData(SCIP_DIALOG *dialog)
SCIP_Longint SCIPparamGetLongintMin(SCIP_PARAM *param)
SCIP_Bool SCIPparamIsAdvanced(SCIP_PARAM *param)
SCIP_RETCODE SCIPfreeSolve(SCIP *scip, SCIP_Bool restart)
SCIP_RETCODE SCIPchgIntParam(SCIP *scip, SCIP_PARAM *param, int value)
SCIP_RETCODE SCIPsetRootDialog(SCIP *scip, SCIP_DIALOG *dialog)
const char * SCIPdispGetName(SCIP_DISP *disp)
int SCIPnodeselGetStdPriority(SCIP_NODESEL *nodesel)
const char * SCIPnlpiGetDesc(SCIP_NLPI *nlpi)
const char * SCIPreaderGetExtension(SCIP_READER *reader)
int SCIPgetNParams(SCIP *scip)
SCIP_Real SCIPgetSolVal(SCIP *scip, SCIP_SOL *sol, SCIP_VAR *var)
SCIP_RETCODE SCIPchgBoolParam(SCIP *scip, SCIP_PARAM *param, SCIP_Bool value)
int SCIPgetNProps(SCIP *scip)
int SCIPsepaGetPriority(SCIP_SEPA *sepa)
SCIP_Real SCIPparamGetRealMax(SCIP_PARAM *param)
void SCIPparamSetFixed(SCIP_PARAM *param, SCIP_Bool fixed)
SCIP_PRESOLTIMING SCIPpresolGetTiming(SCIP_PRESOL *presol)
SCIP_RETCODE SCIPcreateFiniteSolCopy(SCIP *scip, SCIP_SOL **sol, SCIP_SOL *sourcesol, SCIP_Bool *success)
int SCIPbranchruleGetPriority(SCIP_BRANCHRULE *branchrule)
SCIP_PRICER ** SCIPgetPricers(SCIP *scip)
SCIP_RETCODE SCIPprintSol(SCIP *scip, SCIP_SOL *sol, FILE *file, SCIP_Bool printzeros)