SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
type definitions for storing and manipulating the main problem
Definition in file type_prob.h.
Go to the source code of this file.
Macros | |
| #define | SCIP_DECL_PROBDELORIG(x) SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA** probdata) |
| #define | SCIP_DECL_PROBTRANS(x) SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA* sourcedata, SCIP_PROBDATA** targetdata) |
| #define | SCIP_DECL_PROBDELTRANS(x) SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA** probdata) |
| #define | SCIP_DECL_PROBINITSOL(x) SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA* probdata) |
| #define | SCIP_DECL_PROBEXITSOL(x) SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA* probdata, SCIP_Bool restart) |
| #define | SCIP_DECL_PROBCOPY(x) |
Typedefs | |
| typedef enum SCIP_Objsense | SCIP_OBJSENSE |
| typedef struct SCIP_Prob | SCIP_PROB |
| typedef struct SCIP_ProbData | SCIP_PROBDATA |
Enumerations | |
| enum | SCIP_Objsense { SCIP_OBJSENSE_MAXIMIZE = -1, SCIP_OBJSENSE_MINIMIZE = +1 } |
| #define SCIP_DECL_PROBDELORIG | ( | x | ) | SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA** probdata) |
frees user data of original problem (called when the original problem is freed)
This method should free the user data of the original problem.
input:
Definition at line 55 of file type_prob.h.
| #define SCIP_DECL_PROBTRANS | ( | x | ) | SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA* sourcedata, SCIP_PROBDATA** targetdata) |
creates user data of transformed problem by transforming the original user problem data (called after problem was transformed)
Because the original problem and the user data of the original problem should not be modified during the solving process, a transformed problem is created as a copy of the original problem. If the user problem data is never modified during the solving process anyways, it is enough to simple copy the user data's pointer. This is the default implementation, which is used when a NULL is given as PROBTRANS method. If the user data may be modified during the solving process (e.g. during preprocessing), the PROBTRANS method must be given and has to copy the user problem data to a different memory location.
input:
Definition at line 74 of file type_prob.h.
| #define SCIP_DECL_PROBDELTRANS | ( | x | ) | SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA** probdata) |
frees user data of transformed problem (called when the transformed problem is freed)
This method has to be implemented, if the PROBTRANS method is not a simple pointer copy operation like in the default PROBTRANS implementation. It should free the user data of the transformed problem, that was created in the PROBTRANS method.
input:
Definition at line 86 of file type_prob.h.
| #define SCIP_DECL_PROBINITSOL | ( | x | ) | SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA* probdata) |
solving process initialization method of transformed data (called before the branch and bound process begins)
This method is called before the branch and bound process begins and can be used to initialize user problem data that depends for example on the number of active problem variables, because these are now fixed.
input:
Definition at line 97 of file type_prob.h.
| #define SCIP_DECL_PROBEXITSOL | ( | x | ) | SCIP_RETCODE x (SCIP* scip, SCIP_PROBDATA* probdata, SCIP_Bool restart) |
solving process deinitialization method of transformed data (called before the branch and bound data is freed)
This method is called before the branch and bound data is freed and should be used to free all data that was allocated in the solving process initialization method. The user has to make sure, that all LP rows associated to the transformed user problem data are released.
input:
Definition at line 110 of file type_prob.h.
| #define SCIP_DECL_PROBCOPY | ( | x | ) |
copies user data of source SCIP for the target SCIP
This method should copy the problem data of the source SCIP and create a target problem data for (target) SCIP. Implementing this callback is optional. If the copying process was successful the target SCIP gets this problem data assigned. In case the result pointer is set to SCIP_DIDNOTRUN the target SCIP will have no problem data at all.
The variable map and the constraint map can be used via the function SCIPgetVarCopy() and SCIPgetConsCopy(), respectively, to get for certain variables and constraints of the source SCIP the counter parts in the target SCIP. You should be very carefully in using these two methods since they could lead to an infinite loop due to recursion.
input:
output:
possible return values for *result:
Definition at line 140 of file type_prob.h.
| typedef enum SCIP_Objsense SCIP_OBJSENSE |
Definition at line 41 of file type_prob.h.
main problem to solve
Definition at line 43 of file type_prob.h.
| typedef struct SCIP_ProbData SCIP_PROBDATA |
user problem data set by the reader
Definition at line 44 of file type_prob.h.
| enum SCIP_Objsense |
objective sense: minimization or maximization
| Enumerator | |
|---|---|
| SCIP_OBJSENSE_MAXIMIZE | maximization of objective function |
| SCIP_OBJSENSE_MINIMIZE | minimization of objective function (the default) |
Definition at line 36 of file type_prob.h.