Scippy

SCIP

Solving Constraint Integer Programs

type_reopt.h File Reference

Detailed Description

type definitions for collecting reoptimization information

Author
Jakob Witzig

Definition in file type_reopt.h.

Go to the source code of this file.

Typedefs

typedef struct SCIP_Reopt SCIP_REOPT
 
typedef struct SCIP_SolTree SCIP_SOLTREE
 
typedef struct SCIP_SolNode SCIP_SOLNODE
 
typedef struct SCIP_ReoptTree SCIP_REOPTTREE
 
typedef struct SCIP_ReoptNode SCIP_REOPTNODE
 
typedef struct SCIP_ReoptNode SCIP_REPRESENTATIVE
 
typedef struct LogicOrData LOGICORDATA
 
typedef enum SCIP_ReoptType SCIP_REOPTTYPE
 
typedef enum Reopt_ConsType REOPT_CONSTYPE
 

Enumerations

enum  SCIP_ReoptType {
  SCIP_REOPTTYPE_NONE = 0,
  SCIP_REOPTTYPE_TRANSIT = 1,
  SCIP_REOPTTYPE_INFSUBTREE = 2,
  SCIP_REOPTTYPE_STRBRANCHED = 3,
  SCIP_REOPTTYPE_LOGICORNODE = 4,
  SCIP_REOPTTYPE_LEAF = 5,
  SCIP_REOPTTYPE_PRUNED = 6,
  SCIP_REOPTTYPE_FEASIBLE = 7
}
 
enum  Reopt_ConsType {
  REOPT_CONSTYPE_SEPASOLUTION = 0,
  REOPT_CONSTYPE_INFSUBTREE = 1,
  REOPT_CONSTYPE_STRBRANCHED = 2
}
 

Typedef Documentation

typedef struct SCIP_Reopt SCIP_REOPT

reopt data

Definition at line 30 of file type_reopt.h.

typedef struct SCIP_SolTree SCIP_SOLTREE

tree to check solutions

Definition at line 32 of file type_reopt.h.

typedef struct SCIP_SolNode SCIP_SOLNODE

nodes of SCIP_SOLTREE

Definition at line 34 of file type_reopt.h.

data structure to store the search tree

Definition at line 36 of file type_reopt.h.

nodes of SCIP_REOPTTREE

Definition at line 38 of file type_reopt.h.

representatives of the search frontier

Definition at line 40 of file type_reopt.h.

typedef struct LogicOrData LOGICORDATA

data for constraints to handle dual information \ within (mixed) binary programs

Definition at line 42 of file type_reopt.h.

type nodes during reoptimization

Definition at line 56 of file type_reopt.h.

tye of constraunts added during reoptimization

Definition at line 64 of file type_reopt.h.

Enumeration Type Documentation

Enumerator
SCIP_REOPTTYPE_NONE 

node is not part of the reoptimizationtree

SCIP_REOPTTYPE_TRANSIT 

node is only needed for reconstructing the tree

SCIP_REOPTTYPE_INFSUBTREE 

node contains dual reductions which leed to LP infeasibility

SCIP_REOPTTYPE_STRBRANCHED 

node contains dual reductions

SCIP_REOPTTYPE_LOGICORNODE 

node contains additional constraints

SCIP_REOPTTYPE_LEAF 

node is a leaf node

SCIP_REOPTTYPE_PRUNED 

node is a leaf node and pruned by boudning

SCIP_REOPTTYPE_FEASIBLE 

node is a leaf node and has an integral optimal LP solution

Definition at line 45 of file type_reopt.h.

Enumerator
REOPT_CONSTYPE_SEPASOLUTION 

constraint separrates a solution

REOPT_CONSTYPE_INFSUBTREE 

constraint cutoffs an LP infeasible subtree

REOPT_CONSTYPE_STRBRANCHED 

constraint reconstructs dual reductions

Definition at line 58 of file type_reopt.h.