63 if( command[0] ==
'\0' )
68 else if( strcmp(command,
"..") == 0 )
71 if( *nextdialog == NULL )
86 else if( nfound >= 2 )
105 const char* valuestr,
109 assert( scip != NULL );
110 assert( valuestr != NULL );
111 assert( error != NULL );
115 switch( valuestr[0] )
150 assert( scip != NULL );
159 for( r = 0; r < nreaders; ++r )
197 if( filename[0] !=
'\0' )
230 if( extension == NULL )
234 SCIPdialogMessage(scip, NULL,
"The following readers are available for writing:\n");
238 "select a suitable reader by extension (or return): ", &extension, &endoffile) );
240 if( extension[0] ==
'\0' )
245 SCIPdialogMessage(scip, NULL,
"no reader for output in <%s> format\n", extension);
256 SCIPdialogMessage(scip, NULL,
"written transformed problem to file <%s>\n", tmpfilename);
258 SCIPdialogMessage(scip, NULL,
"written original problem to file <%s>\n", tmpfilename);
262 while( extension != NULL );
274 assert(
scip != NULL);
275 assert(dialog != NULL);
329 printf(
"<%s>\n", str);
331 SCIP_CALL(
SCIPparseCons(
scip, &cons, str,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE, &success) );
382 if( varname[0] ==
'\0' || endoffile )
390 while( var == NULL );
409 if( boundstr[0] !=
'\0' )
413 bound = strtod(boundstr, &endptr);
414 if( endptr == boundstr || *endptr !=
'\0' )
416 printf(
"<%s> <%s>\n", endptr, boundstr);
421 SCIPdialogMessage(
scip, NULL,
"ignore lower bound <%.15g> since it is larger than the current upper bound <%.15g>\n",
437 if( boundstr[0] !=
'\0' )
441 bound = strtod(boundstr, &endptr);
442 if( endptr == boundstr || *endptr !=
'\0' )
448 SCIPdialogMessage(
scip, NULL,
"ignore new upper bound <%.15g> since it is smaller than the current lower bound <%.15g>\n",
500 if( objsense[0] !=
'\0' && !endoffile )
502 if( strncmp(objsense,
"max", 3) == 0 )
506 else if( strncmp(objsense ,
"min", 3) == 0 )
587 assert(nextdialog != NULL);
605 if( filename[0] !=
'\0' )
641 SCIPsortPtr((
void**)sorted, SCIPbranchruleComp, nbranchrules);
647 for( i = 0; i < nbranchrules; ++i )
689 SCIPsortPtr((
void**)sorted, SCIPrelaxComp, nrelaxs);
695 for( i = 0; i < nrelaxs; ++i )
697 assert(sorted != NULL);
733 SCIPsortPtr((
void**)sorted, SCIPconflicthdlrComp, nconflicthdlrs);
739 for( i = 0; i < nconflicthdlrs; ++i )
774 SCIPdialogMessage(
scip, NULL,
" constraint handler chckprio enfoprio sepaprio sepaf propf eager prestim description\n");
775 SCIPdialogMessage(
scip, NULL,
" ------------------ -------- -------- -------- ----- ----- ----- ------- -----------\n");
776 for( i = 0; i < nconshdlrs; ++i )
815 SCIPdialogMessage(
scip, NULL,
" display column header position width priority status description\n");
816 SCIPdialogMessage(
scip, NULL,
" -------------- ------ -------- ----- -------- ------ -----------\n");
817 for( i = 0; i < ndisps; ++i )
869 for( i = 0; i < nheurs; ++i )
930 for( i = 0; i < nnlpis; ++i )
932 assert(sorted != NULL);
969 for( i = 0; i < nnodesels; ++i )
1017 SCIPdialogMessage(
scip, NULL,
" priority: presolver called before constraint handlers iff priority > 0\n");
1019 SCIPdialogMessage(
scip, NULL,
" maxrounds: -1: no limit, 0: off, >0: limited number of rounds\n\n");
1022 for( i = 0; i < npresols; ++i )
1058 for( i = 0; i < npricers; ++i )
1110 SCIPdialogMessage(
scip, NULL,
" presprio: propagator presolving called before constraint handlers iff presprio > 0\n");
1115 for( i = 0; i < nprops; ++i )
1165 for( i = 0; i < nsepas; ++i )
1207 assert(fixedvars != NULL || nfixedvars == 0);
1210 for( v = 0; v < nfixedvars; ++v )
1221 If you want SCIP to display an optimal solution without infinite values, use 'display finitesolution'.\n");
1240 if( bestsol != NULL )
1263 if( retcode ==
SCIP_OKAY && sol != NULL )
1340 if ( idx < 0 || idx >= nsols )
1349 assert( sols[idx] != NULL );
1402 SCIPsortPtr((
void**)sorted, SCIPcomprComp, ncomprs);
1408 for( i = 0; i < ncomprs; ++i )
1477 if( varname[0] !=
'\0' )
1792 if( filename[0] !=
'\0' )
1815 if( extension == NULL )
1819 tmpfilename, extension);
1827 if( extension == NULL )
1835 "select a suitable reader by extension (or return): ", &extension, &endoffile) );
1837 if( extension[0] ==
'\0' )
1853 while( extension != NULL );
1896 if( filename[0] !=
'\0' )
1930 if( filename[0] !=
'\0' )
1967 if( filename[0] !=
'\0' )
2022 if( valuestr[0] ==
'\0' )
2029 SCIPdialogMessage(
scip, NULL,
"\nInvalid value <%s> for bool parameter <%s>. Must be <0>, <1>, <FALSE>, or <TRUE>.\n\n",
2054 if( valuestr[0] ==
'\0' )
2061 SCIPdialogMessage(
scip, NULL,
"\nInvalid value <%s> for int parameter <%s>. Must be integral in range [%d,%d].\n\n",
2073 (void)
SCIPsnprintf(prompt,
SCIP_MAXSTRLEN,
"current value: %" SCIP_LONGINT_FORMAT
", new value [%" SCIP_LONGINT_FORMAT
",%" SCIP_LONGINT_FORMAT
"]: ",
2081 if( valuestr[0] ==
'\0' )
2088 SCIPdialogMessage(
scip, NULL,
"\nInvalid value <%s> for longint parameter <%s>. Must be integral in range [%" SCIP_LONGINT_FORMAT
",%" SCIP_LONGINT_FORMAT
"].\n\n",
2107 if( valuestr[0] ==
'\0' )
2114 SCIPdialogMessage(
scip, NULL,
"\nInvalid real parameter value <%s> for parameter <%s>. Must be in range [%.15g,%.15g].\n\n",
2132 if( valuestr[0] ==
'\0' )
2157 if( valuestr[0] ==
'\0' )
2210 if( strchr(valuestr,
'.') == NULL && strchr(valuestr,
'e') == NULL )
2260 if( valuestr[0] ==
'\0' )
2274 SCIPdialogMessage(
scip, NULL,
"\nInvalid value <%s> for fixing status. Must be <0>, <1>, <FALSE>, or <TRUE>.\n\n",
2326 if( valuestr[0] ==
'\0' )
2351 SCIPerrorMessage(
"invalid preferred branching direction <%d> of variable <%s>\n",
2364 if( valuestr[0] ==
'\0' )
2369 if( sscanf(valuestr,
"%d", &direction) != 1 )
2374 if( direction < -1 || direction > +1 )
2376 SCIPdialogMessage(
scip, NULL,
"\ninvalid input <%d>: direction must be -1, 0, or +1\n\n", direction);
2381 if( direction == -1 )
2383 else if( direction == 0 )
2418 if( valuestr[0] ==
'\0' )
2439 if( valuestr[0] ==
'\0' )
2444 if( sscanf(valuestr,
"%d", &priority) != 1 )
2722 if( valuestr[0] ==
'\0' )
2737 SCIPdialogMessage(
scip, NULL,
"\ncannot relax objective limit from %.15g to %.15g after problem was transformed\n\n",
2778 if( filename[0] !=
'\0' )
2838 if( valuestr[0] ==
'\0' )
2845 "using generic variable and row names (TRUE/FALSE): ",
2846 &valuestr, &endoffile) );
2853 if( valuestr[0] ==
'\0' )
2872 "using original objective function (TRUE/FALSE): ",
2873 &valuestr, &endoffile) );
2880 if( valuestr[0] ==
'\0' )
2898 "output removable rows as lazy constraints (TRUE/FALSE): ",
2899 &valuestr, &endoffile) );
2906 if( valuestr[0] ==
'\0' )
2968 if( filename[0] !=
'\0' )
3045 if( filename[0] !=
'\0' )
3051 file = fopen(filename,
"w");
3096 if( filename[0] !=
'\0' )
3102 file = fopen(filename,
"w");
3153 if( filename[0] !=
'\0' )
3164 "check that the directory exists and that you have correct permissions\n", filename);
3195 if( filename[0] !=
'\0' )
3201 file = fopen(filename,
"w");
3218 if( bestsol != NULL )
3273 if( filename[0] !=
'\0' )
3279 file = fopen(filename,
"w");
3352 const char* primaldual[] = {
"primal",
"dual"};
3357 for( i = 0; i < 2; ++i )
3362 (void)
SCIPsnprintf(prompt,
SCIP_MAXSTRLEN,
"Please enter %s validation reference bound (or use +/-infinity) :", primaldual[i]);
3366 if( endoffile || strncmp(refstrs[i],
"\0", 1) == 0 )
3370 else if( strncmp(refstrs[i],
"q", 1) == 0 )
3374 SCIPdialogMessage(
scip, NULL,
"Could not parse value '%s', please try again or type 'q' to quit\n", refstrs[i]);
3382 assert(refvals[0] != SCIP_INVALID);
3383 assert(refvals[1] != SCIP_INVALID);
3427 SCIPdialogExecMenuLazy, NULL, NULL,
3428 "SCIP",
"SCIP's main menu",
TRUE, NULL) );
3459 SCIPdialogExecMenu, NULL, NULL,
3460 "change",
"change the problem",
TRUE, NULL) );
3475 SCIPdialogExecChangeAddCons, NULL, NULL,
3476 "add",
"add constraint",
FALSE, NULL) );
3486 SCIPdialogExecChangeBounds, NULL, NULL,
3487 "bounds",
"change bounds of a variable",
FALSE, NULL) );
3497 SCIPdialogExecChangeFreetransproblem, NULL, NULL,
3498 "freetransproblem",
"free transformed problem",
FALSE, NULL) );
3508 SCIPdialogExecChangeObjSense, NULL, NULL,
3509 "objsense",
"change objective sense",
FALSE, NULL) );
3519 SCIPdialogExecChecksol, NULL, NULL,
3520 "checksol",
"double checks best solution w.r.t. original problem",
FALSE, NULL) );
3530 SCIPdialogExecMenu, NULL, NULL,
3531 "display",
"display information",
TRUE, NULL) );
3546 SCIPdialogExecDisplayBranching, NULL, NULL,
3547 "branching",
"display branching rules",
FALSE, NULL) );
3557 SCIPdialogExecDisplayCompression, NULL, NULL,
3558 "compression",
"display compression techniques",
FALSE, NULL) );
3568 SCIPdialogExecDisplayConflict, NULL, NULL,
3569 "conflict",
"display conflict handlers",
FALSE, NULL) );
3579 SCIPdialogExecDisplayConshdlrs, NULL, NULL,
3580 "conshdlrs",
"display constraint handlers",
FALSE, NULL) );
3590 SCIPdialogExecDisplayDisplaycols, NULL, NULL,
3591 "displaycols",
"display display columns",
FALSE, NULL) );
3601 SCIPdialogExecDisplayHeuristics, NULL, NULL,
3602 "heuristics",
"display primal heuristics",
FALSE, NULL) );
3612 SCIPdialogExecDisplayMemory, NULL, NULL,
3613 "memory",
"display memory diagnostics",
FALSE, NULL) );
3623 SCIPdialogExecDisplayNlpi, NULL, NULL,
3624 "nlpis",
"display NLP solver interfaces",
FALSE, NULL) );
3634 SCIPdialogExecDisplayNodeselectors, NULL, NULL,
3635 "nodeselectors",
"display node selectors",
FALSE, NULL) );
3645 SCIPdialogExecDisplayParameters, NULL, NULL,
3646 "parameters",
"display non-default parameter settings",
FALSE, NULL) );
3656 SCIPdialogExecDisplayPresolvers, NULL, NULL,
3657 "presolvers",
"display presolvers",
FALSE, NULL) );
3667 SCIPdialogExecDisplayPricers, NULL, NULL,
3668 "pricers",
"display pricers",
FALSE, NULL) );
3678 SCIPdialogExecDisplayProblem, NULL, NULL,
3679 "problem",
"display original problem",
FALSE, NULL) );
3689 SCIPdialogExecDisplayPropagators, NULL, NULL,
3690 "propagators",
"display propagators",
FALSE, NULL) );
3700 SCIPdialogExecDisplayReaders, NULL, NULL,
3701 "readers",
"display file readers",
FALSE, NULL) );
3711 SCIPdialogExecDisplayRelaxators, NULL, NULL,
3712 "relaxators",
"display relaxators",
FALSE, NULL) );
3722 SCIPdialogExecDisplaySeparators, NULL, NULL,
3723 "separators",
"display cut separators",
FALSE, NULL) );
3733 SCIPdialogExecDisplaySolution, NULL, NULL,
3734 "solution",
"display best primal solution",
FALSE, NULL) );
3744 SCIPdialogExecDisplayFiniteSolution, NULL, NULL,
3745 "finitesolution",
"display best primal solution (try to make solution values finite, first)",
FALSE, NULL) );
3755 SCIPdialogExecDisplayDualSolution, NULL, NULL,
3756 "dualsolution",
"display dual solution vector (LP only, without presolving)",
FALSE, NULL) );
3766 SCIPdialogExecDisplaySolutionPool, NULL, NULL,
3767 "sols",
"display solutions from pool",
FALSE, NULL) );
3777 SCIPdialogExecDisplayStatistics, NULL, NULL,
3778 "statistics",
"display problem and optimization statistics",
FALSE, NULL) );
3788 SCIPdialogExecDisplayReoptStatistics, NULL, NULL,
3789 "reoptstatistics",
"display reoptimitazion statistics",
FALSE, NULL) );
3799 SCIPdialogExecDisplayTransproblem, NULL, NULL,
3800 "transproblem",
"display current node transformed problem",
FALSE, NULL) );
3810 SCIPdialogExecDisplayValue, NULL, NULL,
3811 "value",
"display value of single variable in best primal solution",
FALSE, NULL) );
3821 SCIPdialogExecDisplayVarbranchstatistics, NULL, NULL,
3822 "varbranchstatistics",
"display statistics for branching on variables",
FALSE, NULL) );
3832 SCIPdialogExecDisplayLPSolutionQuality, NULL, NULL,
3833 "lpsolquality",
"display quality of the current LP solution, if available",
FALSE, NULL) );
3843 SCIPdialogExecDisplayTranssolution, NULL, NULL,
3844 "transsolution",
"display best primal solution in transformed variables",
FALSE, NULL) );
3854 SCIPdialogExecDisplayLinearConsClassification, NULL, NULL,
3855 "linclass",
"linear constraint classification as used for MIPLIB",
FALSE, NULL) );
3865 SCIPdialogExecFree, NULL, NULL,
3866 "free",
"free current problem from memory",
FALSE, NULL) );
3876 SCIPdialogExecHelp, NULL, NULL,
3877 "help",
"display this help",
FALSE, NULL) );
3887 SCIPdialogExecNewstart, NULL, NULL,
3888 "newstart",
"reset branch and bound tree to start again from root",
FALSE, NULL) );
3899 SCIPdialogExecTransform, NULL, NULL,
3900 "transform",
"transforms problem from original state",
FALSE, NULL) );
3911 SCIPdialogExecOptimize, NULL, NULL,
3912 "optimize",
"solve the problem",
FALSE, NULL) );
3922 SCIPdialogExecConcurrentOpt, NULL, NULL,
3923 "concurrentopt",
"solve the problem using concurrent solvers",
FALSE, NULL) );
3933 SCIPdialogExecPresolve, NULL, NULL,
3934 "presolve",
"solve the problem, but stop after presolving stage",
FALSE, NULL) );
3944 SCIPdialogExecQuit, NULL, NULL,
3945 "quit",
"leave SCIP",
FALSE, NULL) );
3955 SCIPdialogExecRead, NULL, NULL,
3956 "read",
"read a problem",
FALSE, NULL) );
3972 SCIPdialogExecMenu, NULL, NULL,
3973 "write",
"write information to file",
TRUE, NULL) );
3988 SCIPdialogExecWriteLp, NULL, NULL,
3989 "lp",
"write current node LP relaxation in LP format to file",
FALSE, NULL) );
3999 SCIPdialogExecWriteMip, NULL, NULL,
4000 "mip",
"write current node MIP relaxation in LP format to file",
FALSE, NULL) );
4010 SCIPdialogExecWriteNlp, NULL, NULL,
4011 "nlp",
"write current node NLP relaxation to file",
FALSE, NULL) );
4021 SCIPdialogExecWriteProblem, NULL, NULL,
4023 "write original problem to file (format is given by file extension, e.g., orig.{lp,rlp,cip,mps})",
4034 SCIPdialogExecWriteGenProblem, NULL, NULL,
4036 "write original problem with generic names to file (format is given by file extension, e.g., orig.{lp,rlp,cip,mps})",
4047 SCIPdialogExecWriteSolution, NULL, NULL,
4048 "solution",
"write best primal solution to file",
FALSE, NULL) );
4058 SCIPdialogExecWriteFiniteSolution, NULL, NULL,
4059 "finitesolution",
"write best primal solution to file (try to make solution values finite, first)",
FALSE, NULL) );
4069 SCIPdialogExecWriteMIPStart, NULL, NULL,
4070 "mipstart",
"write mip start to file",
FALSE, NULL) );
4080 SCIPdialogExecWriteStatistics, NULL, NULL,
4081 "statistics",
"write statistics to file",
FALSE, NULL) );
4091 SCIPdialogExecWriteTransproblem, NULL, NULL,
4093 "write current node transformed problem to file (format is given by file extension, e.g., trans.{lp,rlp,cip,mps})",
4104 SCIPdialogExecWriteGenTransproblem, NULL, NULL,
4106 "write current node transformed problem with generic names to file (format is given by file extension, e.g., trans.{lp,rlp,cip,mps})",
4117 SCIPdialogExecCliquegraph, NULL, NULL,
4119 "write graph of cliques and implications of binary variables to GML file (better call after presolving)",
4130 SCIPdialogExecWriteCommandHistory, NULL, NULL,
4132 "write command line history to a file (only works if SCIP was compiled with 'readline')",
4143 "validate the solution against external objective reference interval",
4166 assert(paramname != NULL);
4169 slash = strchr(paramname,
'/');
4190 SCIPdialogExecMenu, NULL, NULL,
"advanced", desc,
TRUE, NULL) );
4197 if( advmenu == NULL )
4208 SCIPdialogExecSetParam, SCIPdialogDescSetParam, NULL,
4219 SCIPdialogExecSetParam, SCIPdialogDescSetParam, NULL,
4231 dirname = paramname;
4232 paramname = slash+1;
4243 SCIPdialogExecMenu, NULL, NULL, dirname, desc,
TRUE, NULL) );
4250 if( submenu == NULL )
4277 assert(paramname != NULL);
4280 slash = strchr(paramname,
'/');
4301 SCIPdialogExecMenu, NULL, NULL,
"advanced", desc,
TRUE, NULL) );
4308 if( advmenu == NULL )
4319 SCIPdialogExecFixParam, SCIPdialogDescFixParam, NULL,
4330 SCIPdialogExecFixParam, SCIPdialogDescFixParam, NULL,
4342 dirname = paramname;
4343 paramname = slash+1;
4354 SCIPdialogExecMenu, NULL, NULL, dirname, desc,
TRUE, NULL) );
4361 if( submenu == NULL )
4385 NULL, SCIPdialogExecMenu, NULL, NULL,
4386 "emphasis",
"predefined parameter settings",
TRUE, NULL) );
4396 assert(*submenu != NULL);
4452 NULL, SCIPdialogExecMenu, NULL, NULL,
4453 "set",
"load/save/change parameters",
TRUE, NULL) );
4468 SCIPdialogExecSetDefault, NULL, NULL,
4469 "default",
"reset parameter settings to their default values",
FALSE, NULL) );
4479 SCIPdialogExecSetLoad, NULL, NULL,
4480 "load",
"load parameter settings from a file",
FALSE, NULL) );
4490 SCIPdialogExecSetSave, NULL, NULL,
4491 "save",
"save parameter settings to a file",
FALSE, NULL) );
4501 SCIPdialogExecSetDiffsave, NULL, NULL,
4502 "diffsave",
"save non-default parameter settings to a file",
FALSE, NULL) );
4512 SCIPdialogExecMenu, NULL, NULL,
4513 "branching",
"change parameters for branching rules",
TRUE, NULL) );
4526 for( i = 0; i < nbranchrules; ++i )
4532 SCIPdialogExecMenu, NULL, NULL,
4544 SCIPdialogExecSetBranchingPriority, NULL, NULL,
4545 "priority",
"change branching priority of a single variable",
FALSE, NULL) );
4555 SCIPdialogExecSetBranchingDirection, NULL, NULL,
4556 "direction",
"change preferred branching direction of a single variable (-1:down, 0:auto, +1:up)",
4567 SCIPdialogExecMenu, NULL, NULL,
4568 "conflict",
"change parameters for conflict handlers",
TRUE, NULL) );
4581 for( i = 0; i < nconflicthdlrs; ++i )
4587 SCIPdialogExecMenu, NULL, NULL,
4599 SCIPdialogExecMenu, NULL, NULL,
4600 "constraints",
"change parameters for constraint handlers",
TRUE, NULL) );
4613 for( i = 0; i < nconshdlrs; ++i )
4619 SCIPdialogExecMenu, NULL, NULL,
4631 SCIPdialogExecMenu, NULL, NULL,
4632 "display",
"change parameters for display columns",
TRUE, NULL) );
4645 for( i = 0; i < ndisps; ++i )
4651 SCIPdialogExecMenu, NULL, NULL,
4663 SCIPdialogExecMenu, NULL, NULL,
4664 "heuristics",
"change parameters for primal heuristics",
TRUE, NULL) );
4677 for( i = 0; i < nheurs; ++i )
4683 SCIPdialogExecMenu, NULL, NULL,
4692 assert(emphasismenu != NULL);
4698 NULL, SCIPdialogExecSetHeuristicsAggressive, NULL, NULL,
4699 "aggressive",
"sets heuristics <aggressive>",
FALSE, NULL) );
4708 NULL, SCIPdialogExecSetHeuristicsDefault, NULL, NULL,
4709 "default",
"sets heuristics settings to <default> ",
FALSE, NULL) );
4718 NULL, SCIPdialogExecSetHeuristicsFast, NULL, NULL,
4719 "fast",
"sets heuristics <fast>",
FALSE, NULL) );
4728 NULL, SCIPdialogExecSetHeuristicsOff, NULL, NULL,
4729 "off",
"turns <off> all heuristics",
FALSE, NULL) );
4739 SCIPdialogExecMenu, NULL, NULL,
4740 "limits",
"change parameters for time, memory, objective value, and other limits",
TRUE, NULL) );
4745 SCIPdialogExecSetLimitsObjective, NULL, NULL,
4746 "objective",
"set limit on objective function, such that only solutions better than this limit are accepted",
FALSE, NULL) );
4758 SCIPdialogExecMenu, NULL, NULL,
4759 "lp",
"change parameters for linear programming relaxations",
TRUE, NULL) );
4769 SCIPdialogExecMenu, NULL, NULL,
4770 "nlp",
"change parameters for nonlinear programming relaxations",
TRUE, NULL) );
4780 SCIPdialogExecMenu, NULL, NULL,
4781 "memory",
"change parameters for memory management",
TRUE, NULL) );
4791 SCIPdialogExecMenu, NULL, NULL,
4792 "misc",
"change parameters for miscellaneous stuff",
TRUE, NULL) );
4802 SCIPdialogExecMenu, NULL, NULL,
4803 "nlpi",
"change parameters for NLP solver interfaces",
TRUE, NULL) );
4816 for( i = 0; i < nnlpis; ++i )
4822 SCIPdialogExecMenu, NULL, NULL,
4834 SCIPdialogExecMenu, NULL, NULL,
4835 "nodeselection",
"change parameters for node selectors",
TRUE, NULL) );
4848 for( i = 0; i < nnodesels; ++i )
4854 SCIPdialogExecMenu, NULL, NULL,
4866 SCIPdialogExecMenu, NULL, NULL,
4867 "numerics",
"change parameters for numerical values",
TRUE, NULL) );
4877 SCIPdialogExecMenu, NULL, NULL,
4878 "parallel",
"change parameters for parallel implementation",
TRUE, NULL) );
4888 SCIPdialogExecMenu, NULL, NULL,
4889 "presolving",
"change parameters for presolving",
TRUE, NULL) );
4902 for( i = 0; i < npresols; ++i )
4907 NULL, SCIPdialogExecMenu, NULL, NULL,
4916 assert(emphasismenu != NULL);
4922 NULL, SCIPdialogExecSetPresolvingAggressive, NULL, NULL,
4923 "aggressive",
"sets presolving <aggressive>",
FALSE, NULL) );
4932 NULL, SCIPdialogExecSetPresolvingDefault, NULL, NULL,
4933 "default",
"sets presolving settings to <default>",
FALSE, NULL) );
4942 NULL, SCIPdialogExecSetPresolvingFast, NULL, NULL,
4943 "fast",
"sets presolving <fast>",
FALSE, NULL) );
4952 NULL, SCIPdialogExecSetPresolvingOff, NULL, NULL,
4953 "off",
"turns <off> all presolving",
FALSE, NULL) );
4963 SCIPdialogExecMenu, NULL, NULL,
4964 "pricing",
"change parameters for pricing variables",
TRUE, NULL) );
4977 for( i = 0; i < npricers; ++i )
4983 SCIPdialogExecMenu, NULL, NULL,
4995 SCIPdialogExecMenu, NULL, NULL,
4996 "propagating",
"change parameters for constraint propagation",
TRUE, NULL) );
5006 SCIPdialogExecMenu, NULL, NULL,
5007 "reading",
"change parameters for problem file readers",
TRUE, NULL) );
5020 for( i = 0; i < nreaders; ++i )
5026 SCIPdialogExecMenu, NULL, NULL,
5037 NULL, SCIPdialogExecMenu, NULL, NULL,
5038 "separating",
"change parameters for cut separators",
TRUE, NULL) );
5051 for( i = 0; i < nsepas; ++i )
5056 NULL, SCIPdialogExecMenu, NULL, NULL,
5065 assert(emphasismenu != NULL);
5071 NULL, SCIPdialogExecSetSeparatingAggressive, NULL, NULL,
5072 "aggressive",
"sets separating <aggressive>",
FALSE, NULL) );
5081 NULL, SCIPdialogExecSetSeparatingDefault, NULL, NULL,
5082 "default",
"sets separating settings to <default>",
FALSE, NULL) );
5091 NULL, SCIPdialogExecSetSeparatingFast, NULL, NULL,
5092 "fast",
"sets separating <fast>",
FALSE, NULL) );
5101 NULL, SCIPdialogExecSetSeparatingOff, NULL, NULL,
5102 "off",
"turns <off> all separation",
FALSE, NULL) );
5111 NULL, SCIPdialogExecMenu, NULL, NULL,
5112 "timing",
"change parameters for timing issues",
TRUE, NULL) );
5121 NULL, SCIPdialogExecMenu, NULL, NULL,
5122 "visual",
"change parameters for visualization output",
TRUE, NULL) );
5135 for( i = 0; i < nparams; ++i )
5150 "counter",
"predefined parameter settings for a \"feasible\" and \"fast\" counting process",
FALSE, NULL) );
5159 "cpsolver",
"predefined parameter settings for CP like search",
FALSE, NULL) );
5168 "easycip",
"predefined parameter settings for easy problems",
FALSE, NULL) );
5177 "feasibility",
"predefined parameter settings for feasibility problems",
FALSE, NULL) );
5186 "hardlp",
"predefined parameter settings for problems with a hard LP",
FALSE, NULL) );
5195 "optimality",
"predefined parameter settings for proving optimality fast",
FALSE, NULL) );
5252 NULL, SCIPdialogExecMenu, NULL, NULL,
5253 "fix",
"fix/unfix parameters",
TRUE, NULL) );
5268 SCIPdialogExecMenu, NULL, NULL,
5269 "branching",
"fix parameters for branching rules",
TRUE, NULL) );
5282 for( i = 0; i < nbranchrules; ++i )
5288 SCIPdialogExecMenu, NULL, NULL,
5300 SCIPdialogExecMenu, NULL, NULL,
5301 "conflict",
"fix parameters for conflict handlers",
TRUE, NULL) );
5314 for( i = 0; i < nconflicthdlrs; ++i )
5320 SCIPdialogExecMenu, NULL, NULL,
5332 SCIPdialogExecMenu, NULL, NULL,
5333 "constraints",
"fix parameters for constraint handlers",
TRUE, NULL) );
5346 for( i = 0; i < nconshdlrs; ++i )
5352 SCIPdialogExecMenu, NULL, NULL,
5364 SCIPdialogExecMenu, NULL, NULL,
5365 "display",
"fix parameters for display columns",
TRUE, NULL) );
5378 for( i = 0; i < ndisps; ++i )
5384 SCIPdialogExecMenu, NULL, NULL,
5396 SCIPdialogExecMenu, NULL, NULL,
5397 "heuristics",
"fix parameters for primal heuristics",
TRUE, NULL) );
5410 for( i = 0; i < nheurs; ++i )
5416 SCIPdialogExecMenu, NULL, NULL,
5428 SCIPdialogExecMenu, NULL, NULL,
5429 "limits",
"fix parameters for time, memory, objective value, and other limits",
TRUE, NULL) );
5440 SCIPdialogExecMenu, NULL, NULL,
5441 "lp",
"fix parameters for linear programming relaxations",
TRUE, NULL) );
5451 SCIPdialogExecMenu, NULL, NULL,
5452 "nlp",
"fix parameters for nonlinear programming relaxations",
TRUE, NULL) );
5462 SCIPdialogExecMenu, NULL, NULL,
5463 "memory",
"fix parameters for memory management",
TRUE, NULL) );
5473 SCIPdialogExecMenu, NULL, NULL,
5474 "misc",
"fix parameters for miscellaneous stuff",
TRUE, NULL) );
5484 SCIPdialogExecMenu, NULL, NULL,
5485 "nlpi",
"fix parameters for NLP solver interfaces",
TRUE, NULL) );
5498 for( i = 0; i < nnlpis; ++i )
5504 SCIPdialogExecMenu, NULL, NULL,
5516 SCIPdialogExecMenu, NULL, NULL,
5517 "nodeselection",
"fix parameters for node selectors",
TRUE, NULL) );
5530 for( i = 0; i < nnodesels; ++i )
5536 SCIPdialogExecMenu, NULL, NULL,
5548 SCIPdialogExecMenu, NULL, NULL,
5549 "numerics",
"fix parameters for numerical values",
TRUE, NULL) );
5559 SCIPdialogExecMenu, NULL, NULL,
5560 "presolving",
"fix parameters for presolving",
TRUE, NULL) );
5573 for( i = 0; i < npresols; ++i )
5578 NULL, SCIPdialogExecMenu, NULL, NULL,
5590 SCIPdialogExecMenu, NULL, NULL,
5591 "pricing",
"fix parameters for pricing variables",
TRUE, NULL) );
5604 for( i = 0; i < npricers; ++i )
5610 SCIPdialogExecMenu, NULL, NULL,
5622 SCIPdialogExecMenu, NULL, NULL,
5623 "propagating",
"fix parameters for constraint propagation",
TRUE, NULL) );
5633 SCIPdialogExecMenu, NULL, NULL,
5634 "reading",
"fix parameters for problem file readers",
TRUE, NULL) );
5647 for( i = 0; i < nreaders; ++i )
5653 SCIPdialogExecMenu, NULL, NULL,
5664 NULL, SCIPdialogExecMenu, NULL, NULL,
5665 "separating",
"fix parameters for cut separators",
TRUE, NULL) );
5678 for( i = 0; i < nsepas; ++i )
5683 NULL, SCIPdialogExecMenu, NULL, NULL,
5694 NULL, SCIPdialogExecMenu, NULL, NULL,
5695 "timing",
"fix parameters for timing issues",
TRUE, NULL) );
5705 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)
SCIP_Real SCIPsolGetRelBoundViolation(SCIP_SOL *sol)
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)
SCIP_Bool SCIPparseReal(SCIP *scip, const char *str, SCIP_Real *value, char **endptr)
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)
void SCIPprintLinConsStats(SCIP *scip, FILE *file, SCIP_LINCONSSTATS *linconsstats)
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_Real SCIPsolGetAbsConsViolation(SCIP_SOL *sol)
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)
SCIP_Real SCIPsolGetRelConsViolation(SCIP_SOL *sol)
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)
public methods for managing constraints
SCIP_RETCODE SCIPsetObjsense(SCIP *scip, SCIP_OBJSENSE objsense)
SCIP_Bool SCIPisBoolParamValid(SCIP *scip, SCIP_PARAM *param, SCIP_Bool value)
SCIP_CONFLICTHDLR ** SCIPgetConflicthdlrs(SCIP *scip)
SCIP_Real SCIPsolGetAbsIntegralityViolation(SCIP_SOL *sol)
#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)
void SCIPlinConsStatsFree(SCIP *scip, SCIP_LINCONSSTATS **linconsstats)
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 SCIPvalidateSolve(SCIP *scip, SCIP_Real primalreference, SCIP_Real dualreference, SCIP_Real reftol, SCIP_Bool quiet, SCIP_Bool *feasible, SCIP_Bool *primalboundcheck, SCIP_Bool *dualboundcheck)
SCIP_RETCODE SCIPprintBestTransSol(SCIP *scip, FILE *file, SCIP_Bool printzeros)
SCIP_RETCODE SCIPsetObjlimit(SCIP *scip, SCIP_Real objlimit)
int SCIPgetNPricers(SCIP *scip)
SCIP_Real SCIPsolGetAbsBoundViolation(SCIP_SOL *sol)
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)
Constraint handler for linear constraints in their most general form, .
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 SCIPclassifyConstraintTypesLinear(SCIP *scip, SCIP_LINCONSSTATS *linconsstats)
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_Real SCIPsolGetRelLPRowViolation(SCIP_SOL *sol)
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)
SCIP_RETCODE SCIPlinConsStatsCreate(SCIP *scip, SCIP_LINCONSSTATS **linconsstats)
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)
SCIP_Real SCIPsolGetAbsLPRowViolation(SCIP_SOL *sol)
type definitions for constraints and constraint handlers
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)