SCIP
Solving Constraint Integer Programs
type_stat.h File Reference
Detailed Description
type definitions for problem statistics
Definition in file type_stat.h.
Go to the source code of this file.
Typedefs | |
| typedef enum SCIP_Status | SCIP_STATUS |
| typedef struct SCIP_Stat | SCIP_STAT |
Enumerations | |
| enum | SCIP_Status { SCIP_STATUS_UNKNOWN = 0 , SCIP_STATUS_OPTIMAL = 1 , SCIP_STATUS_INFEASIBLE = 2 , SCIP_STATUS_UNBOUNDED = 3 , SCIP_STATUS_INFORUNBD = 4 , SCIP_STATUS_USERINTERRUPT = 10 , SCIP_STATUS_TERMINATE = 11 , SCIP_STATUS_NODELIMIT = 20 , SCIP_STATUS_TOTALNODELIMIT = 21 , SCIP_STATUS_STALLNODELIMIT = 22 , SCIP_STATUS_TIMELIMIT = 23 , SCIP_STATUS_MEMLIMIT = 24 , SCIP_STATUS_GAPLIMIT = 25 , SCIP_STATUS_PRIMALLIMIT = 26 , SCIP_STATUS_DUALLIMIT = 27 , SCIP_STATUS_SOLLIMIT = 28 , SCIP_STATUS_BESTSOLLIMIT = 29 , SCIP_STATUS_RESTARTLIMIT = 30 } |
Typedef Documentation
◆ SCIP_STATUS
| typedef enum SCIP_Status SCIP_STATUS |
Definition at line 64 of file type_stat.h.
◆ SCIP_STAT
problem and runtime specific statistics
Definition at line 66 of file type_stat.h.
Enumeration Type Documentation
◆ SCIP_Status
| enum SCIP_Status |
SCIP solving status
| Enumerator | |
|---|---|
| SCIP_STATUS_UNKNOWN | the solving status is not yet known |
| SCIP_STATUS_OPTIMAL | the problem was solved to optimality, an optimal solution is available |
| SCIP_STATUS_INFEASIBLE | the problem was proven to be infeasible |
| SCIP_STATUS_UNBOUNDED | the problem was proven to be unbounded |
| SCIP_STATUS_INFORUNBD | the problem was proven to be either infeasible or unbounded |
| SCIP_STATUS_USERINTERRUPT | the user interrupted the solving process (SIGINT or SCIPinterruptSolve()) |
| SCIP_STATUS_TERMINATE | the process received a SIGTERM signal |
| SCIP_STATUS_NODELIMIT | the solving process was interrupted because the node limit was reached |
| SCIP_STATUS_TOTALNODELIMIT | the solving process was interrupted because the total node limit was reached (incl. restarts) |
| SCIP_STATUS_STALLNODELIMIT | the solving process was interrupted because the stalling node limit was reached (no improvement w.r.t. primal bound) |
| SCIP_STATUS_TIMELIMIT | the solving process was interrupted because the time limit was reached |
| SCIP_STATUS_MEMLIMIT | the solving process was interrupted because the memory limit was reached |
| SCIP_STATUS_GAPLIMIT | the solving process was interrupted because the gap limit was reached |
| SCIP_STATUS_PRIMALLIMIT | the solving process was interrupted because the primal limit was reached |
| SCIP_STATUS_DUALLIMIT | the solving process was interrupted because the dual limit was reached |
| SCIP_STATUS_SOLLIMIT | the solving process was interrupted because the solution limit was reached |
| SCIP_STATUS_BESTSOLLIMIT | the solving process was interrupted because the solution improvement limit was reached |
| SCIP_STATUS_RESTARTLIMIT | the solving process was interrupted because the restart limit was reached |
Definition at line 40 of file type_stat.h.