1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ 2 /* */ 3 /* This file is part of the program and library */ 4 /* SCIP --- Solving Constraint Integer Programs */ 5 /* */ 6 /* Copyright (C) 2002-2021 Konrad-Zuse-Zentrum */ 7 /* fuer Informationstechnik Berlin */ 8 /* */ 9 /* SCIP is distributed under the terms of the ZIB Academic License. */ 10 /* */ 11 /* You should have received a copy of the ZIB Academic License */ 12 /* along with SCIP; see the file COPYING. If not visit scipopt.org. */ 13 /* */ 14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ 15 16 /**@file type_history.h 17 * @ingroup TYPEDEFINITIONS 18 * @brief type definitions for branching and inference history 19 * @author Tobias Achterberg 20 */ 21 22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/ 23 24 #ifndef __SCIP_TYPE_HISTORY_H__ 25 #define __SCIP_TYPE_HISTORY_H__ 26 27 #ifdef __cplusplus 28 extern "C" { 29 #endif 30 31 /** branching direction for branching on variables */ 32 enum SCIP_BranchDir 33 { 34 SCIP_BRANCHDIR_DOWNWARDS = 0, /**< downwards branching: decreasing upper bound */ 35 SCIP_BRANCHDIR_UPWARDS = 1, /**< upwards branching: increasing lower bound */ 36 SCIP_BRANCHDIR_FIXED = 2, /**< fixed branching: both bounds changed */ 37 SCIP_BRANCHDIR_AUTO = 3 /**< automatic setting for choosing bound changes */ 38 }; 39 typedef enum SCIP_BranchDir SCIP_BRANCHDIR; /**< branching direction for branching on variables */ 40 41 typedef struct SCIP_History SCIP_HISTORY; /**< branching and inference history information for single variable */ 42 43 /** Value history data structure 44 * 45 * branching and inference history informations for single variable dependent on the domain value 46 * 47 * - \ref SCIP_VALUEHISTORY "List of all available methods" 48 */ 49 typedef struct SCIP_ValueHistory SCIP_VALUEHISTORY; 50 51 52 #ifdef __cplusplus 53 } 54 #endif 55 56 #endif 57