Scippy

SCIP

Solving Constraint Integer Programs

type_history.h File Reference

Detailed Description

type definitions for branching and inference history

Author
Tobias Achterberg

Definition in file type_history.h.

Go to the source code of this file.

Typedefs

typedef enum SCIP_BranchDir SCIP_BRANCHDIR
 
typedef struct SCIP_History SCIP_HISTORY
 
typedef struct SCIP_ValueHistory SCIP_VALUEHISTORY
 

Enumerations

enum  SCIP_BranchDir {
  SCIP_BRANCHDIR_DOWNWARDS = 0,
  SCIP_BRANCHDIR_UPWARDS = 1,
  SCIP_BRANCHDIR_FIXED = 2,
  SCIP_BRANCHDIR_AUTO = 3
}
 

Typedef Documentation

◆ SCIP_BRANCHDIR

branching direction for branching on variables

Definition at line 39 of file type_history.h.

◆ SCIP_HISTORY

typedef struct SCIP_History SCIP_HISTORY

branching and inference history information for single variable

Definition at line 41 of file type_history.h.

◆ SCIP_VALUEHISTORY

Value history data structure

branching and inference history informations for single variable dependent on the domain value

Definition at line 49 of file type_history.h.

Enumeration Type Documentation

◆ SCIP_BranchDir

branching direction for branching on variables

Enumerator
SCIP_BRANCHDIR_DOWNWARDS 

downwards branching: decreasing upper bound

SCIP_BRANCHDIR_UPWARDS 

upwards branching: increasing lower bound

SCIP_BRANCHDIR_FIXED 

fixed branching: both bounds changed

SCIP_BRANCHDIR_AUTO 

automatic setting for choosing bound changes

Definition at line 32 of file type_history.h.