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 SCIP_ReoptConsData SCIP_REOPTCONSDATA
 
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_INFSUBTREE = 0 ,
  REOPT_CONSTYPE_DUALREDS = 1 ,
  REOPT_CONSTYPE_CUT = 2 ,
  REOPT_CONSTYPE_UNKNOWN = 3
}
 

Typedef Documentation

◆ SCIP_REOPT

typedef struct SCIP_Reopt SCIP_REOPT

reopt data

Definition at line 39 of file type_reopt.h.

◆ SCIP_SOLTREE

typedef struct SCIP_SolTree SCIP_SOLTREE

tree to check solutions

Definition at line 41 of file type_reopt.h.

◆ SCIP_SOLNODE

typedef struct SCIP_SolNode SCIP_SOLNODE

nodes of SCIP_SOLTREE

Definition at line 43 of file type_reopt.h.

◆ SCIP_REOPTTREE

data structure to store the search tree

Definition at line 45 of file type_reopt.h.

◆ SCIP_REOPTNODE

nodes of SCIP_REOPTTREE

Definition at line 47 of file type_reopt.h.

◆ SCIP_REPRESENTATIVE

representatives of the search frontier

Definition at line 49 of file type_reopt.h.

◆ SCIP_REOPTCONSDATA

typedef struct SCIP_ReoptConsData SCIP_REOPTCONSDATA

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

Definition at line 51 of file type_reopt.h.

◆ SCIP_REOPTTYPE

type nodes during reoptimization

Definition at line 67 of file type_reopt.h.

◆ REOPT_CONSTYPE

tye of constraunts added during reoptimization

Definition at line 76 of file type_reopt.h.

Enumeration Type Documentation

◆ SCIP_ReoptType

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 56 of file type_reopt.h.

◆ Reopt_ConsType

Enumerator
REOPT_CONSTYPE_INFSUBTREE 

constraint cutoffs an LP infeasible subtree

REOPT_CONSTYPE_DUALREDS 

constraint reconstructs dual reductions

REOPT_CONSTYPE_CUT 

constraint representing a cut, e.g., to separate a solution

REOPT_CONSTYPE_UNKNOWN 

constraint was added by SCIP, e.g., a (local) conflict

Definition at line 69 of file type_reopt.h.