SCIP Doxygen Documentation
Loading...
Searching...
No Matches
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.

Typedef Documentation

◆ 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

Value history data structure

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

Definition at line 58 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 41 of file type_history.h.