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

typedef enum SCIP_BranchDir SCIP_BRANCHDIR

branching direction for branching on variables

Definition at line 48 of file type_history.h.

SCIP_HISTORY

typedef struct SCIP_History SCIP_HISTORY

branching and inference history information for single variable

Definition at line 50 of file type_history.h.

SCIP_VALUEHISTORY

typedef struct SCIP_ValueHistory SCIP_VALUEHISTORY

Value history data structure

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

• List of all available methods

Definition at line 58 of file type_history.h.

Enumeration Type Documentation

SCIP_BranchDir

enum 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 41 of file type_history.h.