Detailed Description

type definitions for problem statistics

Author: Tobias Achterberg

Definition in file type_stat.h.

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

typedef struct SCIP_Stat 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.

SCIP