Scippy

SCIP

Solving Constraint Integer Programs

type_set.h File Reference

Detailed Description

type definitions for global SCIP settings

Author
Tobias Achterberg

Definition in file type_set.h.

Go to the source code of this file.

Typedefs

typedef enum SCIP_Stage SCIP_STAGE
 
typedef enum SCIP_Setting SCIP_SETTING
 
typedef struct SCIP_Set SCIP_SET
 

Enumerations

enum  SCIP_Stage {
  SCIP_STAGE_INIT = 0,
  SCIP_STAGE_PROBLEM = 1,
  SCIP_STAGE_TRANSFORMING = 2,
  SCIP_STAGE_TRANSFORMED = 3,
  SCIP_STAGE_INITPRESOLVE = 4,
  SCIP_STAGE_PRESOLVING = 5,
  SCIP_STAGE_EXITPRESOLVE = 6,
  SCIP_STAGE_PRESOLVED = 7,
  SCIP_STAGE_INITSOLVE = 8,
  SCIP_STAGE_SOLVING = 9,
  SCIP_STAGE_SOLVED = 10,
  SCIP_STAGE_EXITSOLVE = 11,
  SCIP_STAGE_FREETRANS = 12,
  SCIP_STAGE_FREE = 13
}
 
enum  SCIP_Setting {
  SCIP_UNDEFINED = 0,
  SCIP_DISABLED = 1,
  SCIP_AUTO = 2,
  SCIP_ENABLED = 3
}
 

Typedef Documentation

◆ SCIP_STAGE

typedef enum SCIP_Stage SCIP_STAGE

Definition at line 59 of file type_set.h.

◆ SCIP_SETTING

typedef enum SCIP_Setting SCIP_SETTING

Definition at line 69 of file type_set.h.

◆ SCIP_SET

typedef struct SCIP_Set SCIP_SET

global SCIP settings

Definition at line 71 of file type_set.h.

Enumeration Type Documentation

◆ SCIP_Stage

enum SCIP_Stage

! [SnippetCodeStyleExample] SCIP operation stage

Enumerator
SCIP_STAGE_INIT 

SCIP data structures are initialized, no problem exists

SCIP_STAGE_PROBLEM 

the problem is being created and modified

SCIP_STAGE_TRANSFORMING 

the problem is being transformed into solving data space

SCIP_STAGE_TRANSFORMED 

the problem was transformed into solving data space

SCIP_STAGE_INITPRESOLVE 

presolving is initialized

SCIP_STAGE_PRESOLVING 

the problem is being presolved

SCIP_STAGE_EXITPRESOLVE 

presolving is exited

SCIP_STAGE_PRESOLVED 

the problem was presolved

SCIP_STAGE_INITSOLVE 

the solving process data is being initialized

SCIP_STAGE_SOLVING 

the problem is being solved

SCIP_STAGE_SOLVED 

the problem was solved

SCIP_STAGE_EXITSOLVE 

the solving process data is being freed

SCIP_STAGE_FREETRANS 

the transformed problem is being freed

SCIP_STAGE_FREE 

SCIP data structures are being freed

Definition at line 42 of file type_set.h.

◆ SCIP_Setting

possible settings for enabling/disabling algorithms and other features

Enumerator
SCIP_UNDEFINED 

undefined setting

SCIP_DISABLED 

feature is disabled

SCIP_AUTO 

feature is set to automatic mode

SCIP_ENABLED 

feature is enabled

Definition at line 62 of file type_set.h.